Sciweavers

2588 search results - page 145 / 518
» Engineering Systems Which Generate Emergent Functionalities
Sort
View
AMDO
2006
Springer
15 years 10 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 10 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 11 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 7 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 6 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...