4353 search results - page 123 / 871 » Expressiveness of Process Algebras |
103
Voted
EWCBR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we describe a CBR system for applying musically acceptable tempo transformations to monophonic audio recordings of musical performances. Within the tempo t...
141
click to vote
EACL
2006
ACL Anthology
15 years 5 months ago
2006
ACL Anthology
In this paper1 we introduce eXtensible MetaGrammar, a system that facilitates the development of tree based grammars. This system includes both (1) a formal language adapted to th...
139
click to vote
BPM
2005
Springer
15 years 6 months ago
2005
Springer
: We present a framework for augmenting business process specifications with policy expressions such as obligations, permissions and prohibitions. One use of such a combined model ...
134
click to vote
FORTE
1992
15 years 5 months ago
1992
A real-time extension of ccs is described, based on true concurrency semantics and a determination to make composition the sole arbiter of real-time behaviour. The resultant calcu...
140
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: Functional analysis of data from genome-scale experiments, such as microarrays, requires an extensive selection of differentially expressed genes. Under many condition...