2127 search results - page 356 / 426 » Software Automation |
151
click to vote
GIS
2010
ACM
15 years 9 days ago
2010
ACM
Social networking applications have become very important web services that provide Internet-based platforms for their users to interact with their friends. With the advances in t...
115
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...
110
click to vote
CVPR
2005
IEEE
16 years 4 months ago
2005
IEEE
We present a comprehensive strategy for evaluating image retrieval algorithms. Because automated image retrieval is only meaningful in its service to people, performance character...
142
click to vote
ECCV
2004
Springer
16 years 4 months ago
2004
Springer
An approach to recognizing human hand gestures from a monocular temporal sequence of images is presented. Of particular concern is the representation and recognition of hand movem...
119
click to vote
DAC
2009
ACM
16 years 3 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...