105 search results - page 13 / 21 » An Invariance Principle For Polytopes |
TPHOL
2008
IEEE
15 years 4 months ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
DAGM
2004
Springer
15 years 3 months ago
2004
Springer
We present an approach to discretizing multivariate continuous data while learning the structure of a graphical model. We derive the joint scoring function from the principle of p...
ECOOP
2010
Springer
15 years 2 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
ICDM
2007
IEEE
15 years 1 months ago
2007
IEEE
This paper addresses the task of change analysis of correlated multi-sensor systems. The goal of change analysis is to compute the anomaly score of each sensor when we know that t...
LREC
2010
14 years 11 months ago
2010
In this paper, we present several ways to measure and evaluate the annotation and annotators, proposed and used during the building of the Czech part of the Prague Czech-English D...