Sciweavers

2564 search results - page 408 / 513
» Witness sets of projections
Sort
View
177
Voted
AAAI
1996
15 years 6 months ago
Robot Navigation Using Image Sequences
We describe a framework for robot navigation that exploits the continuity of image sequences. Tracked visual features both guide the robot and provide predictive information about...
Christopher Rasmussen, Gregory D. Hager
ACL
1996
15 years 6 months ago
Generating an LTAG out of a Principle-based Hierarchical Representation
Lexicalized Tree Adjoining Grammars have proved useful for NLP. However, numerous redundancy problems face LTAGs developers, as highlighted by Vijay-Shanker and Schabes (92). We p...
Marie-Hélène Candito
FORTE
1994
15 years 6 months ago
Proving the value of formal methods
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
Gerard J. Holzmann
157
Voted
IQ
1996
15 years 6 months ago
A TQM Approach to the Improvement of Information Quality
There is a consistent gap between users expectations regarding Information Quality (IQ) and the perceived quality of the information they are using. An explicit approach to IQ is ...
Ron Dvir, Stephen Evans
ISMB
1993
15 years 6 months ago
MultiMap: An Expert System for Automated Genetic Linkage Mapping
Withthe advent of the HumanGenomeProject. the ability to rapidly construct comprehensiveand accuratelinkage mapsbasedongenetic markerdata fromfamily studies is an absolute necessi...
Tara Cox Matise, Mark Perlin, Aravinda Chakravarti