4272 search results - page 174 / 855 » A Case for Automatic System Evaluation |
198
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
169
click to vote
SIGIR
2006
ACM
16 years 17 days ago
2006
ACM
Early speech retrieval experiments focused on news broadcasts, for which adequate Automatic Speech Recognition (ASR) accuracy could be obtained. Like newspapers, news broadcasts a...
133
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Automatically segmenting unstructured text strings into structured records is necessary for importing the information contained in legacy sources and text collections into a data ...
146
click to vote
CCIA
2005
Springer
16 years 4 days ago
2005
Springer
The explanation of the results is a key point of automatic problem solvers. CBR systems solve a new problem by assessing its similarity with already solved cases and they commonly ...
204
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
We present a robust framework for estimating non-rigid 3D shape and motion in video sequences. Given an input video sequence, and a user-specified region to reconstruct, the algori...