Sciweavers

2539 search results - page 310 / 508
» Debugging Method Names
Sort
View
185
Voted
CVPR
2006
IEEE
15 years 6 months ago
Tracking With Sobolev Active Contours
Recently proposed Sobolev active contours introduced a new paradigm for minimizing energies defined on curves by changing the traditional cost of perturbing a curve and thereby re...
Ganesh Sundaramoorthi, Jeremy D. Jackson, Anthony ...
133
Voted
ESA
2006
Springer
147views Algorithms» more  ESA 2006»
15 years 6 months ago
Univariate Polynomial Real Root Isolation: Continued Fractions Revisited
We present algorithmic, complexity and implementation results concerning real root isolation of integer univariate polynomials using the continued fraction expansion of real algeb...
Elias P. Tsigaridas, Ioannis Z. Emiris
124
Voted
FMCAD
2006
Springer
15 years 6 months ago
Liveness and Boundedness of Synchronous Data Flow Graphs
Synchronous Data Flow Graphs (SDFGs) have proven to be suitable for specifying and analyzing streaming applications that run on single- or multi-processor platforms. Streaming appl...
Amir Hossein Ghamarian, Marc Geilen, Twan Basten, ...
AIME
2003
Springer
15 years 6 months ago
Experiences in the Formalisation and Verification of Medical Protocols
Abstract. Medical practice protocols or guidelines are statements to assist practitioners and patient decisions about appropriate health care for specific circumstances. In order t...
Mar Marcos, Michael Balser, Annette ten Teije, Fra...
SMA
1995
ACM
217views Solid Modeling» more  SMA 1995»
15 years 6 months ago
Bubble mesh: automated triangular meshing of non-manifold geometry by sphere packing
This paper presents a new computational method for fully automated triangular mesh generation, consistently applicable to wire-frame, surface, solid, and nonmanifold geometries. T...
Kenji Shimada, David C. Gossard