Sciweavers

870 search results - page 119 / 174
» Gossip algorithms: design, analysis and applications
Sort
View
ICSE
2008
IEEE-ACM
16 years 18 days ago
Calysto: scalable and precise extended static checking
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
Domagoj Babic, Alan J. Hu
KDD
2005
ACM
137views Data Mining» more  KDD 2005»
16 years 6 days ago
Pattern-based similarity search for microarray data
One fundamental task in near-neighbor search as well as other similarity matching efforts is to find a distance function that can efficiently quantify the similarity between two o...
Haixun Wang, Jian Pei, Philip S. Yu
CIVR
2007
Springer
227views Image Analysis» more  CIVR 2007»
15 years 6 months ago
Video parsing based on head tracking and face recognition
In this paper, we describe a fully automatic video retrieval prototype system that uses an image or a video sequence of an interested identity as probe. The system is based on fac...
Pengxu Li, Haizhou Ai, Yuan Li, Chang Huang
PLDI
2004
ACM
15 years 5 months ago
The set constraint/CFL reachability connection in practice
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...
John Kodumal, Alexander Aiken
MM
2003
ACM
94views Multimedia» more  MM 2003»
15 years 5 months ago
The video paper multimedia playback system
Video Paper is a prototype system for multimedia browsing, analysis, and replay. Key frames extracted from a video recording are printed on paper together with bar codes that allo...
Jamey Graham, Berna Erol, Jonathan J. Hull, Dar-Sh...