7228 search results - page 1207 / 1446 » From Algorithmic to Subjective Randomness |
75
Voted
PLDI
2012
ACM
13 years 1 months ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
105
click to vote
KDD
2012
ACM
13 years 1 months ago
2012
ACM
In recent years, both hashing-based similarity search and multimodal similarity search have aroused much research interest in the data mining and other communities. While hashing-...
125
Voted
KDD
2012
ACM
13 years 1 months ago
2012
ACM
Clipping Web pages, namely extracting the informative clips (areas) from Web pages, has many applications, such as Web printing and e-reading on small handheld devices. Although m...
96
Voted
DAC
2006
ACM
15 years 12 months ago
2006
ACM
Graphics-intensive computer games are no longer restricted to highperformance desktops, but are also available on a variety of portable devices ranging from notebooks to PDAs and ...
101
Voted
DAC
2006
ACM
15 years 12 months ago
2006
ACM
Existing approaches to timing analysis under uncertainty are based on restrictive assumptions. Statistical STA techniques assume that the full probabilistic distribution of parame...