Sciweavers

37 search results - page 2 / 8
» aaai 1993
Sort
View
AAAI
1993
13 years 11 months ago
Towards a Reading Coach that Listens: Automated Detection of Oral Reading Errors
ing with credit is permitted. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee.
Jack Mostow, Alexander G. Hauptmann, Lin Lawrence ...
AAAI
1993
13 years 11 months ago
Towards an Understanding of Hill-Climbing Procedures for SAT
Recently several local hill-climbing procedures for propositional satisability have been proposed, which are able to solve large and di cult problems beyond the reach of conventio...
Ian P. Gent, Toby Walsh
AAAI
1993
13 years 11 months ago
Model Simplification by Asymptotic Order of Magnitude Reasoning
One of the hardest problems in reasoning about a physical system is finding an approximate model that is mathematically tractable and yet captures the essence of the problem. Appr...
Kenneth Man-kam Yip