1870 search results - page 182 / 374 » Abstract And-Parallel Machines |
ICTAC
2004
Springer
15 years 4 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
MLMI
2004
Springer
15 years 4 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
15 years 4 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
15 years 4 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
15 years 3 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...