920 search results - page 108 / 184 » Generating Satisfiable Problem Instances |
151
Voted
ICCV
2009
IEEE
15 years 11 days ago
2009
IEEE
Hybrid generative-discriminative techniques and, in particular, generative score-space classification methods have proven to be valuable approaches in tackling difficult object or...
140
Voted
IANDC
2008
15 years 2 months ago
2008
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
130
Voted
CGF
2006
15 years 2 months ago
2006
Spline curves are useful in a variety of geometric modeling and graphics applications and covering problems abound in practical settings. This work defines a class of covering dec...
115
Voted
AAAI
1992
15 years 3 months ago
1992
models require the identi cation of abstractions and approximations that are well suited to the task at hand. In this paper we analyze the problem of automatically selecting adequ...
112
Voted
CAD
2006
Springer
15 years 2 months ago
2006
Springer
Traditional mesh-based approaches to the modeling and analysis of physical fields within geometric models require some form of topological reconstruction and conversion in the mes...