Sciweavers

386 search results - page 48 / 78
» A Heuristic for Nonlinear Global Optimization
Sort
View
85
Voted
ICIP
2003
IEEE
15 years 11 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»
14 years 9 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
15 years 10 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
59
Voted
DATE
1998
IEEE
73views Hardware» more  DATE 1998»
15 years 1 months 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»
15 years 1 months 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...