3823 search results - page 733 / 765 » Stability of Hybrid Systems |
ICAIL
2003
ACM
14 years 25 days 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...
DSN
2002
IEEE
14 years 16 days 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...
FGR
2002
IEEE
14 years 16 days 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...
SIGMETRICS
2010
ACM
14 years 12 days 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...
ISRR
2001
Springer
14 years 1 days 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...