Sciweavers

5879 search results - page 43 / 1176
» Separation - Past, Present, and Future
Sort
View
ICA
2004
Springer
15 years 5 months ago
Source Separation on Astrophysical Data Sets from the WMAP Satellite
This paper presents and discusses the application of blind source separation to astrophysical data obtained with the WMAP satellite.
Guillaume Patanchon, Jacques Delabrouille, Jean-Fr...
ITP
2010
161views Mathematics» more  ITP 2010»
15 years 3 months ago
Separation Logic Adapted for Proofs by Rewriting
We present a formalisation of separation logic which, by avoiding the use of existential quantifiers, allows proofs that only use standard equational rewriting methods as found in...
Magnus O. Myreen
ACL
1998
15 years 1 months ago
Part of Speech Tagging Using a Network of Linear Separators
We present an architecture and an on-line learning algorithm and apply it to the problem of part-ofspeech tagging. The architecture presented, SNOW, is a network of linear separat...
Dan Roth, Dmitry Zelenko
IJBC
2007
39views more  IJBC 2007»
14 years 11 months ago
Optimal CNN Templates for Linearly-Separable One-Dimensional Cellular Automata
In this tutorial, we present optimal Cellular Nonlinear Network (CNN) templates for implementing linearly-separable one-dimensional (1-D) Cellular Automata (CA). From the gallery ...
P. J. Chang, Bharathwaj Muthuswamy
CORR
2010
Springer
77views Education» more  CORR 2010»
14 years 10 months ago
LinBox founding scope allocation, parallel building blocks, and separate compilation
To maximize efficiency in time and space, allocations and deallocations, in the exact linear algebra library LinBox, must always occur in the founding scope. This provides a simpl...
Jean-Guillaume Dumas, Thierry Gautier, Clém...