Sciweavers

191 search results - page 35 / 39
» Strategy exploration in empirical games
Sort
View
LICS
2009
IEEE
14 years 3 months ago
Ludics with Repetitions (Exponentials, Interactive Types and Completeness)
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
Michele Basaldella, Claudia Faggian
WWW
2004
ACM
14 years 9 months ago
Integrating learning objects into an open learning environment: evaluation of learning processes in an informatics learning lab
The Didactics of Informatics research group at the University of Paderborn is involved in efforts to design implement and evaluate a web-based learning laboratory for informatics ...
Johannes Magenheim, Olaf Scheel
CHI
2005
ACM
14 years 9 months ago
Evaluation of multimodal input for entering mathematical equations on the computer
Current standard interfaces for entering mathematical equations on computers are arguably limited and cumbersome. Mathematics notations have evolved to aid visual thinking and yet...
Lisa Anthony, Jie Yang, Kenneth R. Koedinger
CHI
2004
ACM
14 years 9 months ago
Impact of interruption style on end-user debugging
Although researchers have begun to explicitly support enduser programmers' debugging by providing information to help them find bugs, there is little research addressing the ...
T. J. Robertson, Shrinu Prabhakararao, Margaret M....
SIGMOD
2005
ACM
154views Database» more  SIGMOD 2005»
14 years 9 months ago
SHIFT-SPLIT: I/O Efficient Maintenance of Wavelet-Transformed Multidimensional Data
The Discrete Wavelet Transform is a proven tool for a wide range of database applications. However, despite broad acceptance, some of its properties have not been fully explored a...
Mehrdad Jahangiri, Dimitris Sacharidis, Cyrus Shah...