757 search results - page 102 / 152 » How to decide |
ICRA
1999
IEEE
14 years 2 months ago
1999
IEEE
The vibratory bowl feeder is the oldest and still most common approach to the automated feeding (orienting) of industrial parts. In this paper we consider a class of vibratory bow...
LICS
1999
IEEE
14 years 2 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
PG
1999
IEEE
14 years 2 months ago
1999
IEEE
In this paper we consider the problem of reconstructing triangular surfaces from given contours. An algorithm solving this problem has to decide which contours of two successive s...
ACSAC
1998
IEEE
14 years 2 months ago
1998
IEEE
1 Assurance has been defined as "the degree of confidence that security needs are satisfied"[2]. The problem with this definition is that, unless one has a way to specify...
ICCBR
1999
Springer
14 years 2 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...