41 search results - page 7 / 9 » Algorithms for weighted multi-tape automata |
IJCAI
1993
13 years 10 months ago
1993
: This paper presents a causal simulation method for incompletely known dynamic systems in process engineering. The causal model of a process is represented as both a causal networ...
LATA
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
IJFCS
2008
13 years 9 months ago
2008
We consider the equivalence problem for labeled Markov chains (LMCs), where each state is labeled with an observation. Two LMCs are equivalent if every finite sequence of observat...
GLVLSI
2005
IEEE
14 years 2 months ago
2005
IEEE
Quantum-dot Cellular Automata (QCA) is a novel computing mechanism that can represent binary information based on spatial distribution of electron charge configuration in chemica...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...