Sciweavers

4353 search results - page 118 / 871
» Expressiveness of Process Algebras
Sort
View
CORR
2006
Springer
125views Education» more  CORR 2006»
15 years 5 months ago
10^(10^6) Worlds and Beyond: Efficient Representation and Processing of Incomplete Information
We present a decomposition-based approach to managing probabilistic information. We introduce world-set decompositions (WSDs), a space-efficient and complete representation system ...
Lyublena Antova, Christoph Koch, Dan Olteanu
ACS
2011
15 years 17 days ago
The Compositional Construction of Markov Processes
We describe an algebra for composing automata in which the actions have probabilities. We illustrate by showing how to calculate the probability of reaching deadlock in k steps in...
Luisa de Francesco Albasini, Nicoletta Sabadini, R...
AMAST
2000
Springer
15 years 10 months ago
The Algebra of Multi-tasking
Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via ex...
Colin J. Fidge
ICASSP
2011
IEEE
14 years 9 months ago
Generating avatar's facial expressions from emotional states in daily conversation
A framework for generating facial expressions from emotional states in daily conversation is described. The framework allows avatars to express the speaker’s state not just prot...
Hiroki Mori, Ko Oshima, Makoto Nakamura
ICMLA
2008
15 years 7 months ago
Multi-stage Learning of Linear Algebra Algorithms
In evolving applications, there is a need for the dynamic selection of algorithms or algorithm parameters. Such selection is hardly ever governed by exact theory, so intelligent r...
Victor Eijkhout, Erika Fuentes