10092 search results - page 268 / 2019 » Active conditional models |
185
click to vote
ENTCS
2007
15 years 6 months ago
2007
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...
184
click to vote
OTM
2010
Springer
15 years 4 months ago
2010
Springer
Business process management and systems have been proven mature and highly beneficial in many domains. Recent surveys by leading market analysts say that the next challenge for BPM...
140
click to vote
STOC
2005
ACM
16 years 7 months ago
2005
ACM
In this paper, we study the problem of learning phylogenies and hidden Markov models. We call the Markov model nonsingular if all transtion matrices have determinants bounded away...
189
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper, some fundamental aspects of the semantics of rule-based systems are sketched and related to the semantics of visual models. A rule-based system comprises a set of r...
156
click to vote
APAL
2008
15 years 6 months ago
2008
Building on previous work by Coquand and Spiwack [8] we construct a strict domaintheoretic model for the untyped -calculus with pattern matching and term rewriting which has the p...