2450 search results - page 23 / 490 » On Application of Structural Decomposition for Process Model... |
110
Voted
AFP
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. These notes discuss the simultaneous use of generalised fold operators and monads to structure functional programs. Generalised fold operators structure programs after th...
136
click to vote
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
117
click to vote
GD
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper we present an algorithm for drawing an undirected graph G which takes advantage of the structure of the modular decomposition tree of G. Specifically, our ...
113
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
ed Abstract Membrane systems are models of computation inspired by the structure and the function of biological cells. The model was introduced in 1998 by Gh. Paun and since then m...
118
click to vote
MCS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Classifier decision fusion has been shown to act in a manner analogous to the back-projection of Radon transformations when individual classifier feature sets are non o...