17018 search results - page 3242 / 3404 » From the How to the What |
TACAS
2004
Springer
14 years 3 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
VLDB
2004
ACM
14 years 3 months ago
2004
ACM
Traditional databases have focused on the issue of reducing I/O cost as it is the bottleneck in many operations. As databases become increasingly accepted in areas such as Geograp...
VLDB
2004
ACM
14 years 3 months ago
2004
ACM
The widespread adoption of XML holds out the promise that document structure can be exploited to specify precise database queries. However, the user may have only a limited knowle...
ECCV
2010
Springer
2010
Springer
Backprojection Revisited: Scalable Multi-view Object Detection and Similarity Metrics for Detections
14 years 3 months ago
Hough transform based object detectors learn a mapping from the image domain to a Hough voting space. Within this space, object hypotheses are formed by local maxima. The votes con...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
Services like Amazon’s Mechanical Turk have opened the door for exploration of processes that outsource computation to humans. These human computation processes hold tremendous ...