4595 search results - page 650 / 919 » Reasoning about Plans |
106
click to vote
ATAL
2011
Springer
14 years 21 days ago
2011
Springer
Building on research previously reported at AAMAS conferences, this paper describes an innovative application of a novel gametheoretic approach for a national scale security deplo...
198
click to vote
ISSTA
2012
ACM
13 years 3 months ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...
101
click to vote
EXPERT
2007
15 years 19 days ago
2007
s planners work at a higher abstraction level while it performs low-level, often-repetitive tasks. It also helps them produce a plan rapidly, explore alternative solutions, and cho...
209
click to vote
GIS
2005
ACM
16 years 1 months ago
2005
ACM
Information about dynamic spatial fields, such as temperature, windspeed, or the concentration of gas pollutant in the air, is important for many environmental applications. At th...
127
click to vote
PODS
2008
ACM
16 years 25 days ago
2008
ACM
We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a description of sensitive data, ...