Sciweavers

3937 search results - page 211 / 788
» Questioning Ubiquitous Computing
Sort
View
STACS
2010
Springer
15 years 11 months ago
On Optimal Heuristic Randomized Semidecision Procedures, with Application to Proof Complexity
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj´ıˇcek and P...
Edward A. Hirsch, Dmitry Itsykson
DIGRA
2005
Springer
15 years 9 months ago
Build It to Understand It: Ludology Meets Narratology in Game Design Space
Building experimental games offers an alternative methodology for researching and understanding games, beyond what can be understood by playing and studying existing games alone. ...
Michael Mateas, Andrew Stern
DIGRA
2005
Springer
15 years 9 months ago
Towards an Ontological Language for Game Analysis
The Game Ontology Project (GOP) is creating a framework for describing, analyzing and games, by defining a hierarchy of concepts abstracted from an analysis of many specific games...
José Pablo Zagal, Michael Mateas, Clara Fer...
DIS
2000
Springer
15 years 8 months ago
Combination Retrieval for Creating Knowledge from Sparse Document Collection
With the variety of human life, people are interested in various matters for each one’s unique reason, for which a machine maybe a better counselor than a human. This paper prop...
Naohiro Matsumura, Yukio Ohsawa
ACSE
1996
ACM
15 years 8 months ago
Collaborative hypermedia education with the VIENA classroom system
VIENA Classroom is a collaborative hypermedia education system which is a component of the Virtual Interactive Environment for Workgroups (VIEW), a collaborative environment based...
Werner Winiwarter, Osami Kagawa, Shin'ichi Konomi,...