1705 search results - page 217 / 341 » Representing Constraints with Automata |
175
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We investigate different evaluation strategies for planning problems represented as constraint satisfaction or satisfiability problems. The standard evaluation strategy, ...
110
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we propose an approach to guide search to sources of conflicts. The principle is the following: the last variable involved in the last conflict is selected in priori...
147
click to vote
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
This paper is an argument for two assertions: First, that by representing correspondence probabilistically, drastically more correspondence information can be extracted from image...
185
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
A business process model represents the basic building block for a workflow-enabled enterprise information system. Generally, a process model evolves through numerous changes durin...
155
click to vote
LCPC
2000
Springer
15 years 10 months ago
2000
Springer
The internal mechanism used for a dependence test constrains its accuracy and determines its speed. The internal mechanism used for our Access Region Test (ART) is fundamentally d...