2367 search results - page 179 / 474 » An experimental analysis of self-adjusting computation |
132
click to vote
KDD
2009
ACM
16 years 1 months ago
2009
ACM
We introduce an open labeling platform for Computer Vision researchers based on Captchas, creating as a byproduct labeled image data sets while supporting web security. For the tw...
142
click to vote
ARITH
2007
IEEE
16 years 29 days ago
2007
IEEE
Numerical integration is an operation that is frequently available in multiple precision numerical software packages. The different quadrature schemes used are considered well stu...
179
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
With the emergence of grid computing environment, performance measurement, analysis and prediction of non-dedicated distributed systems have become increasingly important. In this...
177
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
134
click to vote
IJBC
2007
15 years 6 months ago
2007
Centrality indices are an essential concept in network analysis. For those based on shortest-path distances the computation is at least quadratic in the number of nodes, since it ...