Sciweavers

1887 search results - page 121 / 378
» Automatic Concept Evolution
Sort
View
SEFM
2007
IEEE
15 years 7 months ago
Automatically Proving Concurrent Programs Correct
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
Byron Cook
ROBOCUP
2007
Springer
102views Robotics» more  ROBOCUP 2007»
15 years 7 months ago
Automatic On-Line Color Calibration Using Class-Relative Color Spaces
In this article we present an automatic on-line color calibration system that makes extensive use of the spatial relationships between color classes in the color space. First, we i...
Pablo Guerrero, Javier Ruiz-del-Solar, Josué...
81
Voted
DSN
2006
IEEE
15 years 6 months ago
Automatic Instruction-Level Software-Only Recovery
As chip densities and clock rates increase, processors are becoming more susceptible to transient faults that can affect program correctness. Computer architects have typically ad...
Jonathan Chang, George A. Reis, David I. August
105
Voted
SIGDOC
2004
ACM
15 years 6 months ago
Automatic evaluation of aspects of document quality
Coh-Metrix is a web-based application currently in development that automatically evaluates text. It uses two central concepts from discourse processing: text-based cohesion and s...
David F. Dufty, Danielle S. McNamara, Max M. Louwe...
108
Voted
ISMIR
2004
Springer
159views Music» more  ISMIR 2004»
15 years 6 months ago
Towards an Efficient Algorithm for Automatic Score-to-Audio Synchronization
In the last few years, several algorithms for the automatic alignment of audio and score data corresponding to the same piece of music have been proposed. Among the major drawback...
Meinard Müller, Frank Kurth, Tido Röder