Sciweavers

65 search results - page 9 / 13
» re 1998
Sort
View
ISCOPE
1998
Springer
13 years 11 months ago
The Mobile Object Layer: A Run-Time Substrate for Mobile Adaptive Computations
In this paper we present a parallel runtime substrate that supports a global addressing scheme, object mobility, and automatic message forwarding required for the implementation o...
Nikos Chrisochoides, Kevin Barker, Démian N...
ECCV
1998
Springer
14 years 9 months ago
Multi-Step Procedures for the Localization of 2D and 3D Point Landmarks and Automatic ROI Size Selection
In this contribution, we are concerned with the detection and re ned localization of 3D point landmarks. We propose multi-step di erential procedures for subvoxel localization of 3...
Sönke Frantz, Karl Rohr, H. Siegfried Stiehl
ALT
1998
Springer
13 years 11 months ago
Synthesizing Learners Tolerating Computable Noisy Data
An index for an r.e. class of languages (by definition) generates a sequence of grammars defining the class. An index for an indexed family of recursive languages (by definition) ...
John Case, Sanjay Jain
CADE
1998
Springer
13 years 11 months ago
Admissibility of Fixpoint Induction over Partial Types
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
Karl Crary
ICIP
1998
IEEE
14 years 8 months ago
Automatic Spatio-Temporal Video Sequence Segmentation
In the paper, an automatic spatio-temporal video sequence segmentation algorithm is proposed. To address this very di cult computer vision problem, several novel algorithms have b...
Jozsef Vass, Kannappan Palaniappan, Xinhua Zhuang