Sciweavers

471 search results - page 50 / 95
» Modals As A Problem For MT
Sort
View
ICRA
2005
IEEE
183views Robotics» more  ICRA 2005»
15 years 11 months ago
Integration of Model-based and Model-free Cues for Visual Object Tracking in 3D
— Vision is one of the most powerful sensory modalities in robotics, allowing operation in dynamic environments. One of our long-term research interests is mobile manipulation, w...
Ville Kyrki, Danica Kragic
DEON
2004
Springer
15 years 11 months ago
Designing a Deontic Logic of Deadlines
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a s...
Jan Broersen, Frank Dignum, Virginia Dignum, John-...
ICMI
2004
Springer
148views Biometrics» more  ICMI 2004»
15 years 11 months ago
ICARE software components for rapidly developing multimodal interfaces
Although several real multimodal systems have been built, their development still remains a difficult task. In this paper we address this problem of development of multimodal inte...
Jullien Bouchet, Laurence Nigay, Thierry Ganille
BIRTHDAY
2003
Springer
15 years 11 months ago
Bounded Fairness
Abstract. Bounded fairness is a stronger notion than ordinary eventuality-based fairness, one that guarantees occurrence of an event within a fixed number of occurrences of anothe...
Nachum Dershowitz, D. N. Jayasimha, Seungjoon Park
ICALP
2010
Springer
15 years 10 months ago
Automata for Coalgebras: An Approach Using Predicate Liftings
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
Gaëlle Fontaine, Raul Andres Leal, Yde Venema