1353 search results - page 45 / 271 » Streamlined Constraint Reasoning |
ECAI
2006
Springer
15 years 1 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...
AAAI
2008
15 years 3 days ago
2008
This system translates basic English descriptions of a wide range of objects in a simplistic zoo environment into plausible, three-dimensional, interactive visualizations of their...
IJCAI
1989
14 years 11 months ago
1989
We consider a representation for temporal relations between intervals introduced by James Allen, and its associated computational or reasoning problem: given possibly indefinite ...
BIRTHDAY
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
ASYNC
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper brings together a selection of creative circuit designs and ideas that Charles Molnar devised while working at Sun Microsystems Laboratories. The circuits offer fast im...