384 search results - page 34 / 77 » On the Semantics of Markov Automata |
121
click to vote
ENTCS
2010
15 years 2 months ago
2010
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
106
click to vote
CORR
2000
Springer
15 years 1 months ago
2000
Springer
Attribute grammars (AGs) are a formal technique for defining semantics of programming languages. Existing complexity proofs on the circularity problem of AGs are based on automata...
118
click to vote
QEST
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
111
click to vote
CIKM
2007
Springer
15 years 8 months ago
2007
Springer
Dictionary-based approaches to query translation have been widely used in Cross-Language Information Retrieval (CLIR) experiments. Using these approaches, translation has been not...
115
click to vote
SPIESR
2004
15 years 3 months ago
2004
This paper presents an overview of our recent work on managing image and video data. The first half of the paper describes a representation for the semantic spatial layout of vide...