Sciweavers

5945 search results - page 275 / 1189
» A Model for Projection and Action
Sort
View
FSTTCS
2005
Springer
16 years 9 days ago
Causal Closure for MSC Languages
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...
Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, V...
AUIC
2003
IEEE
16 years 2 days ago
Use of Video Shadow for Small Group Interaction Awareness on a Large Interactive Display Surface
This paper reports work done as part of the Large Interactive Display Surface(LIDS) project at the University of Waikato. One application of the LIDS equipment is distributed meet...
Mark D. Apperley, Laurie McLeod, Masood Masoodian
FC
2010
Springer
141views Cryptology» more  FC 2010»
15 years 10 months ago
When Information Improves Information Security
We investigate a mixed economy of an individual rational expert and several na¨ıve near-sighted agents in the context of security decision making. Agents select between three ca...
Jens Grossklags, Benjamin Johnson, Nicolas Christi...
AIPS
2009
15 years 8 months ago
Computing Robust Plans in Continuous Domains
We define the robustness of a sequential plan as the probability that it will execute successfully despite uncertainty in the execution environment. We consider a rich notion of u...
Christian Fritz, Sheila A. McIlraith
MICCAI
2006
Springer
16 years 7 months ago
3D/2D Model-to-Image Registration Applied to TIPS Surgery
Abstract. In the context of image-guided TIPS (Transjugular, Intrahepatic, Portosystemic Shunt formation) surgery, the pose of a 3-dimensional model of the liver's vasculature...
Julien Jomier, Elizabeth Bullitt, Mark H. Van Horn...