Sciweavers

11328 search results - page 115 / 2266
» Timed Branching Processes
Sort
View
DKE
2008
88views more  DKE 2008»
15 years 3 months ago
Quantifying process equivalence based on observed behavior
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service matc...
Ana Karla Alves de Medeiros, Wil M. P. van der Aal...
115
Voted
FSEN
2009
Springer
15 years 10 months ago
Equational Reasoning on Ad Hoc Networks
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
FOAL
2007
ACM
15 years 7 months ago
Aspects and modular reasoning in nonmonotonic logic
Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic l...
Klaus Ostermann
CAD
2008
Springer
15 years 3 months ago
Dual evolution of planar parametric spline curves and T-spline level sets
By simultaneously considering evolution processes for parametric spline curves and implicitly defined curves, we formulate the framework of dual evolution. This allows us to combin...
Robert Feichtinger, Matthias Fuchs, Bert Jütt...
ICASSP
2009
IEEE
15 years 1 months ago
Comparison of convex combination and affine combination of adaptive filters
In the area of combination of adaptive filters, two main approaches, namely convex and affine combinations have been introduced. In this article, the relation between these two ap...
Alper T. Erdogan, Suleyman Serdar Kozat, Andrew C....