926 search results - page 47 / 186 » Automatic Ordering of Subgoals - A Machine Learning Approach |
122
Voted
DATE
2004
IEEE
2004
IEEE
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements
15 years 7 months ago
We show how to automatically verify that complex XScale-like pipelined machine models satisfy the same safety and liveness properties as their corresponding instruction set archit...
134
Voted
ICML
2004
IEEE
16 years 4 months ago
2004
IEEE
The goal of feature induction is to automatically create nonlinear combinations of existing features as additional input features to improve classification accuracy. Typically, no...
115
Voted
CLIN
2003
15 years 4 months ago
2003
We compare machine learning approaches for sentence length reduction for automatic generation of subtitles for deaf and hearing-impaired people with a method which relies on hand-...
105
click to vote
SIGIR
2000
ACM
15 years 7 months ago
2000
ACM
Abstract This paper investigates whether a machine can automatically learn the task of finding, within a large collection of candidate responses, the answers to questions. The lea...
147
Voted
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
We present a machine learning framework that automatically generates a model set of landmarks for some class of registered 3D objects: here we use human faces. The aim is to repla...