Sciweavers

2588 search results - page 145 / 518
» Engineering Systems Which Generate Emergent Functionalities
Sort
View
AMDO
2006
Springer
15 years 8 months ago
Agents with Personality for Videogames
This paper describes the design and implementation of a module of emotions and personality for synthetic actors. Here are presented the results of previous researches, which were t...
Diana Arellano Távara, Andreas Meier
KBSE
2000
IEEE
15 years 8 months ago
Simultaneous Checking of Completeness and Ground Confluence
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
Adel Bouhoula
ICALT
2003
IEEE
15 years 9 months ago
Educational Robotics in a Systems Design Masters Program
This paper presents the concepts of our MoRob (Modular Educational Robotic Toolbox) project, which aims to provide a robot platform for university teaching and research. Character...
Uwe Gerecke, Patrick Hohmann, Bernardo Wagner
ICCE
2007
114views Education» more  ICCE 2007»
15 years 5 months ago
Investigating the Reuse of Course Generation Knowledge
: Course generation knowledge, i.e., how to assemble a sequence of learning objects which is adapted to a learner’s goals, competencies and preferences, is hard to assess and exp...
Carsten Ullrich, Qinghua Chen, Sushing Chen, Lipin...
JLP
2006
138views more  JLP 2006»
15 years 4 months ago
Algebraic-coalgebraic specification in CoCasl
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
Till Mossakowski, Lutz Schröder, Markus Rogge...