10715 search results - page 152 / 2143 » Proofs from Tests |
105
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
One can reduce the problem of proving that a polynomial is nonnegative, or more generally of proving that a system of polynomial inequalities has no solutions, to finding polynomi...
SOUPS
2009
ACM
15 years 7 months ago
2009
ACM
We present a technique for using content-based video labeling as a CAPTCHA task. Our CAPTCHAs are generated from YouTube videos, which contain labels (tags) supplied by the person...
90
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
In a network consisting of several thousands computers, the occurrence of faults is unavoidable. Being able to test the behaviour of a distributed program in an environment where ...
116
click to vote
AFRIGRAPH
2001
ACM
15 years 4 months ago
2001
ACM
We present independent method to reduce the number of shadow ray tests. It can be used with standard acceleration ray tracing algorithms. Our method is conservative and produces t...
114
click to vote
AIPR
2006
IEEE
15 years 2 months ago
2006
IEEE
The production of geospatial information from overhead imagery is generally a labor-intensive process. Analysts must accurately delineate and extract important features, such as b...