Sciweavers

3348 search results - page 407 / 670
» Tracking Objects Using Recognition
Sort
View
VMCAI
2009
Springer
15 years 9 months ago
Finding Concurrency-Related Bugs Using Random Isolation
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
Nicholas Kidd, Thomas W. Reps, Julian Dolby, Manda...
ICIP
2004
IEEE
16 years 4 months ago
Robust motion-based image segmentation using fusion
To support real-time tracking of objects in video sequences, there has been considerable effort directed at developing optical flow and general motion-based image segmentation alg...
Michael E. Farmer, Xiaoguang Lu, Hong Chen, Anil K...
SI3D
2010
ACM
15 years 9 months ago
Interactive fluid-particle simulation using translating Eulerian grids
We describe an interactive system featuring fluid-driven animation that responds to moving objects. Our system includes a GPUaccelerated Eulerian fluid solver that is suited for...
Jonathan M. Cohen, Sarah Tariq, Simon Green
ECOOP
2007
Springer
15 years 6 months ago
Validity Invariants and Effects
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
Yi Lu 0003, John Potter, Jingling Xue
IJSYSC
2006
86views more  IJSYSC 2006»
15 years 2 months ago
Cooperative forest fire surveillance using a team of small unmanned air vehicles
The objective of this paper is to explore the feasibility of using multiple low-altitude, short endurance (LASE) unmanned air vehicles (UAVs) to cooperatively monitor and track th...
David W. Casbeer, Derek B. Kingston, Randal W. Bea...