5180 search results - page 155 / 1036 » Concurrency, Time, and Constraints |
220
click to vote
HRI
2011
ACM
14 years 10 months ago
2011
ACM
In this paper, we present an approach to monitor human activities such as entry, exit and break times of people in a workplace environment. The companion robot then learns the use...
251
click to vote
ICDE
1996
IEEE
16 years 7 months ago
1996
IEEE
A multimedia presentation refers to the presentation of multimedia data using output devices such as monitors for text and video, and speakers for audio. Each presentation consist...
132
click to vote
HAPTICS
2007
IEEE
16 years 26 days ago
2007
IEEE
We describe a time-domain passivity control methodology that uses programmable eddy current viscous dampers to prevent a user from extracting energy from a haptic interface. A pas...
181
click to vote
ICTAC
2004
Springer
15 years 12 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
163
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract— In this paper we propose an algorithm to determine the location of a vehicle in an environment represented by a stochastic map, given a set of environment measurements ...