1387 search results - page 67 / 278 » Effective Generalization of Relational Descriptions |
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
In many types of planning algorithms distance heuristics play an important role. Most of the earlier works restrict to STRIPS operators, and their application to a more general lan...
SIGSOFT
2000
ACM
14 years 2 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
Spatiotemporal data is associated with vast amounts of raw samples. Given the limited computational resources typically available, an initial organization of this data supporting
...
LICS
2010
IEEE
13 years 8 months ago
2010
IEEE
The universal-algebraic approach has proved a powerful tool in the study of the computational complexity of constraint satisfaction problems (CSPs). This approach has previously b...
COMPSAC
2005
IEEE
14 years 3 months ago
2005
IEEE
Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of web services...