The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the fact that constraints are inherently de...The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the fact that constraints are inherently declarative, attention is quickly turning toward developing high-level programming languages within which such problems can be modeled and also solved. Along these lines, this paper presents DEPICT, the language. Its use is illustrated through modeling a number of benchmark examples. The paper continues with a description of a prototype system within which such models may be interpreted. The paper concludes with a description of a sample run of this interpreter showing how a problem modeled as such is typically solved.展开更多
The novel I Love Dick,written by Chris Kraus,discusses the“least described”social problem.The novel starts with describing Chris’s love affair.Her love affair is narrated with her illustrations of some social probl...The novel I Love Dick,written by Chris Kraus,discusses the“least described”social problem.The novel starts with describing Chris’s love affair.Her love affair is narrated with her illustrations of some social problems that are shrunk into personal problems.This article aims to examine how she uses the schizophrenic utterances to illustrate the failure of her love affair differently.展开更多
基金This work was supported by Lebanese National Council for Scientific Research.
文摘The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the fact that constraints are inherently declarative, attention is quickly turning toward developing high-level programming languages within which such problems can be modeled and also solved. Along these lines, this paper presents DEPICT, the language. Its use is illustrated through modeling a number of benchmark examples. The paper continues with a description of a prototype system within which such models may be interpreted. The paper concludes with a description of a sample run of this interpreter showing how a problem modeled as such is typically solved.
文摘The novel I Love Dick,written by Chris Kraus,discusses the“least described”social problem.The novel starts with describing Chris’s love affair.Her love affair is narrated with her illustrations of some social problems that are shrunk into personal problems.This article aims to examine how she uses the schizophrenic utterances to illustrate the failure of her love affair differently.
