Sciweavers

734 search results - page 134 / 147
» A Question-Answering System Using Argumentation
Sort
View
KBSE
2000
IEEE
14 years 24 days ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
EVOW
1998
Springer
14 years 19 days ago
Blurred Vision: Simulation-Reality Transfer of a Visually Guided Robot
This paper investigates the evolution of robot controllers utilising only visual environment input data, capable of performing a hard task, playing football, in the real world. Th...
Tom M. C. Smith
LREC
2010
152views Education» more  LREC 2010»
13 years 10 months ago
Grammar Extraction from Treebanks for Hindi and Telugu
Grammars play an important role in many Natural Language Processing (NLP) applications. The traditional approach to creating grammars manually, besides being labor-intensive, has ...
Prasanth Kolachina, Sudheer Kolachina, Anil Kumar ...
ALENEX
2004
121views Algorithms» more  ALENEX 2004»
13 years 9 months ago
Experimental Comparison of Shortest Path Approaches for Timetable Information
We consider two approaches that model timetable information in public transportation systems as shortestpath problems in weighted graphs. In the time-expanded approach every event...
Evangelia Pyrga, Frank Schulz, Dorothea Wagner, Ch...
AVI
1996
13 years 9 months ago
A visual interface for synchronous collaboration and negotiated transactions
: This paper introduces a visual interface for computer-supported cooperative work (CSCW). The interface is an extension of the editor interface of ESCHER, a prototype database sys...
Lutz Michael Wegner, Manfred Paul 0002, Jens Thamm...