1788 search results - page 114 / 358 » The Language of Search |
125
Voted
CP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In recent years, dynamic local search (DLS) clause weighting algorithms have emerged as the local search state-of-the-art for solving propositional satisfiability proble...
152
Voted
ICML
1996
IEEE
16 years 4 months ago
1996
IEEE
Generating good, production-quality plans is an essential element in transforming planners from research tools into real-world applications, but one that has been frequently overl...
146
Voted
PETRA
2009
ACM
15 years 10 months ago
2009
ACM
This paper describes work towards designing a computer vision system for helping users look up the meaning of a sign. Sign lookup is treated as a video database retrieval problem....
106
Voted
CP
2003
Springer
15 years 8 months ago
2003
Springer
We provide a reformulation of the constraint hierarchies (CHs) framework based on the notion of error indicators. Adapting the generalized view of local consistency in semiring-ba...
118
Voted
CP
2003
Springer
15 years 8 months ago
2003
Springer
Mechanism design is the art of designing the rules of the game (aka. mechanism) so that a desirable outcome (according to a given objective) is reached despite the fact that each a...