6709 search results - page 252 / 1342 » Performance Modelling of the Computational Hardware: A Stati... |
150
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper we propose an approach to control design of nonlinear time–delay systems, which is based on the construction of symbolic models, where each symbolic state and e...
170
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Automatic localisation of correspondences for the construction of Statistical Shape Models from examples has been the focus of intense research during the last decade. Several alg...
176
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
Recently, there has been an increasing interest in the investigation of statistical pattern recognition models for the fully automatic segmentation of the left ventricle (LV) of t...
143
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Clock gating and operand isolation are two techniques to reduce the power consumption in state-of-the-art hardware designs. Both approaches basically follow a two-step pr...
178
click to vote
SAT
2005
Springer
16 years 1 days ago
2005
Springer
We introduce ApproxCount, an algorithm that approximates the number of satisfying assignments or models of a formula in propositional logic. Many AI tasks, such as calculating degr...