6308 search results - page 180 / 1262 » Modeling Urgency in Timed Systems |
136
click to vote
INTERACT
2003
15 years 5 months ago
2003
: In this paper we present the affective message box, a dialog box that employs a real time head gesture recognition system as its input modality. Head nods and shakes correspond t...
137
click to vote
ENTCS
2006
15 years 4 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
170
click to vote
UIC
2007
Springer
15 years 10 months ago
2007
Springer
As wireless communication advances, research on location-based services using mobile devices has attracted interest, which provides information and services related to user’s phy...
128
click to vote
COMPOS
1997
Springer
15 years 8 months ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
139
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper discusses the grasp planning of a multifingered hand attached at the tip of a robotic arm. By using the convex models and the new approximation method of the fricti...