4770 search results - page 682 / 954 » Flexible Type Analysis |
161
click to vote
ICCBR
1997
Springer
15 years 10 months ago
1997
Springer
This paper describes the dual use of a case base for diagnosis and for improving the design of a manufacturing process. In the short term, the case base is used to provide past ex...
199
click to vote
ICRA
1993
IEEE
15 years 10 months ago
1993
IEEE
We present an approach for solving the path planning problem for a mobile robot operating in an unknown, three dimensional environment containing obstacles of arbitrary shape. The...
206
click to vote
RIDE
1993
IEEE
15 years 10 months ago
1993
IEEE
In this paper, we describe a framework for an object-oriented modeling of meta information and its use for the integration of heterogeneous databases with the goal of their intero...
169
click to vote
CHI
1994
ACM
15 years 10 months ago
1994
ACM
When working with large data sets, users perform three primary types of activities: data manipulation, data analysis, and data visualization. The data manipulation process involve...
198
click to vote
CADE
1990
Springer
15 years 10 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...