Sciweavers

1045 search results - page 126 / 209
» The Use of Exceptions
Sort
View
CORR
2010
Springer
88views Education» more  CORR 2010»
13 years 8 months ago
Dynamic and Transparent Analysis of Commodity Production Systems
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
Aristide Fattori, Roberto Paleari, Lorenzo Martign...
HRI
2006
ACM
14 years 2 months ago
How may I serve you?: a robot companion approaching a seated person in a helping context
This paper presents the combined results of two studies that investigated how a robot should best approach and place itself relative to a seated human subject. Two live Human Robo...
Kerstin Dautenhahn, Michael L. Walters, Sarah Wood...
IANDC
2008
120views more  IANDC 2008»
13 years 8 months ago
A framework for compositional verification of security protocols
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
Suzana Andova, Cas J. F. Cremers, Kristian Gj&osla...
ICCV
2005
IEEE
14 years 10 months ago
On-Line Density-Based Appearance Modeling for Object Tracking
Object tracking is a challenging problems in real-time computer vision due to variations of lighting condition, pose, scale, and view-point over time. However, it is exceptionally...
Bohyung Han, Larry S. Davis
ICCV
1999
IEEE
14 years 10 months ago
Qualitative Probabilities for Image Interpretation
Two basic problems in image interpretation are: a) determining which interpretations are the most plausible amoungst many possibilities; and b) controlling the search for plausibl...
Allan D. Jepson, Richard Mann