6087 search results - page 1100 / 1218 » Knowledge discovery methods |
145
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
124
click to vote
AIME
2005
Springer
15 years 6 months ago
2005
Springer
In the objective of building care team guidelines from field observations, this paper introduces a representation method for describing the medical collaborative activities during ...
131
click to vote
MCS
2010
Springer
15 years 6 months ago
2010
Springer
In a multiple classifier system, dynamic selection (DS) has been used successfully to choose only the best subset of classifiers to recognize the test samples. Dos Santos et al...
158
click to vote
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
133
click to vote
DLOG
2004
15 years 5 months ago
2004
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...