682 search results - page 90 / 137 » Game Development Using Design-by-Contract |
ASSETS
1998
ACM
14 years 2 months ago
1998
ACM
We describe the speech-enabling approach to building auditory interfaces that treat speech as a first-class modality. The process of designing effective auditory interfaces is de...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
EVOW
2006
Springer
14 years 1 months ago
2006
Springer
In this paper we propose the use of an interactive multi-agent system for the study of rhythm evolution. The aim of the model proposed here is to show to what extent new rhythms em...
CANDC
2005
ACM
13 years 12 months ago
2005
ACM
Constructed Narratives is a tangible social interface designed for use in public spaces where people have the opportunity to encounter the game and subsequently learn about each o...
AAAI
2010
13 years 11 months ago
2010
Bayesian inference is an appealing approach for leveraging prior knowledge in reinforcement learning (RL). In this paper we describe an algorithm for discovering different classes...