1024 search results - page 36 / 205 » Compositional Methods for Probabilistic Systems |
106
click to vote
SIGIR
1998
ACM
15 years 5 months ago
1998
ACM
We describe the design and implementation of a system for logic-based multimedia retrieval. As highlevel logic for retrieval of hypermedia documents, we have developed a probabilis...
130
click to vote
FM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
ISCAS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Most of the existing MIMO-OFDM channel estimation methods do not take into account the effect of the pulseshaping filter in the transmitter nor of the matched filter ...
125
click to vote
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
DC
2007
15 years 1 months ago
2007
We present a randomizedself-stabilizing leaderelection protocol and a randomizedself-stabilizing token circulation protocol under an arbitrary scheduler on anonymous and unidirect...