3179 search results - page 216 / 636 » Applications of PCF Theory |
ICRA
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper investigates how to "observe" a planar object being pushed by a finger. The pushing is governed by a nonlinear system that relates through contact the object ...
KR
1998
Springer
14 years 2 months ago
1998
Springer
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
SIGSOFT
1996
ACM
14 years 2 months ago
1996
ACM
Abstract -- Software architectures enable large-scale software development. Component reuse and substitutability, two key aspects of large-scale development, must be planned for du...
ICIP
1994
IEEE
14 years 2 months ago
1994
IEEE
We develop a general theory of spatially-variant (SV) mathematical morphology for binary images in the Euclidean space. The basic SV morphological operators (that is, SV erosion, S...
LPNMR
1993
Springer
14 years 2 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...