777 search results - page 13 / 156 » The Refined Process Structure Tree |
POPL
2000
ACM
15 years 3 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
ICIP
1994
IEEE
16 years 1 months ago
1994
IEEE
ABSTRACT the pyramid. Recently, a number of promising quanMultiresolution imagedecompositions (e. g., wavelets), in conjunction with a variety of quantization schemes, have been sh...
ZEUS
2010
15 years 1 months ago
2010
Enterprise-wide process harmonisation initiatives require the analysis of commonalities of existing business process models. That is, correspondences between activities are identif...
ICCS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Many knowledge representation mechanisms consist of linkbased structures; they may be studied formally by means of unordered trees. Here we consider the case where labels...
IJCAI
2003
15 years 1 months ago
2003
Refinement operators for theories avoid the problems related to the myopia of many relational learning algorithms based on the operators that refine single clauses. However, the n...