Sciweavers

2453 search results - page 216 / 491
» Object tracking: A survey
Sort
View
CSL
2007
Springer
14 years 4 months ago
Tightening the Exchange Rates Between Automata
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...
Orna Kupferman
ISORC
2005
IEEE
14 years 4 months ago
On Recent Advances in Time/Utility Function Real-Time Scheduling and Resource Management
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...
Binoy Ravindran, E. Douglas Jensen, Peng Li
TAMC
2010
Springer
14 years 3 months ago
Optimal Acceptors and Optimal Proof Systems
Unless we resolve the P vs NP question, we are unable to say whether there is an algorithm (acceptor) that accepts Boolean tautologies in polynomial time and does not accept non-ta...
Edward A. Hirsch
DEXAW
2004
IEEE
209views Database» more  DEXAW 2004»
14 years 2 months ago
Spatio-Temporal Data Warehouse Design for Human Activity Pattern Analysis
Many applications refer to moving objects or phenomena and require spatio-temporal modelling and specific analysis. Unlike conventional data where attributes are simple values (nu...
Lionel Savary, Tao Wan, Karine Zeitouni
VR
2003
IEEE
211views Virtual Reality» more  VR 2003»
14 years 4 months ago
Editing Real World Scenes: Augmented Reality with Image-based Rendering
We present a method that using only an uncalibrated camera allows the capture of object geometry and appearance, and then at a later stage registration and AR overlay into a new s...
Dana Cobzas, Martin Jägersand, Keith Yerex