Sciweavers

2621 search results - page 231 / 525
» Generalized Algorithms for Constructing Statistical Language...
Sort
View
145
Voted
LICS
2006
IEEE
15 years 8 months ago
PSPACE Bounds for Rank-1 Modal Logics
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
Lutz Schröder, Dirk Pattinson
111
Voted
ICC
2007
IEEE
155views Communications» more  ICC 2007»
15 years 9 months ago
Automatic Digital Signal Types Recognition Using SI-NN and HOS
— Recognition of digital signal type is an important topic for various applications. In this paper a method is presented that identifies different types of digital signals. This ...
Ataollah Ebrahimzadeh, Mehrdad Ardebilipour, Alire...
ICFP
2002
ACM
16 years 2 months ago
Composing monads using coproducts
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
Christoph Lüth, Neil Ghani
143
Voted
JMLR
2012
13 years 5 months ago
Krylov Subspace Descent for Deep Learning
In this paper, we propose a second order optimization method to learn models where both the dimensionality of the parameter space and the number of training samples is high. In ou...
Oriol Vinyals, Daniel Povey
104
Voted
SPAA
1990
ACM
15 years 6 months ago
Wait-Free Data Structures in the Asynchronous PRAM Model
A wad-free implementation of a data object in shared memory is one that guarantees that any process can complete any operation in a finite number of steps, regardless of the execu...
James Aspnes, Maurice Herlihy