1960 search results - page 22 / 392 » The Logic of Large Enough |
FOSSACS
2008
Springer
13 years 9 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
ESWS
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too com...
ISVC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The drive for greater detail in scientific computing and digital photography is creating demand for ultra-resolution images and visualizations. Such images are best view...
INFOCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—We characterize the fairness of decentralized medium access control protocols based on CSMA/CA, such as IEEE 802.11, in large multi-hop wireless networks. In particular, we show...
SEMWEB
2010
Springer
13 years 5 months ago
2010
Springer
As knowledge bases move into the landscape of larger ontologies and have terabytes of related data, we must work on optimizing the performance of our tools. We are easily tempted t...