3823 search results - page 733 / 765 » Stability of Hybrid Systems |
128
click to vote
ICAIL
2003
ACM
15 years 9 months ago
2003
ACM
The general goal of the paper is to show the normative/deontic nature of conventions. Conventions are traditionally defined as regularity of behavior based on expectations evolved...
148
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
147
click to vote
FGR
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a method to recover the full-motion (3 rotations and 3 translations) of the head from an input video using a cylindrical head model. Given an initial reference...
188
click to vote
SIGMETRICS
2010
ACM
15 years 9 months ago
2010
ACM
A new generation of content delivery networks for live streaming, video on demand, and software updates takes advantage of a peer-to-peer architecture to reduce their operating co...
145
click to vote
ISRR
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents our experience towards the conception of a virtual reality medical simulator coupled with haptic interaction aimed at training surgeons. This area of research h...