Sciweavers

359 search results - page 11 / 72
» Towards Automated Game Design
Sort
View
CHI
2009
ACM
14 years 8 months ago
Towards intelligent authoring tools for machinima creation
As user-created content increasingly becomes an ever more prominent element of modern game design, tools have been developed to aide in the creative process for several forms of d...
Brian O'Neill, Mark O. Riedl, Michael Nitsche
EMSOFT
2010
Springer
13 years 4 months ago
Components, platforms and possibilities: towards generic automation for MDA
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Di...
TPHOL
1991
IEEE
13 years 11 months ago
First Steps Towards Automating Hardware Proofs in HOL
D ABSTRACT) Ramayya Kumar, Thomas Kropf, Klaus Schneider University of Karlsruhe,Institute of ComputerDesign and Fault Tolerance (Prof.Dr.D. Schmid) P.O. Box 6980, W-7500 Karlsruhe...
Ramayya Kumar, Thomas Kropf, Klaus Schneider
ACMDIS
2008
ACM
13 years 9 months ago
Towards guidelines for designing augmented toy environments
Combining interactive technology with traditional toys promises to significantly enhance the educational value of children's play. Designing such augmented toy environments, ...
Steve Hinske, Marc Langheinrich, Matthias Lampe
AAAI
2010
13 years 9 months ago
Facilitating the Evaluation of Automated Negotiators using Peer Designed Agents
Computer agents are increasingly deployed in settings in which they make decisions with people, such as electronic commerce, collaborative interfaces, and cognitive assistants. Ho...
Raz Lin, Sarit Kraus, Yinon Oshrat, Ya'akov (Kobi)...