Sciweavers

2377 search results - page 74 / 476
» Hybrid Systems in TLA
Sort
View
82
Voted
ICCV
2007
IEEE
15 years 5 months ago
Interactive Feedback for Video Tracking Using a Hybrid Maximum Likelihood Similarity Measure
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...
Ard Oerlemans, Bart Thomee
CSC
2006
15 years 13 days ago
A Hybrid Number Representation Scheme Based on Symmetric Level-Index Arithmetic
- 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 ...
Xunyang Shen, Peter Turner
WSCG
2004
127views more  WSCG 2004»
15 years 12 days ago
Registration Tasks for a Hybrid Tracking System for Medical Augmented Reality
Tracking technologies for medical Virtual or Augmented Reality (VR/AR) applications have to fulfill demanding requirements. A hybrid tracking system can merge positive attributes ...
Bernd Schwald, Helmut Seibert
105
Voted
VLDB
2001
ACM
110views Database» more  VLDB 2001»
15 years 3 months ago
Comparing Hybrid Peer-to-Peer Systems
“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...
Beverly Yang, Hector Garcia-Molina
CSL
2010
Springer
15 years 4 days ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer