Sciweavers

125 search results - page 6 / 25
» How Videogames Express Ideas
Sort
View
CORR
2010
Springer
84views Education» more  CORR 2010»
13 years 5 months ago
Termination Casts: A Flexible Approach to Termination with General Recursion
This paper proposes a type-and-effect system called Teq, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambd...
Aaron Stump, Vilhelm Sjöberg, Stephanie Weiri...
APLAS
2004
ACM
14 years 1 months ago
A Functional Language for Logarithmic Space
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however eï...
Peter Møller Neergaard
PUC
2002
135views more  PUC 2002»
13 years 7 months ago
SenToy in FantasyA: Designing an Affective Sympathetic Interface to a Computer Game
We describe the design process of an affective control toy, named SenToy, used to control a synthetic character in a computer game. SenToy allows players1 to influence the emotion...
Ana Paiva, Gerd Andersson, Kristina Höök...
FMCAD
2000
Springer
13 years 11 months ago
Visualizing System Factorizations with Behavior Tables
Abstract. Behavior tables are a design formalization intended to support interactive design derivation for hardware and embedded systems. It is a reformulation of the DDD transform...
Alex Tsow, Steven D. Johnson
ECTEL
2010
Springer
13 years 8 months ago
Towards an Ergonomics of Knowledge Systems: Improving the Design of Technology Enhanced Learning
As Technology Enhanced Learning (TEL) systems become more essential to education there is an increasing need for their creators to reduce risk and to design for success. We argue t...
David E. Millard, Yvonne Margaret Howard