Sciweavers

1313 search results - page 201 / 263
» Intelligent Selection of Language Model Training Data
Sort
View
134
Voted
CSL
2009
Springer
15 years 10 months ago
Algorithmic Analysis of Array-Accessing Programs
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
Rajeev Alur, Pavol Cerný, Scott Weinstein
127
Voted
ICDAR
2005
IEEE
15 years 9 months ago
Distinguishing Mathematics Notation from English Text using Computational Geometry
A trainable method for distinguishing between mathematics notation and natural language (here, English) in images of textlines, using computational geometry methods only with no a...
Derek M. Drake, Henry S. Baird
150
Voted
ICML
2002
IEEE
16 years 4 months ago
Learning the Kernel Matrix with Semi-Definite Programming
Kernel-based learning algorithms work by embedding the data into a Euclidean space, and then searching for linear relations among the embedded data points. The embedding is perfor...
Gert R. G. Lanckriet, Nello Cristianini, Peter L. ...
134
Voted
CVPR
2007
IEEE
16 years 5 months ago
Combining Static Classifiers and Class Syntax Models for Logical Entity Recognition in Scanned Historical Documents
Class syntax can be used to 1) model temporal or locational evolvement of class labels of feature observation sequences, 2) correct classification errors of static classifiers if ...
Song Mao, Praveer Mansukhani, George R. Thoma
146
Voted
AIIDE
2006
15 years 5 months ago
Predicting User Physiological Response for Interactive Environments: An Inductive Approach
Affective reasoning holds great potential for interactive digital entertainment, education, and training. Incorporating affective reasoning into the decision-making capabilities o...
Scott W. McQuiggan, Sunyoung Lee, James C. Lester