Sciweavers

7426 search results - page 376 / 1486
» The LHC Computing Challenge
Sort
View
CVPR
2010
IEEE
16 years 15 days 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
16 years 15 days 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
16 years 14 days 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...
ICDCSW
2005
IEEE
16 years 14 days ago
Mobile Proxies for Proactive Buffering in Wireless Internet Multimedia Streaming
The widespread popularity of roaming wireless devices with limited and heterogeneous capabilities is enabling new challenging deployment scenarios for multimedia streaming in wire...
Paolo Bellavista, Antonio Corradi, Carlo Giannelli
KBSE
2005
IEEE
16 years 13 days ago
Learning to verify branching time properties
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
Abhay Vardhan, Mahesh Viswanathan