3573 search results - page 232 / 715 » Reasoning about Codata |
249
click to vote
ICDE
2007
IEEE
16 years 5 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...
258
click to vote
GIS
2008
ACM
16 years 5 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...
132
click to vote
CHI
2004
ACM
16 years 4 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...
144
click to vote
ICCBR
2009
Springer
15 years 11 months ago
2009
Springer
A model-free, case-based learning and control algorithm called S-learning is described as implemented in a simulation of a light-seeking mobile robot. S-learning demonstrated learn...
143
click to vote
APLAS
2009
ACM
15 years 11 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...