44 search results - page 9 / 9 » Reasoning About When to Start Acting |
JAIR
2002
13 years 5 months ago
2002
Recent trends in planning research have led to empirical comparison becoming commonplace. The eld has started to settle into a methodology for such comparisons, which for obvious ...
ZEUS
2010
13 years 7 months ago
2010
When designing a publicly available Web service, a service designer has to take care of costs and revenue caused by this services. In the very beginning possible partners might onl...
ICDCS
2005
IEEE
13 years 11 months ago
2005
IEEE
Sensors’ locations play a critical role in many sensor network applications. A number of techniques have been proposed recently to discover the locations of regular sensors base...
POPL
2008
ACM
14 years 6 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...