Sciweavers

CIE
2008
Springer
13 years 4 months ago
No new wires
Chris Davison
CIE
2008
Springer
13 years 4 months ago
Designing new interfaces for digital interactive television usable by older adults
The adoption of digital television (DTV) could be particularly attractive for older people if appropriately designed. Despite this, when new services and applicat...
Mark Rice, Norman Alm
CIE
2008
Springer
13 years 4 months ago
A word from the editor
Newton Lee
CIE
2008
Springer
13 years 4 months ago
The role of semantics in games and simulations
Tim Tutenel, Rafael Bidarra, Ruben Michaël Sm...
CIE
2008
Springer
13 years 4 months ago
Toward an understanding of flow in video games
Ben Cowley, Darryl Charles, Michaela M. Black, Ray...
CIE
2008
Springer
13 years 4 months ago
First-Order Model Checking Problems Parameterized by the Model
We study the complexity of the model checking problem, for fixed models A, over certain fragments L of first-order logic, obtained by restricting which of the quantifiers and boole...
Barnaby Martin
CIE
2008
Springer
13 years 6 months ago
The Shrinking Property for NP and coNP
We study the shrinking and separation properties (two notions well-known in descriptive set theory) for NP and coNP and show that under reasonable complexity-theoretic assumptions...
Christian Glaßer, Christian Reitwießne...