7623 search results - page 1164 / 1525 » Algorithmic Features of Eclat |
207
click to vote
ATAL
2009
Springer
16 years 7 days ago
2009
Springer
Our work presents a mechanism designed for the selection of the optimal information provider in a multi-agent, heterogeneous and unsupervised monitoring system. The selfadaptation...
216
click to vote
CONCUR
2001
Springer
16 years 2 days ago
2001
Springer
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
178
click to vote
ESOP
2001
Springer
16 years 2 days ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
208
click to vote
SIGGRAPH
2010
ACM
16 years 2 days ago
2010
ACM
We present a method for inferring the behavior styles of character controllers from a small set of examples. We show that a rich set of behavior variations can be captured by dete...
194
click to vote
ICSE
2001
IEEE-ACM
16 years 1 days ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...