6957 search results - page 400 / 1392 » Planning before plans |
196
click to vote
VSTTE
2005
Springer
16 years 1 months ago
2005
Springer
We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative...
181
click to vote
COMPGEOM
2004
ACM
16 years 1 months ago
2004
ACM
Let B be a set of n unit balls in R3 . We show that the combinatorial complexity of the space of lines in R3 that avoid all the balls of B is O(n3+ε ), for any ε > 0. This re...
174
click to vote
ATAL
2004
Springer
16 years 1 months ago
2004
Springer
This paper presents properties and results of a new framework for sequential decision-making in multiagent settings called interactive partially observable Markov decision process...
261
click to vote
WECWIS
2003
IEEE
16 years 29 days ago
2003
IEEE
Service portals are systems which expose a bundle of web services to the user, allowing the specification and subsequent execution of complex tasks defined over these individual...
161
click to vote
ESA
2001
Springer
16 years 6 days ago
2001
Springer
Motivated by questions in location planning, we show for a set of colored point sites in the plane how to compute the smallest— by perimeter or area—axis-parallel rectangle and...