759 search results - page 93 / 152 » A Perspective on Knowledge Compilation |
162
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
130
click to vote
BIS
2007
15 years 5 months ago
2007
Mailing list archives (i.e., the compilation of the messages posted up-to-now) are often published on the web and indexed by conventional search engines.They store a vast knowledg...
136
click to vote
NIPS
2008
15 years 5 months ago
2008
We show that an important and computationally challenging solution space feature of the graph coloring problem (COL), namely the number of clusters of solutions, can be accurately...
117
Voted
CADUI
2004
15 years 5 months ago
2004
In this work we report our efforts to facilitate the creation of mixed-initiative conversational interfaces for novice and experienced developers of human language technology. Our ...
106
click to vote
IJCAI
2001
15 years 5 months ago
2001
The algorithm presented here, BCC, is an enhancement of the well known Backtrack used to solve constraint satisfaction problems. Though most backtrack improvements rely on propaga...