6020 search results - page 72 / 1204 » A New Approach to Model Counting |
116
Voted
TIME
2003
IEEE
15 years 9 months ago
2003
IEEE
In bitemporal databases, current facts and transaction states are modelled using a special value to represent the current time (such as a minimum or maximum timestamp or NULL). Pr...
125
click to vote
CVPR
2008
IEEE
15 years 10 months ago
2008
IEEE
A well-known theoretical result for motion estimation using the generalized camera model is that 17 corresponding image rays can be used to solve linearly for the motion of a gene...
134
click to vote
JCIT
2007
15 years 3 months ago
2007
Our fundamental objective is to tackle the problem faced in the field of information retrieval and classification in the current era of information overflow by proposing better an...
119
Voted
ICPR
2002
IEEE
16 years 4 months ago
2002
IEEE
al modelling studies the different abstraction methods of the real world. The conception and the execution of virtual worlds depend strongly of the type of conceptual models. Exis...
135
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we present a new approach to the problem of inverter elimination in domino logic synthesis. A small piece of static CMOS logic is introduced to the circuit to avoid...