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 5 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 5 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 5 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 5 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 4 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