6355 search results - page 204 / 1271 » From Logic to Games |
151
click to vote
AIIDE
2008
15 years 9 months ago
2008
Children do not learn the meanings of words from parsing and understanding gigabytes of text; instead meanings are learned from competent speakers who relate language to what'...
216
click to vote
HUC
2010
Springer
15 years 5 months ago
2010
Springer
We present Energy Life a system utilizing wireless sensors, mobile and ambient interfaces that turn energy consumers into active players. Energy Life participants play through dif...
208
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
144
click to vote
EJWCN
2010
15 years 1 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
186
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While re...