2468 search results - page 470 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
145
click to vote
CAISE
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The purpose of this article is to propose a scalable, topologically and traffic-wise self-adapting approach to a publish/subscribe paradigm for supporting event-based app...
144
click to vote
AFRIGRAPH
2001
ACM
15 years 6 months ago
2001
ACM
If a moving image is more expressive than words or than a still image, then an animated facial expression can explain more in depth the feelings of a virtual character. Facial ani...
148
click to vote
DAGSTUHL
2007
15 years 4 months ago
2007
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...
142
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: The omics fields promise to revolutionize our understanding of biology and biomedicine. However, their potential is compromised by the challenge to analyze the huge da...
212
click to vote
GIS
2005
ACM
16 years 4 months ago
2005
ACM
Recent research literature on sensor network databases has focused on finding ways to perform in-network aggregation of sensor readings to reduce the message cost. However, with t...