Sciweavers

686 search results - page 33 / 138
» Observations and models for needle-tissue interactions
Sort
View
ECCV
2008
Springer
14 years 5 days ago
Event Modeling and Recognition Using Markov Logic Networks
Abstract. We address the problem of visual event recognition in surveillance where noise and missing observations are serious problems. Common sense domain knowledge is exploited t...
Son Dinh Tran, Larry S. Davis
JLP
2006
126views more  JLP 2006»
13 years 10 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
CSCW
2002
ACM
13 years 10 months ago
Extreme work teams: using SWAT teams as a model for coordinating distributed robots
We present a field study of police SWAT teams for the purpose of enabling grounded design of a system to coordinate distributed field robots. The mission-oriented, spatially distr...
Hank Jones, Pamela J. Hinds
QEST
2010
IEEE
13 years 8 months ago
Information Hiding in Probabilistic Concurrent Systems
Information hiding is a general concept which refers to the goal of preventing an adversary to infer secret information from the observables. Anonymity and Information Flow are exa...
Miguel E. Andrés, Catuscia Palamidessi, Pet...
IVA
2009
Springer
14 years 5 months ago
Predicting User Psychological Characteristics from Interactions with Empathetic Virtual Agents
Enabling virtual agents to quickly and accurately infer users’ psychological characteristics such as their personality could support a broad range of applications in education, t...
Jennifer L. Robison, Jonathan P. Rowe, Scott W. Mc...