1942 search results - page 290 / 389 » HINT: A new way to measure computer performance |
175
click to vote
AMAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
147
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
In this work we present a new crowd analysis algorithm powered by behavior priors that are learned on a large database of crowd videos gathered from the Internet. The algorithm wo...
184
click to vote
EUROPAR
2011
Springer
14 years 6 months ago
2011
Springer
Most applications manipulate structured data. Modern languages and platforms provide collection frameworks with basic data structures like lists, hashtables and trees. These data ...
138
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Asynchronous circuits are increasingly attractive as low power or high-performance replacements to synchronous designs. A key part of these circuits are asynchronous micropipeline...
182
click to vote
SDM
2009
SIAM
16 years 3 months ago
2009
SIAM
An established method to detect concept drift in data streams is to perform statistical hypothesis testing on the multivariate data in the stream. Statistical decision theory off...