Sciweavers

7619 search results - page 41 / 1524
» Interaction, observance or both
Sort
View
TPHOL
2009
IEEE
14 years 5 months ago
Formalising Observer Theory for Environment-Sensitive Bisimulation
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
Jeremy E. Dawson, Alwen Tiu
AIIA
2005
Springer
14 years 4 months ago
Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations
Abstract. When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observation...
Alban Grastien, Marie-Odile Cordier, Christine Lar...
NIPS
2003
14 years 11 days ago
Human and Ideal Observers for Detecting Image Curves
This paper compares the ability of human observers to detect target image curves with that of an ideal observer. The target curves are sampled from a generative model which speciļ...
Alan L. Yuille, Fang Fang, Paul R. Schrater, Danie...
CORR
2007
Springer
137views Education» more  CORR 2007»
13 years 11 months ago
Cross-Matching Multiple Spatial Observations and Dealing with Missing Data
: Cross-match spatially clusters and organizes several astronomical point-source measurements from one or more surveys. Ideally, each object would be found in each survey. Unfortun...
Jim Gray, Alexander S. Szalay, Tamas Budavari, Rob...
PAMI
2007
186views more  PAMI 2007»
13 years 10 months ago
Value-Directed Human Behavior Analysis from Video Using Partially Observable Markov Decision Processes
ā€”This paper presents a method for learning decision theoretic models of human behaviors from video data. Our system learns relationships between the movements of a person, the co...
Jesse Hoey, James J. Little