2296 search results - page 11 / 460 » The Expressive Power of Synchronizations |
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
JVCA
2006
14 years 11 months ago
2006
This work proposes a real-time virtual human multimodal expression model. Five modalities explore the affordances of the body: deterministic, non-deterministic, gesticulation, faci...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
This paper is concerned with decentralized estimation of a Gaussian source using multiple sensors. We consider a diversity scheme where only the sensor with the best channel sends...
100
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: The detection of small yet statistically significant differences in gene expression in spotted DNA microarray studies is an ongoing challenge. Meeting this challenge r...
ICTAC
2007
Springer
15 years 5 months ago
2007
Springer
LTL cannot express the whole class of ω-regular languages and several extensions have been proposed. Among them, Quantified propositional Linear Temporal Logic (QLTL), proposed b...