2062 search results - page 230 / 413 » Derivatives of Logical Formulas |
184
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Distributed and peer-to-peer storage systems are foreseen as an alternative to the traditional data centers and in-house backup solutions. In the past few years many peerto-peer st...
217
click to vote
TIT
2010
15 years 1 months ago
2010
We study cellular-like wireless networks in which the cells may overlap substantially, and a common channel is used for all cells. Thus, transmissions intended for one destination ...
193
click to vote
TITB
2010
15 years 1 months ago
2010
Katsevich reconstruction algorithm represents a breakthrough for helical cone-beam computed tomography (CT) reconstruction, because it is the first exact cone-beam reconstruction a...
181
click to vote
PODS
2007
ACM
16 years 6 months ago
2007
ACM
Bounded treewidth and Monadic Second Order (MSO) logic have proved to be key concepts in establishing fixed-parameter tractability results. Indeed, by Courcelle's Theorem we ...
209
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...