149
click to vote
FORMATS
2009
Springer
15 years 8 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
154
click to vote
HRI
2007
ACM
15 years 8 months ago
2007
ACM
Research on spatial cognition and navigation of the visually impaired suggests that vision may be a primary sensory modality that enables humans to align the egocentric (self to o...
148
click to vote
HRI
2007
ACM
15 years 8 months ago
2007
ACM
Efforts are underway to make it possible for a single operator to effectively control multiple robots. In these high workload situations, many questions arise including how many r...
139
click to vote
FORMATS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
139
Voted
HRI
2007
ACM
15 years 8 months ago
2007
ACM
This paper reports a method that uses humanoid robots as a communication medium. There are many interactive robots under development, but due to their limited perception, their in...