3009 search results - page 106 / 602 » The Expressive Rate of Constraints |
LOPSTR
2009
Springer
14 years 2 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
WFLP
2009
Springer
14 years 2 months ago
2009
Springer
Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an ex...
IJCAI
1989
13 years 11 months ago
1989
We describe a general technique for expressing domain knowledge in constraint satisfaction problems, and using it to develop optimized parallel arc consistency algorithms for the ...
COLING
2010
13 years 5 months ago
2010
We describe a Chinese temporal annotation experiment that produced a sizable data set for the TempEval-2 evaluation campaign. We show that while we have achieved high inter-annota...
EKAW
2004
Springer
14 years 3 months ago
2004
Springer
We present a tool which helps domain experts capture and maintain constraints. The tool displays parts of an ontology (as classes, sub-classes and properties) in the form of a tree...