Sciweavers

5851 search results - page 175 / 1171
» Coordination as a Direct Process
Sort
View
ICIP
2001
IEEE
16 years 8 months ago
Invariant representation in image processing
The paper discusses the role of invariance in image processing, specifically the desire to discriminate against unwanted variations in the scene while maintaining the power to tel...
Arnold W. M. Smeulders, Jan-Mark Geusebroek, Theo ...
CDC
2008
IEEE
139views Control Systems» more  CDC 2008»
16 years 28 days ago
Human-in-the-loop vehicle routing policies for dynamic environments
— In this paper we design coordination policies for a routing problem requiring human-assisted classification of targets through analysis of information gathered on-site by auto...
Ketan Savla, Tom Temple, Emilio Frazzoli
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 4 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
CUZA
2002
84views more  CUZA 2002»
15 years 6 months ago
Testing Theories for Broadcasting Processes
This paper presents a theory of testing for processes calculi which have broadcast as basic communication primitive. Firstly, we justify the necessity of an alternative theory to b...
Cristian Ene, Traian Muntean
FGR
2004
IEEE
164views Biometrics» more  FGR 2004»
15 years 10 months ago
Real-Time Pointing Gesture Recognition for an Immersive Environment
We present an algorithm for the real-time detection and interpretation of pointing gestures, performed with one or both arms. The pointing gestures are used as an intuitive tracki...
Roland Kehl, Luc J. Van Gool