15033 search results - page 250 / 3007 » Complexity Theory and Algorithms |
127
click to vote
IJCAI
1989
15 years 5 months ago
1989
This paper deals with a well known problem in AI planning: detecting and resolving conflicts in nonlinear plans. We sketch a theory of restricted conflict detection and resolution...
137
Voted
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Two mathematical and two computational theories from the field of human and animal learning are combined to produce a more general theory of adaptive behavior. The cornerstone of ...
136
click to vote
CADE
2003
Springer
16 years 5 months ago
2003
Springer
If there exist efficient procedures (canonizers) for reducing terms of two first-order theories to canonical form, can one use them to construct such a procedure for terms of the d...
164
click to vote
MOBIHOC
2010
ACM
15 years 2 months ago
2010
ACM
In this paper, we address the problem of preserving generated data in a sensor network in case of node failures. We focus on the type of node failures that have explicit spatial s...
161
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions (DTDs) by extending them with a recursive typing mechanism. However, an invest...