2905 search results - page 331 / 581 » Formal Memetic Algorithms |
147
Voted
TABLEAUX
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
139
Voted
ICML
1994
IEEE
15 years 7 months ago
1994
IEEE
In the Markov decision process (MDP) formalization of reinforcement learning, a single adaptive agent interacts with an environment defined by a probabilistic transition function....
118
click to vote
SIGMOD
1991
ACM
15 years 7 months ago
1991
ACM
The view-object model provides a formal basis for representing and manipulating object-based views on relational databases. In this paper, we present a scheme for handling update ...
129
click to vote
SPDP
1991
IEEE
15 years 7 months ago
1991
IEEE
This paper presents several techniques for adding fault-tolerance to distributed memory parallel computers. More formally, given a target graph with n nodes, we create a fault-tol...
130
Voted
ASM
2010
ASM
15 years 7 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...