1140 search results - page 44 / 228 » Progress on Certifying Algorithms |
RAS
2010
13 years 9 months ago
2010
This paper presents a model of ocular-motor development, inspired by ideas and data from developmental psychology. The learning problem concerns the growth of the transform betwee...
ACSC
2004
IEEE
14 years 2 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
SIGMOD
2005
ACM
14 years 11 months ago
2005
ACM
We consider the problem of "progressively" joining relations whose records are continuously retrieved from remote sources through an unstable network that may incur temp...
PKDD
2001
Springer
14 years 3 months ago
2001
Springer
Large amount of available information does not necessarily imply that induction algorithms must use all this information. Samples often provide the same accuracy with less computat...
CINQ
2004
Springer
14 years 4 months ago
2004
Springer
Many researchers in our community (this author included) regularly emphasize the role constraints play in improving performance of data-mining algorithms. This emphasis has led to ...