4595 search results - page 407 / 919 » Reasoning about Plans |
327
click to vote
ICDE
2007
IEEE
16 years 9 months ago
2007
IEEE
Recent work has shown the necessity of considering an attacker's background knowledge when reasoning about privacy in data publishing. However, in practice, the data publishe...
324
click to vote
GIS
2008
ACM
16 years 8 months ago
2008
ACM
Wireless sensor networks (WSNs) can provide real-time information about geospatial environments, and so have the potential to play an important role in the monitoring of geographi...
173
click to vote
CHI
2004
ACM
16 years 8 months ago
2004
ACM
In this paper we report a new approach to generating predictions about skilled interactive cognition. The approach, which we call Cognitive Constraint Modeling, takes as input a d...
216
click to vote
APLAS
2009
ACM
16 years 2 months ago
2009
ACM
Restricting destructive update to values of a distinguished reference type prevents functions from being polymorphic in the mutability of their arguments. This restriction makes it...
210
click to vote
AIMS
2008
Springer
16 years 2 months ago
2008
Springer
It has been shown that sets of convergent operators with a shared fixed point can simulate autonomic control mechanisms, but many questions remain about this management technique....