11484 search results - page 638 / 2297 » Modeling in the Large and Modeling in the Small |
206
Voted
CAV
2006
Springer
15 years 11 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
258
click to vote
DICTA
2008
15 years 8 months ago
2008
This paper explores how to exploit shape information to perform object class recognition. We use a sparse partbased model to describe object categories defined by shape. The spars...
245
click to vote
NIPS
2004
15 years 8 months ago
2004
This paper presents an adaptive discriminative generative model that generalizes the conventional Fisher Linear Discriminant algorithm and renders a proper probabilistic interpret...
152
click to vote
UAI
2004
15 years 8 months ago
2004
The task of matching co-referent records is known among other names as record linkage. For large record-linkage problems, often there is little or no labeled data available, but u...
188
click to vote
WSC
2004
15 years 8 months ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...