2127 search results - page 356 / 426 » Software Automation |
GIS
2010
ACM
13 years 8 months 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...
PLDI
2012
ACM
12 years 19 days 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 ...
CVPR
2005
IEEE
15 years 6 days 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...
ECCV
2004
Springer
15 years 2 days 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...
DAC
2009
ACM
14 years 11 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...