Sciweavers

1626 search results - page 207 / 326
» Hybrid computing algorithm in representing solid model
Sort
View
ATAL
2007
Springer
15 years 9 months ago
Modelling the provenance of data in autonomous systems
Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be...
Simon Miles, Steve Munroe, Michael Luck, Luc Morea...
GLVLSI
2002
IEEE
109views VLSI» more  GLVLSI 2002»
15 years 8 months ago
Minimizing resources in a repeating schedule for a split-node data-flow graph
Many computation-intensive or recursive applications commonly found in digital signal processing and image processing applications can be represented by data-flow graphs (DFGs). ...
Timothy W. O'Neil, Edwin Hsing-Mean Sha
CVPR
2005
IEEE
16 years 5 months ago
Online Learning of Probabilistic Appearance Manifolds for Video-Based Recognition and Tracking
This paper presents an online learning algorithm to construct from video sequences an image-based representation that is useful for recognition and tracking. For a class of object...
Kuang-Chih Lee, David J. Kriegman
128
Voted
ECCV
2008
Springer
16 years 5 months ago
Prior-Based Piecewise-Smooth Segmentation by Template Competitive Deformation Using Partitions of Unity
We propose a new algorithm for two-phase, piecewise-smooth segmentation with shape prior. The image is segmented by a binary template that is deformed by a regular geometric transf...
Benoit Mory, Laurent D. Cohen, Oudom Somphone, Sh&...
B
2007
Springer
15 years 9 months ago
Symmetry Reduction for B by Permutation Flooding
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
Michael Leuschel, Michael J. Butler, Corinna Sperm...