Sciweavers

2651 search results - page 367 / 531
» Experiences with the Use of a Configuration Language
Sort
View
COLING
1996
15 years 7 months ago
Prepositional Phrase Attachment Through A Hybrid Disambiguation Model
Prepositional phrase attachment is a major cause of stru(:tural alnbiguity in natural language. Recent work has been dependent on corpus-based approaches to deal with this problem...
Haodong Wu, Teiji Furugori
RIAO
1994
15 years 7 months ago
An Association Thesaurus for Information Retrieval
Although commonly used in both commercial and experimental information retrieval systems, thesauri have not demonstrated consistent bene ts for retrieval performance, and it is di...
Bruce Croft, Jing Yufeng
AAAI
1992
15 years 7 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...
FORTE
1989
15 years 7 months ago
Compilation of LOTOS Abstract Data Types
ion of LOTOS Abstract Data Types Hubert GARAVEL∗ Laboratoire de G´enie Informatique Institut I.M.A.G. GRENOBLE FRANCE This article describes an experiment with the compilation o...
Hubert Garavel
FMSD
2008
110views more  FMSD 2008»
15 years 6 months ago
Automatic symbolic compositional verification by learning assumptions
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Wonhong Nam, P. Madhusudan, Rajeev Alur