3605 search results - page 336 / 721 » Associated types with class |
202
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The classical concepts of partial and total correctness identify all types of runtime errors and divergence. We argue that the associated notions of translation correctne...
204
click to vote
ISMIS
1999
Springer
15 years 11 months ago
1999
Springer
Knowledge Discovery in Databases (KDD) is a data analysis process which, in contrast to conventional data analysis, automatically generates and evaluates very many hypotheses, deal...
189
Voted
IWANN
1999
Springer
15 years 11 months ago
1999
Springer
A new model which can recognize rotated, distorted, scaled, shifted and noised patterns is proposed. The model is constructed based on psychological experiments in a mental rotatio...
189
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
We suggest that planning for automated earthmoving operations such as digging a foundation or leveling a mound of soil, be treated at multiple levels. In a system that we have dev...
195
click to vote
DL
1998
Springer
15 years 11 months ago
1998
Springer
Metadata is an important way of creating order in emerging distributed digital library collections. This paper presents an analysis of ethnographic data gathered in a university l...