1960 search results - page 54 / 392 » The Logic of Large Enough |
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
We develop a widely applicable algorithm to solve the fault diagnosis problem in certain distributed-memory multiprocessor systems in which there are a limited number of faulty pr...
SIAMMA
2011
13 years 2 months ago
2011
We prove global in time existence of solutions of the Euler compressible equations for a Van der Waals gas when the density is small enough in Hm , for m large enough. To do so, w...
KR
2004
Springer
14 years 1 months ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
COMBINATORICS
2006
13 years 7 months ago
2006
We present a variation of James Propp's generalized domino shuffling, which provides an efficient way to obtain perfect matchings of weighted Aztec diamonds. Our modification...
SIGACT
2008
13 years 7 months ago
2008
Two long-open problems have been solved: (1) every sufficiently large planar point set in general position contains the vertices of an empty hexagon; (2) every finite collection o...