3779 search results - page 108 / 756 » Linear Consistency Testing |
118
click to vote
ICDAR
2009
IEEE
15 years 9 months ago
2009
IEEE
Writer adaptive handwriting recognition, which has potential of increasing accuracies for a particular user, is the process of converting a writer-independent recognition system t...
108
click to vote
HPDC
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper evaluates linear models for predicting the Digital Unix five-second load average from 1 to 30 seconds into the future. A detailed statistical study of a large number of...
134
click to vote
EUROCOLT
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Recent works have shown the advantage of using Active Learning methods, such as the Query by Committee (QBC) algorithm, to various learning problems. This class of Algori...
122
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
Developing scalable algorithms for solving partially observable Markov decision processes (POMDPs) is an important challenge. One promising approach is based on representing POMDP...
144
click to vote
FMCAD
2006
Springer
15 years 6 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...