Sciweavers

7596 search results - page 373 / 1520
» Challenges in forensic computing
Sort
View
PPOPP
2006
ACM
16 years 6 days ago
Proving correctness of highly-concurrent linearisable objects
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Mar...
CVPR
2008
IEEE
16 years 1 days ago
General Constraints for Batch Multiple-Target Tracking Applied to Large-Scale Videomicroscopy
While there is a large class of Multiple-Target Tracking (MTT) problems for which batch processing is possible and desirable, batch MTT remains relatively unexplored in comparis...
Kevin Smith, Alan Carleton, Vincent Lepetit
CVPR
2010
IEEE
15 years 12 months ago
Many-to-one Contour Matching for Describing and Discriminating Object Shape
We present an object recognition system that locates an object, identifies its parts, and segments out its contours. A key distinction of our approach is that we use long, salien...
Praveen Srinivasan, Qihui Zhu, Jianbo Shi
CVPR
2010
IEEE
15 years 12 months ago
YouTubeCat: Learning to Categorize Wild Web Videos
Automatic categorization of videos in a Web-scale unconstrained collection such as YouTube is a challenging task. A key issue is how to build an effective training set in the pres...
Zheshen Wang, Ming Zhao, Yang Song, Sanjiv Kumar, ...
DSN
2005
IEEE
15 years 12 months ago
Effective Testing and Debugging Techniques for a Group Communication System
View-oriented group communication is an important and widely used building block for constructing highlyavailable fault-tolerant systems. Unfortunately, groupcommunication based s...
Eitan Farchi, Gabriel Kliot, Yoel Krasny, Alex Kri...