2863 search results - page 492 / 573 » Computer modelling and natural phenomena |
178
click to vote
IROS
2008
IEEE
16 years 25 days ago
2008
IEEE
— Human-robot interaction (HRI) is now well enough understood to allow us to build useful systems that can function outside of the laboratory. We are studying longterm interactio...
194
click to vote
QEST
2008
IEEE
16 years 24 days ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
150
click to vote
ICC
2007
IEEE
16 years 22 days ago
2007
IEEE
Abstract— In this paper, we have investigated the maximumlikelihood (ML) receivers for the fast frequency-hopped binary frequency-shift-keying (FFH/BFSK) spread-spectrum communic...
176
click to vote
ICRA
2007
IEEE
16 years 22 days ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
188
click to vote
LICS
2007
IEEE
16 years 21 days ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...