5372 search results - page 331 / 1075 » complexity 2007 |
108
Voted
AAAI
2007
15 years 5 months ago
2007
The purpose of this paper is to extend the notions of prime implicates and prime implicants to the basic modal logic K. We consider a number of different potential definitions of...
119
Voted
AAAI
2007
15 years 5 months ago
2007
Ontology mapping is a complex and necessary task for many Semantic Web (SW) applications. The perspective users are faced with a number of challenges including the difficulties o...
111
click to vote
AIPS
2007
15 years 5 months ago
2007
We propose an approach to transformational planning and learning of everyday activity. This approach is targeted at autonomous robots that are to perform complex activities such a...
107
click to vote
AIPS
2007
15 years 5 months ago
2007
We study the complexity of sequentially-optimal classical planning, and discover new problem classes for whose such optimization is tractable. The results are based on exploiting ...
121
Voted
WSC
2007
15 years 5 months ago
2007
Much of the rare-event simulation literature is concerned with the development of asymptotically optimal algorithms. Because of the difficulties associated with applying these id...