6020 search results - page 255 / 1204 » A New Approach to Model Counting |
140
click to vote
MR
2006
15 years 6 months ago
2006
The intrinsic failure mechanisms and reliability models of state-of-the-art MOSFETs are reviewed. The simulation tools and failure equivalent circuits are described. The review in...
131
click to vote
ACS
2005
15 years 6 months ago
2005
We prove that the category of flows cannot be the underlying category of a model category whose corresponding homotopy types are the flows up to weak dihomotopy. Some hints are giv...
162
click to vote
BILDMED
2009
15 years 7 months ago
2009
Abstract. We introduce a new approach for tracking-based segmentation of 3D tubular structures. The approach is based on a novel combination of a 3D cylindrical intensity model and...
239
Voted
SIGGRAPH
1999
ACM
15 years 10 months ago
1999
ACM
In this paper, a new technique for modeling textured 3D faces is introduced. 3D faces can either be generated automatically from one or more photographs, or modeled directly throu...
183
Voted
CIKM
1993
Springer
15 years 10 months ago
1993
Springer
We present a new interface for Object-Oriented Database Management Systems (OODBMSs). The GOODIES1 system combines and expands the functions of many existing interface systems, in...