Sciweavers

307 search results - page 36 / 62
» Estimating the in out function of a surface represented by p...
Sort
View
TPHOL
1998
IEEE
14 years 28 days ago
Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
Wolfgang Naraschewski, Markus Wenzel
IWCM
2004
Springer
14 years 2 months ago
Bayesian Approaches to Motion-Based Image and Video Segmentation
We present a variational approach for segmenting the image plane into regions of piecewise parametric motion given two or more frames from an image sequence. Our model is based on ...
Daniel Cremers
CVPR
2004
IEEE
14 years 10 months ago
A New GPCA Algorithm for Clustering Subspaces by Fitting, Differentiating and Dividing Polynomials
We consider the problem of clustering data lying on multiple subspaces of unknown and possibly different dimensions. We show that one can represent the subspaces with a set of pol...
Jacopo Piazzi, René Vidal, Yi Ma
ICRA
1998
IEEE
121views Robotics» more  ICRA 1998»
14 years 29 days ago
Registering, Integrating and Building CAD Models from Range Data
In this paper, we introduce two methods for the registration of multiple range images when a prior estimate of the transformationbetween views is not available and the overlap bet...
Ruigang Yang, Peter K. Allen
ICIP
2002
IEEE
14 years 10 months ago
Joint space-time image sequence segmentation based on volume competition and level sets
In this paper, we address the issue of joint space-time segmentation of image sequences. Typical approaches to such segmentation consider two image frames at a time, and perform t...
Mirko Ristivojevic, Janusz Konrad