3808 search results - page 482 / 762 » Artificial Intelligence: A Modern Approach |
183
click to vote
EVOW
2007
Springer
16 years 27 days ago
2007
Springer
The effective reverse engineering of biochemical networks is one of the great challenges of systems biology. The contribution of this paper is two-fold: 1) We introduce a new meth...
208
click to vote
TABLEAUX
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
183
click to vote
ICTAI
2006
IEEE
16 years 23 days ago
2006
IEEE
The discovery of objects with exceptional behavior is an important challenge from a knowledge discovery standpoint and has attracted much attention recently. In this paper, we pre...
171
click to vote
ICTAI
2006
IEEE
16 years 23 days ago
2006
IEEE
Bayesian networks (BNs) have been widely used as a model for knowledge representation and probabilistic inferences. However, the single probability representation of conditional d...
174
click to vote
ICTAI
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper proposes a novel data clustering algorithm, coined ‘cellular ants’, which combines principles of cellular automata and ant colony optimization algorithms to group s...