2196 search results - page 75 / 440 » Practical Reasoning Using Values |
166
click to vote
MOBIQUITOUS
2007
IEEE
15 years 10 months ago
2007
IEEE
—Sensor networks involving human participants will require privacy protection before wide deployment is feasible. This paper proposes and evaluates a set of protocols that enable...
119
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
The Hierarchical Task Network (HTN) planning method is conceived of as a useful method for Web service composition as well as classical task planning. However, there are no complet...
150
click to vote
NIPS
2007
15 years 5 months ago
2007
Planning in partially observable environments remains a challenging problem, despite significant recent advances in offline approximation techniques. A few online methods have a...
116
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Concurrent programs are difficult to write, reason about, re-use, and maintain. In particular, for system-level ions that use a shared memory abstraction for thread or process syn...
122
click to vote
FLOPS
2008
Springer
15 years 6 months ago
2008
Springer
We propose undoable versions of the projection operations used when programs written in higher-order statically-typed languages interoperate with dynamically typed ones, localizing...