6020 search results - page 523 / 1204 » A New Approach to Model Counting |
179
click to vote
ICCV
1998
IEEE
16 years 9 months ago
1998
IEEE
A new dynamic subdivision surface model is proposed for shape recovery from 3D data sets. The model inherits the attractive properties of the Catmull-Clark subdivision scheme and ...
177
click to vote
GRID
2004
Springer
16 years 14 days ago
2004
Springer
Scientists have long relied on abstract models to study phenomena that are too complex for direct observation and experimentation. As new scientific modeling methodologies emerge...
193
click to vote
GLVLSI
2002
IEEE
16 years 1 days ago
2002
IEEE
This paper develops new techniques for detecting both stuck-open faults and resistive open faults, which result in increased delays along some paths. The improved detection of CMO...
189
click to vote
PAMI
2007
15 years 6 months ago
2007
—Recent developments in statistical theory and associated computational techniques have opened new avenues for image modeling as well as for image segmentation techniques. Thus, ...
264
Voted
PROCEDIA
2011
14 years 10 months ago
2011
A new challenge in scientific computing is to merge existing simulation models to create new higher fidelity combined (often multi-level) models. While this challenge has been a...