1626 search results - page 149 / 326 » Hybrid computing algorithm in representing solid model |
106
click to vote
ICCAD
2005
IEEE
16 years 14 days ago
2005
IEEE
— In this paper we propose an exact algorithm that maximizes the sharing of partial terms in Multiple Constant Multiplication (MCM) operations. We model this problem as a Boolean...
130
click to vote
IPL
2008
15 years 3 months ago
2008
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...
153
Voted
COMPSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
Regression testing has been a popular quality assurance technique. Most regression testing techniques are based on code or software design. This paper proposes a scenario-based fu...
124
Voted
CCE
2004
15 years 3 months ago
2004
This work focuses on the basic stochastic decomposition (SD) algorithm of Higle and Sen [J.L. Higle, S. Sen, Stochastic Decomposition, Kluwer Academic Publishers, 1996] for two-st...
123
click to vote
3DPVT
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an algorithm for automatic locating of anthropometric landmarks on 3D human scans. Our method is based on learning landmark characteristics and the spatial relationship...