488 search results - page 55 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
109
click to vote
GECCO
2006
Springer
15 years 2 months ago
2006
Springer
This paper describes our study into the concept of using rewards in a classifier system applied to the acquisition of decision-making algorithms for agents in a soccer game. Our a...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
In order to prevent misunderstandings within groups of interacting agents, it is necessary to ensure that the agents' beliefs regarding the overall state of the interaction a...
TSE
2008
14 years 11 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
136
click to vote
MIR
2005
ACM
15 years 4 months ago
2005
ACM
We propose a new method for automated large scale gathering of Web images relevant to specified concepts. Our main goal is to build a knowledge base associated with as many conce...
104
click to vote
AAAI
2008
15 years 1 months ago
2008
Currently, the most effective complete SAT solvers are based on the DPLL algorithm augmented by clause learning. These solvers can handle many real-world problems from application...