2038 search results - page 296 / 408 » Probabilistic Agent Programs |
80
Voted
CIMCA
2005
IEEE
15 years 8 months ago
2005
IEEE
We present an approach used in CSDTA (Canonical Sequence Directed Tactics Analyzer) that uses canonical sequences (Joseki) in hoping to improve computer Go programs. We collect 12...
133
click to vote
ISMIS
1994
Springer
15 years 6 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
128
Voted
CORR
2004
Springer
15 years 2 months ago
2004
Springer
We describe a scheme for moving living code between a set of distributed processes coordinated with unification based Linda operations, and its application to building a comprehen...
143
Voted
CSMR
2004
IEEE
15 years 6 months ago
2004
IEEE
Combining static and dynamic information is highly relevant in many reverse engineering, program comprehension and maintenance task. Dynamic analysis is particularly effective whe...
132
Voted
CPAIOR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...