Sciweavers

8810 search results - page 463 / 1762
» Openness
Sort
View
LOGCOM
2006
58views more  LOGCOM 2006»
15 years 6 months ago
Proof Theory for Casari's Comparative Logics
Comparative logics were introduced by Casari in the 1980s to treat aspects of comparative reasoning occurring in natural language. In this paper Gentzen systems are defined for the...
George Metcalfe
NECO
2008
146views more  NECO 2008»
15 years 6 months ago
Deep, Narrow Sigmoid Belief Networks Are Universal Approximators
In this paper we show that exponentially deep belief networks [3, 7, 4] can approximate any distribution over binary vectors to arbitrary accuracy, even when the width of each lay...
Ilya Sutskever, Geoffrey E. Hinton
SIAMDM
2008
140views more  SIAMDM 2008»
15 years 6 months ago
Bounds for the Real Number Graph Labellings and Application to Labellings of the Triangular Lattice
We establish new lower and upper bounds for the real number graph labelling problem. As an application, we completely determine the optimum spans of L(p, q)-labellings of the infin...
Daniel Král, Petr Skoda
RSA
2006
71views more  RSA 2006»
15 years 6 months ago
Some conditional correlation inequalities for percolation and related processes
: Consider ordinary bond percolation on a finite or countably infinite graph. Let s, t, a, and b be vertices. An earlier paper (J. Van den Berg and J. Kahn, Ann Probab 29 (2001), 1...
Jacob van den Berg, Olle Häggström, Jeff...
SP
2008
IEEE
138views Security Privacy» more  SP 2008»
15 years 6 months ago
A performance tuning methodology with compiler support
We have developed an environment, based upon robust, existing, open source software, for tuning applications written using MPI, OpenMP or both. The goal of this effort, which inte...
Oscar Hernandez, Barbara M. Chapman, Haoqiang Jin