Sciweavers

18090 search results - page 723 / 3618
» Computing by Only Observing
Sort
View
CCS
2005
ACM
16 years 25 days ago
Provable anonymity
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters, Pe...
171
Voted
ATAL
2004
Springer
16 years 21 days ago
Fitting and Compilation of Multiagent Models through Piecewise Linear Functions
Decision-theoretic models have become increasingly popular as a basis for solving agent and multiagent problems, due to their ability to quantify the complex uncertainty and prefe...
David V. Pynadath, Stacy Marsella
233
Voted
SSPR
2004
Springer
16 years 19 days ago
Learning People Movement Model from Multiple Cameras for Behaviour Recognition
Abstract. In surveillance systems for monitoring people behaviour, it is imporant to build systems that can adapt to the signatures of the people tasks and movements in the environ...
Nam Thanh Nguyen, Svetha Venkatesh, Geoff A. W. We...
160
Voted
ICAT
2003
IEEE
16 years 17 days ago
Texture Overlay onto Deformable Surface Using Geometric Transformation
We propose a system that overlays textures onto the arbitrary deformable surface of an object in real time using HMD. In this system, we select a book as the object and documents ...
Mototsugu Emori, Hideo Saito
ICCS
2003
Springer
16 years 15 days ago
Exploiting Stability to Reduce Time-Space Cost for Memory Tracing
Memory traces record the addresses touched by a program during its execution, enabling many useful investigations for understanding and predicting program performance. But complete...
Xiaofeng Gao, Allan Snavely