1133 search results - page 45 / 227 » Local Logics for Traces |
112
Voted
NIPS
2001
15 years 2 months ago
2001
The popular K-means clustering partitions a data set by minimizing a sum-of-squares cost function. A coordinate descend method is then used to nd local minima. In this paper we sh...
136
Voted
LPNMR
2001
Springer
15 years 5 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...
115
click to vote
CCS
2006
ACM
15 years 4 months ago
2006
ACM
Attack graphs are important tools for analyzing security vulnerabilities in enterprise networks. Previous work on attack graphs has not provided an account of the scalability of t...
118
Voted
NIPS
2004
15 years 2 months ago
2004
Multiple realizations of continuous-valued time series from a stochastic process often contain systematic variations in rate and amplitude. To leverage the information contained i...
100
click to vote
HASE
2008
IEEE
15 years 7 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....