1669 search results - page 133 / 334 » Structured Specification of Model Interpreters |
155
click to vote
STOC
2001
ACM
16 years 6 months ago
2001
ACM
: We analyze a randomized pivoting process involving one line and n points in the plane. The process models the behavior of the RANDOM-EDGE simplex algorithm on simple polytopes wi...
167
click to vote
ICDCSW
2005
IEEE
15 years 12 months ago
2005
IEEE
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...
144
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
In the propositional setting, a well-studied family of merging operators are distance-based ones: the models of the merged base are the closest interpretations to the given profile...
143
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In Bayesian machine learning, conjugate priors are popular, mostly due to mathematical convenience. In this paper, we show that there are deeper reasons for choosing a conjugate pr...
298
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
We present a novel approach for detecting global behaviour
anomalies in multiple disjoint cameras by learning
time delayed dependencies between activities cross camera
views. Sp...