495 search results - page 79 / 99 » Automata and differentiable words |
IWSOS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper, we have investigated the feasibility of a selforganized evacuation process when compared with a centralized control. The evacuation strategy is based on ā...
ISMVL
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper the emotional model of the humanoid Cynthea (Cybernetic Networked Humanoid Emotional Agent) robot is presented. The robot is explained at two levels: the cognitive l...
FOSSACS
2007
Springer
14 years 2 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested āstack of stacksā structure. These systems may be us...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
We introduce VLADYMIR, a matrix library that permits the development of array-based code in C++. It is especially useful for numerical simulation tasks and parallelises automatical...
FSTTCS
2003
Springer
14 years 1 months ago
2003
Springer
We deļ¬ne a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, ā ā, that allows to model parallel composition while ke...