2899 search results - page 283 / 580 » Dynamic Trees in Practice |
161
click to vote
EWCBR
1994
Springer
15 years 10 months ago
1994
Springer
We propose in this paper a general framework for integrating inductive and case-based reasoning (CBR) techniques for diagnosis tasks. We present a set of practical integrated appro...
154
click to vote
ISSAC
1994
Springer
15 years 10 months ago
1994
Springer
New techniques, both theoretical and practical, are presented for constructing a permutation representation for a matrix group. We assume that the resulting permutation degree, n,...
168
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
224
click to vote
CKEC
1991
15 years 10 months ago
1991
We propose in this paper a general framework for integrating inductive and case-based reasoning techniques for diagnosis tasks. We present a set of practical integrated approaches...
173
click to vote
ACIIDS
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract. A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational mode...