11017 search results - page 78 / 2204 » Closure Systems and their Structure |
DBISP2P
2005
Springer
14 years 1 months ago
2005
Springer
Structured peer-to-peer systems rely on replication as a basic means to provide fault-tolerance in presence of high churn. Most select replicas using either multiple hash functions...
RC
2007
13 years 7 months ago
2007
Linear systems whose coefficients have large uncertainties arise routinely in finite element calculations for structures with uncertain geometry, material properties, or loads. Ho...
ICIP
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we deal with the inpainting problem and with the problem of finding text in images. We first review many of the methods used for structure and texture inpaintings....
CAV
2003
Springer
14 years 1 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
COLING
1992
13 years 9 months ago
1992
A small fragment of the Systemic Functional Grammar of the PENMANsystem is reformulated in the Typed Feature Structure language. Through this reformulation wc gain full reversibil...