7495 search results - page 662 / 1499 » Intelligent Document Processing |
231
click to vote
AISC
2004
Springer
16 years 21 days ago
2004
Springer
Nonlinear constraint systems can be solved by combining consistency techniques and search. In this approach, the search space is reduced using local reasoning on constraints. Howev...
189
click to vote
ECAI
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
147
Voted
ECAI
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
195
Voted
CEC
2003
IEEE
16 years 17 days ago
2003
IEEE
Here we present a first study of search spaces and fitness landscapes in the context of the evolution of quantum programs. We consider small instances of the Deutsch-Jozsa proble...
176
Voted
ICRA
2003
IEEE
16 years 17 days ago
2003
IEEE
― Self-assembly systems in space are arguably within the reach of today’s technology based on the research and development of self-reconfigurable robots on earth. This paper pr...