Sciweavers

5948 search results - page 761 / 1190
» Computing Robust Counter-Strategies
Sort
View
ANLP
1994
104views more  ANLP 1994»
15 years 8 months ago
Language Determination: Natural Language Processing from Scanned Document Images
Many documents are available to a computer only as images from paper. However, most natural language processing systems expect their input as character-coded text, which may be di...
Penelope Sibun, A. Lawrence Spitz
MASCOTS
1993
15 years 8 months ago
Simulation Modeling of Weak-Consistency Protocols
: Weak-consistency replication protocols can be used to build wide-area services that are scalable, fault-tolerant, and useful for mobile computer systems. We have evaluated the ti...
Richard A. Golding, Darrell D. E. Long
190
Voted
NIPS
1996
15 years 8 months ago
Effective Training of a Neural Network Character Classifier for Word Recognition
We have combined an artificial neural network (ANN) character classifier with context-driven search over character segmentation, word segmentation, and word recognition hypotheses...
Larry S. Yaeger, Richard F. Lyon, Brandyn J. Webb
AAAI
1990
15 years 8 months ago
Mechanizing Inductive Reasoning
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
Emmanuel Kounalis, Michaël Rusinowitch
AAAI
1992
15 years 8 months ago
Reactive Navigation through Rough Terrain: Experimental Results
This paper describes a series of experiments that were performed on the Rocky III robot.1 Rocky III is a small autonomous rover capable of navigating through rough outdoor terrain...
David P. Miller, Rajiv S. Desai, Erann Gat, Robert...