Sciweavers

3322 search results - page 280 / 665
» Automatic Human Model Generation
Sort
View
FDG
2009
ACM
14 years 9 months ago
Toward a domain-independent framework to automate scaffolding of task-based learning in digital games
This poster describes a framework that automatically generates learning support scaffolds to guide task-based learning. The aim is to combine the exploratory learning principles p...
James M. Thomas, R. Michael Young
AIIDE
2007
15 years 1 months ago
Interactive Storytelling: A Player Modelling Approach
In recent years, the fields of Interactive Storytelling and Player Modelling have independently enjoyed increased interest in both academia and the computer games industry. The c...
David Thue, Vadim Bulitko, Marcia Spetch, Eric Was...
FMICS
2010
Springer
14 years 11 months ago
Correctness of Sensor Network Applications by Software Bounded Model Checking
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
Frank Werner, David Faragó
UML
2005
Springer
15 years 4 months ago
Simplifying Transformations of OCL Constraints
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transfor...
Martin Giese, Daniel Larsson
MODELS
2007
Springer
15 years 5 months ago
Relating Navigation and Request Routing Models in Web Applications
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
Minmin Han, Christine Hofmeister