15 search results - page 3 / 3 » Playing Hybrid Games with KeYmaera |
HICSS
2007
IEEE
13 years 12 months ago
2007
IEEE
Sensor networks are expected to play an important role in hybrid protection infrastructures when combined with robots and human decision makers. In order to be effective, detectio...
JOLLI
2008
13 years 5 months ago
2008
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
CEC
2010
IEEE
13 years 5 months ago
2010
IEEE
—In this paper we apply Coevolutionary Temporal Difference Learning (CTDL), a hybrid of coevolutionary search and reinforcement learning proposed in our former study, to evolve s...
NIPS
2007
13 years 7 months ago
2007
Current computational models of bottom-up and top-down components of attention are predictive of eye movements across a range of stimuli and of simple, fixed visual tasks (such a...
CEC
2005
IEEE
13 years 11 months ago
2005
IEEE
An Internet Java Applet http://www.cs.essex.ac.uk/staff/poli/ SoloPong/ allows users anywhere to play the Solo Pong game. We compare people’s performance to a hand coded “Optim...