1914 search results - page 169 / 383 » Abstract lambda-Calculus Machines |
MLMI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents a framework for corpus based multimodal research. Part of this framework is applied in the context of meeting modelling. A generic model for differen...
ROBOCUP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. An object recognition process in general is designed as a domain specific, highly specialized task. As the complexity of such a process tends to be rather inestimable, m...
SAMOS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this work we present CoDeL (Controller Description Language), a framework for rapidly prototyping policy specific controllers for routers in interconnection networks....
ASM
2003
ASM
14 years 1 months ago
2003
ASM
The question raised in [15] is answered how to naturally dely used forms of recursion by abstract machines. We show that turbo ASMs as defined in [7] allow one to faithfully refl...
CSR
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...