6020 search results - page 973 / 1204 » A New Approach to Model Counting |
221
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we describe a new methodology based on game theory for minimizing the average power of a circuit during scheduling in behavioral synthesis. The problem of schedulin...
156
click to vote
SMA
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, we propose a new scheme for free-form skeletondriven global mesh deformations. First a Voronoi-based skeletal mesh is extracted from a given original mesh. Next the...
192
click to vote
MICCAI
2001
Springer
15 years 11 months ago
2001
Springer
We introduce a new paradigm for automatic medical image analysis that adopts concepts from the field of Artificial Life. Our approach prescribes deformable organisms, autonomous ag...
163
click to vote
RT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a new data structure for encoding the appearance of a geometric model as seen from a viewing region (view cell). This representation can be used in interactive...
173
click to vote
IJCNN
2000
IEEE
15 years 10 months ago
2000
IEEE
: Conventional hardware platforms are far from reaching real-time simulation requirements of complex spiking neural networks (SNN). Therefore we designed an accelerator board with ...