5804 search results - page 1002 / 1161 » Doing more with less |
134
click to vote
WPES
2005
ACM
16 years 3 days ago
2005
ACM
Protecting privacy means to ensure users that access to their personal data complies with their preferences. However, information can be manipulated in order to derive new objects...
179
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
Just as POMDPs have been used to reason explicitly about uncertainty in single-agent systems, there has been recent interest in using multi-agent POMDPs to coordinate teams of age...
159
click to vote
CAV
2005
Springer
16 years 2 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
204
click to vote
DALT
2005
Springer
16 years 2 days ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
180
click to vote
WLP
2005
Springer
16 years 11 hour ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...