2450 search results - page 42 / 490 » On Application of Structural Decomposition for Process Model... |
185
click to vote
ECCV
2000
Springer
16 years 7 months ago
2000
Springer
Abstract. For grey-value images, it is well accepted that the neighborhood rather than the pixel carries the geometrical interpretation. Interestingly the spatial configuration of ...
146
click to vote
SC
1995
ACM
15 years 9 months ago
1995
ACM
We evaluate the impact of a gigabit network on the implementation of a distributed chemical process optimization application. The optimization problem is formulated as a stochasti...
149
Voted
APLAS
2010
ACM
15 years 5 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
140
click to vote
ICANN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Classification of structured data (i.e., data that are represented as graphs) is a topic of interest in the machine learning community. This paper presents a different,...
133
click to vote
ENTCS
2007
15 years 5 months ago
2007
In this paper, we discuss a structural approach to automatic performance modelling of skeleton based applications. This uses a synthesis of performance evaluation process algebra ...