Sciweavers

3044 search results - page 156 / 609
» Linear logical approximations
Sort
View
ICML
2010
IEEE
13 years 11 months ago
Rectified Linear Units Improve Restricted Boltzmann Machines
Restricted Boltzmann machines were developed using binary stochastic hidden units. These can be generalized by replacing each binary unit by an infinite number of copies that all ...
Vinod Nair, Geoffrey E. Hinton
MCS
2007
Springer
13 years 10 months ago
SpectrUW: A laboratory for the numerical exploration of spectra of linear operators
Spectra of linear operators play an important role in various aspects of applied mathematics. For all but the simplest operators, the spectrum cannot be determined analytically an...
Bernard Deconinck, Firat Kiyak, John D. Carter, J....
ISCAS
2005
IEEE
122views Hardware» more  ISCAS 2005»
14 years 3 months ago
Linear and nonlinear macromodels for power/signal integrity
— In this paper, a systematic methodology for the assessment of Power/Signal Integrity effects in high-speed communication and information systems is presented. The proposed meth...
Stefano Grivet-Talocia, Igor S. Stievano, Ivan A. ...
CALCO
2009
Springer
150views Mathematics» more  CALCO 2009»
14 years 4 months ago
Approximating Labelled Markov Processes Again!
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...
Philippe Chaput, Vincent Danos, Prakash Panangaden...
GECCO
2009
Springer
112views Optimization» more  GECCO 2009»
14 years 4 months ago
Approximating geometric crossover in semantic space
We propose a crossover operator that works with genetic programming trees and is approximately geometric crossover in the semantic space. By defining semantic as program’s eval...
Krzysztof Krawiec, Pawel Lichocki