Sciweavers

6756 search results - page 956 / 1352
» Distributed Shared State
Sort
View
LOGCOM
2010
87views more  LOGCOM 2010»
15 years 6 months ago
Exemplaric Expressivity of Modal Logics
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ï...
Bart Jacobs, Ana Sokolova
NOTERE
2010
15 years 6 months ago
The Design of a Real-Time Event Manager Component
Abstract—We review the issues with the conception of realtime event based applications and propose an event manager component design. We start from the design proposed by the Rea...
Damien Masson, Serge Midonnet
185
Voted
PVLDB
2010
119views more  PVLDB 2010»
15 years 6 months ago
An Architecture for Parallel Topic Models
This paper describes a high performance sampling architecture for inference of latent topic models on a cluster of workstations. Our system is faster than previous work by over an...
Alexander J. Smola, Shravan Narayanamurthy
BMVC
2010
15 years 5 months ago
Segmentation using Deformable Spatial Priors with Application to Clothing
We present a method for segmenting the parts of multiple instances of a known object category exhibiting large variations in projected shape and colour. The method builds on an ex...
Basela Hasan, David Hogg
PIMRC
2010
IEEE
15 years 5 months ago
Gaussian two-way relay channel with arbitrary inputs
A two-way relay channel with independent parallel Gaussian channels between the relay and the two terminals is considered. Focusing on the decode-and-forward protocol, the second p...
Deniz Gündüz, Miquel Payaró