920 search results - page 108 / 184 » Generating Satisfiable Problem Instances |
130
Voted
ICCV
2009
IEEE
14 years 10 months 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...
130
Voted
IANDC
2008
15 years 23 days 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...
112
click to vote
CGF
2006
15 years 23 days 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...
93
Voted
AAAI
1992
15 years 1 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...
100
click to vote
CAD
2006
Springer
15 years 23 days 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...