Sciweavers

729 search results - page 15 / 146
» Communicating Evolving Algebras
Sort
View
JSC
2007
72views more  JSC 2007»
13 years 8 months ago
Linear syntax for communicating elementary mathematics
We consider computer aided assessment (CAA) of mathematics in which a student provides an answer in the form of a mathematical expression. A common approach is for CAA system impl...
Christopher J. Sangwin, P. Ramsden
SCP
2011
228views Communications» more  SCP 2011»
13 years 3 months ago
Dynamic consistency in process algebra: From Paradigm to ACP
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistent...
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
CUZA
2002
132views more  CUZA 2002»
13 years 8 months ago
A Process Algebra for Predictible Control Systems
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
Nicolae Marian
ACRI
2004
Springer
14 years 2 months ago
Evolving Transition Rules for Multi Dimensional Cellular Automata
Abstract. Genetic Algorithms have been used before to evolve transition rules for one dimensional Cellular Automata (CA) to solve e.g. the majority problem and investigate communic...
Ron Breukelaar, Thomas Bäck
ICARCV
2002
IEEE
185views Robotics» more  ICARCV 2002»
14 years 1 months ago
Evolving cooperative robotic behaviour using distributed genetic programming
Cooperative robotic systems provide design and implementation challenges that are not easy to solve. This paper describes a parallel implementation for evolving cooperative roboti...
Chris H. Messom, Matthew G. Walker