6020 search results - page 687 / 1204 » A New Approach to Model Counting |
218
click to vote
ECCV
2010
Springer
16 years 25 days ago
2010
Springer
Abstract. Markov and Conditional random fields (CRFs) used in computer vision typically model only local interactions between variables, as this is computationally tractable. In t...
208
click to vote
SMA
2003
ACM
16 years 22 days ago
2003
ACM
The presented approach to discretization of functionally defined heterogeneous objects is oriented towards applications associated with numerical simulation procedures, for exampl...
229
click to vote
FM
2003
Springer
16 years 21 days ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
209
click to vote
ECCV
2010
Springer
16 years 16 days ago
2010
Springer
Abstract. In this paper we propose a probabilistic framework that models shape variations and infers dense and detailed 3D shapes from a single silhouette. We model two types of sh...
234
click to vote
PQCRYPTO
2010
15 years 11 months ago
2010
Abstract. We propose a variant of the “bonsai tree” signature scheme, a latticebased existentially unforgeable signature scheme in the standard model. Our construction offers ...