801 search results - page 77 / 161 » A Knowledge-theoretic Approach to Distributed Problem Solvin... |
CONCUR
2000
Springer
14 years 2 days ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
We address the volumetric reconstruction problem that takes as input a series of orthographic multi-energy x-ray images, producing as output a reconstructed model space consisting...
WALCOM
2007
IEEE
13 years 9 months ago
2007
IEEE
In this paper, we consider the pattern matching problem in DNA and RNA sequences where either the pattern or the text can be degenerate i.e. contain sets of characters. We present ...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
—In a data center network, for example, it is quite often to use controllers to manage resources in a centralized manner. Centralized control, however, imposes a scalability prob...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
This work addresses the problem of deciding whether a set of realizations of a vector-valued time series with unknown temporal correlation are spatially correlated or not. Speciï¬...