Sciweavers

6592 search results - page 1132 / 1319
» On robust cycle bases
Sort
View
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
15 years 10 months ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
ICCV
1995
IEEE
15 years 10 months ago
Recovering 3D Motion of Multiple Objects Using Adaptive Hough Transform
—We present a method to determine 3D motion and structure of multiple objects from two perspective views, using adaptive Hough transform. In our method, segmentation is determine...
Tina Yu Tian, Mubarak Shah
SC
1995
ACM
15 years 10 months ago
A Parallel Incompressible Flow Solver Package with a Parallel Multigrid Elliptic Kernel
A parallel time-dependent incompressible flow solver and a parallel multigrid elliptic kernel are described. The flow solver is based on a second-order projection method applied...
John Z. Lou, Robert D. Ferraro
CVPR
2010
IEEE
15 years 10 months ago
Metric-Induced Optimal Embedding for Intrinsic 3D Shape Analysis
For various 3D shape analysis tasks, the LaplaceBeltrami(LB) embedding has become increasingly popular as it enables the efficient comparison of shapes based on intrinsic geometry...
Rongjie Lai, Yonggang Shi, Kevin Scheibel, Scott F...
ICPR
2010
IEEE
15 years 10 months ago
Quasi-Dense Wide Baseline Matching for Three Views
This paper proposes a method for computing a quasi-dense set of matching points between three views of a scene. The method takes a sparse set of seed matches between pairs of view...
Pekka Koskenkorva, Juho Kannala, Sami Sebastian Br...
« Prev « First page 1132 / 1319 Last » Next »