Sciweavers

3630 search results - page 209 / 726
» Fast Marching Methods
Sort
View
DATE
2002
IEEE
113views Hardware» more  DATE 2002»
15 years 11 months ago
BerkMin: A Fast and Robust Sat-Solver
We describe a SAT-solver, BerkMin, that inherits such features of GRASP, SATO, and Chaff as clause recording, fast BCP, restarts, and conflict clause “aging”. At the same time...
Evguenii I. Goldberg, Yakov Novikov
ISMVL
2002
IEEE
84views Hardware» more  ISMVL 2002»
15 years 11 months ago
The Role of Super-Fast Transforms in Speeding Up Quantum Computations
We present the role that spectral methods play in the development of the most impressive quantum algorithms, such as the polynomial time number factoring algorithm by Shor. While ...
Zeljko Zilic, Katarzyna Radecka
CC
2000
Springer
135views System Software» more  CC 2000»
15 years 10 months ago
Fast Escape Analysis and Stack Allocation for Object-Based Programs
A fast and scalable interprocedural escape analysis algorithm is presented. The analysis computes a description of a subset of created objects whose lifetime is bounded by the life...
David Gay, Bjarne Steensgaard
SIGGRAPH
1990
ACM
15 years 10 months ago
Fast animation and control of nonrigid structures
We describe a fast method for creating physically based animation of non-rigid objects. Rapid simulation of nonrigid behavior is based on global deformations. Constraints are used...
Andrew P. Witkin, William Welch
ECCV
2006
Springer
15 years 10 months ago
Fast Segmentation of the Mitral Valve Leaflet in Echocardiography
This paper presents a semi-automatic method for tracking the mitral valve leaflet in transesophageal echocardiography. The algorithm requires a manual initialization and then segme...
Sébastien Martin, Vincent Daanen, Olivier C...