8190 search results - page 111 / 1638 » From Timed to Hybrid Systems |
146
click to vote
KBSE
2009
IEEE
16 years 20 days ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
176
click to vote
CBMS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents the developement of a novel, fullyautomatic tracking and segmentation system to extract the boundary of the carotid artery from ultrasound images in real-time....
149
click to vote
ADAEUROPE
2008
Springer
15 years 8 months ago
2008
Springer
Standards for distribution middleware sometimes impose restrictions and often allow the implementations to decide on aspects that are fundamental to the correct and efficient behav...
324
click to vote
DAGM
2011
Springer
14 years 5 months ago
2011
Springer
We present a system for estimating location and orientation of a person’s head, from depth data acquired by a low quality device. Our approach is based on discriminative random r...
128
click to vote
UIST
2009
ACM
16 years 13 days ago
2009
ACM
While onboard navigation systems are gaining in importance, maps are still the medium of choice for laying out a route to a destination and for way finding. However, even with a ...