Sciweavers

386 search results - page 48 / 78
» A Heuristic for Nonlinear Global Optimization
Sort
View
ICIP
2003
IEEE
14 years 10 months ago
A hierarchical statistical modeling approach for the unsupervised 3D reconstruction of the scoliotic spine
In this paper, we propose a new and accurate 3D reconstruction technique for the scoliotic spine from a pair planar and conventional radiographic images (postero-anterior and late...
Said Benameur, Max Mignotte, Stefan Parent, Hubert...
VC
2008
82views more  VC 2008»
13 years 8 months ago
Shape deformation with tunable stiffness
The paper presents a 2D or 3D shape deformation method which incorporates global and local stiffness controls. First, a geometric object is embedded into a regular lattice and then...
Wenwu Yang, Jieqing Feng, Xiaogang Jin
CADE
2007
Springer
14 years 9 months ago
An Incremental Technique for Automata-Based Decision Procedures
Abstract. Automata-based decision procedures commonly achieve optimal complexity bounds. However, in practice, they are often outperformed by sub-optimal (but more local-search bas...
David Toman, Gulay Ünel
DATE
1998
IEEE
73views Hardware» more  DATE 1998»
14 years 29 days ago
On Removing Multiple Redundancies in Combinational Circuits
1 Redundancy removal is an important step in combinational logic optimization. After a redundant wire is removed, other originally redundant wires may become irredundant, and some ...
David Ihsin Cheng
ICCAD
1997
IEEE
162views Hardware» more  ICCAD 1997»
14 years 27 days ago
Application-driven synthesis of core-based systems
We developed a new hierarchical modular approach for synthesis of area-minimal core-based data-intensive systems. The optimization approach employs a novel global least-constraini...
Darko Kirovski, Chunho Lee, Miodrag Potkonjak, Wil...