1453 search results - page 230 / 291 » Partial Constraint Satisfaction |
PADL
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
117
click to vote
RTAS
2003
IEEE
15 years 5 months ago
2003
IEEE
A reward-based task typically consists of a mandatory part that must be accomplished before the given deadline, and an optional part that is associated with rewards for partial co...
3DPVT
2002
IEEE
15 years 4 months ago
2002
IEEE
Reconstruction of 3D models from range images usually focuses on complex objects completely contained in the field of view. Using range images to reconstruct a whole environment ...
EVOW
2001
Springer
15 years 4 months ago
2001
Springer
This work introduces a highly constrained school timetabling problem which was modeled from the requirements of a German high school. The concept for solving the problem uses a hyb...
FASE
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...