1870 search results - page 183 / 374 » Abstract And-Parallel Machines |
156
click to vote
CSR
2010
Springer
15 years 11 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 ...
169
click to vote
AC
2000
Springer
15 years 10 months ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
147
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. A conceptual framework, whose goal is the improvement of efficiency of machine learning, is presented. The framework is designed in a broader context of problem solver (P...
120
click to vote
DATE
1998
IEEE
15 years 10 months ago
1998
IEEE
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
150
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
A language for defining design discipline characteristics is proesign discipline characteristics such as abstraction levels, design object classifications and decompositions, desi...