1870 search results - page 182 / 374 » Abstract And-Parallel Machines |
180
click to vote
ICTAC
2004
Springer
15 years 12 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...
175
click to vote
MLMI
2004
Springer
15 years 12 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...
203
click to vote
ROBOCUP
2004
Springer
15 years 11 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...
178
click to vote
SAMOS
2004
Springer
15 years 11 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....
176
click to vote
ASM
2003
ASM
15 years 11 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...