1669 search results - page 133 / 334 » Structured Specification of Model Interpreters |
117
Voted
STOC
2001
ACM
16 years 3 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...
130
click to vote
ICDCSW
2005
IEEE
15 years 9 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...
99
Voted
ECAI
2008
Springer
15 years 5 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...
115
Voted
CORR
2010
Springer
15 years 3 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...
222
Voted
ICCV
2009
IEEE
16 years 8 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...