4693 search results - page 129 / 939 » Verifying Hybrid Systems |
91
Voted
ICCV
2007
IEEE
15 years 7 months ago
2007
IEEE
In this article, we present an object tracking system which allows interactive user feedback to improve the accuracy of the tracking process in real-time video. In addition, we des...
106
click to vote
CSC
2006
15 years 2 months ago
2006
- Symmetric level-index arithmetic was introduced to overcome the problems of overflow and underflow in scientific computations. A hybrid SLI-FLP number system, together with some ...
87
Voted
WSCG
2004
15 years 2 months ago
2004
Tracking technologies for medical Virtual or Augmented Reality (VR/AR) applications have to fulfill demanding requirements. A hybrid tracking system can merge positive attributes ...
127
Voted
VLDB
2001
ACM
15 years 5 months ago
2001
ACM
“Peer-to-peer” systems like Napster and Gnutella have recently become popular for sharing information. In this paper, we study the relevant issues and tradeoffs in designing a...
93
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
ate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems Alessandro D’Innocenzo, Alessandro Abate, and Maria D. Di Benedetto — This work proposes a procedure to c...