8699 search results - page 8 / 1740 » Elements of the Theory of Computation |
DIGRA
2005
Springer
14 years 1 months ago
2005
Springer
Through the combined efforts of many dedicated researchers across the globe, the “message” of the value of games for learning is starting to be heard in formal education, but ...
STACS
2005
Springer
14 years 28 days ago
2005
Springer
In property testing, we are given oracle access to a function f, and we wish to test if the function satisfies a given property P, or it is ε-far from having that property. In a...
BCSHCI
2007
13 years 9 months ago
2007
This paper briefly shows how product designers as well as information system designers may use the habitat framework as a tool to inform their understanding of the pervasive compu...
MRCO
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. One of the cornerstones of any intelligent entity is the ability to understand how occurrences in the surrounding world influence its own behaviour. Different states, o...
CADE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...