4117 search results - page 35 / 824 » On the Satisfiability of Complex Constraints |
203
click to vote
ICLP
2009
Springer
16 years 14 days ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
CVIU
2006
14 years 12 months ago
2006
In many multi-camera vision systems the effect of camera locations on the task-specific quality of service is ignored. Researchers in Computational Geometry have proposed elegant ...
134
click to vote
VLSID
2010
IEEE
14 years 9 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
178
click to vote
ICDE
1996
IEEE
16 years 1 months ago
1996
IEEE
A multimedia presentation refers to the presentation of multimedia data using output devices such as monitors for text and video, and speakers for audio. Each presentation consist...
ICALT
2008
IEEE
15 years 6 months ago
2008
IEEE
Collaboration has long been considered an effective approach to learning. However, forming optimal groups can be a time consuming and complex task. Different approaches have been ...