6020 search results - page 1125 / 1204 » A New Approach to Model Counting |
300
click to vote
DIMACS
1996
15 years 5 months ago
1996
in Structure'95. 14] R. Fagin. Easier ways to win logical games. In Proc. DIMACS Workshop on Descriptive Complexity and Finite Models, AMS 1997. 15] R. Fagin, L. Stockmeyer, M...
172
click to vote
WECWIS
2003
IEEE
15 years 9 months ago
2003
IEEE
The huge success of eBay has proven the demand for customer-to-customer (C2C) electronic commerce. eBay is a centralized infrastructure with all its scalability problems (network ...
156
Voted
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
3D object design has many applications including flexible 3D sketch input in CAD, computer game, webpage content design, image based object modeling, and 3D object retrieval. Most...
142
click to vote
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
We present a novel method for inferring three-dimensional shape from a collection of defocused images. It is based on the observation that defocused images are the null-space of ce...
153
click to vote
VIS
2004
IEEE
16 years 5 months ago
2004
IEEE
Vortex breakdowns and flow recirculation are essential phenomena in aeronautics where they appear as a limiting factor in the design of modern aircrafts. Because of the inherent i...