Sciweavers

747 search results - page 118 / 150
» Using and Combining Predictors That Specialize
Sort
View
CSL
2008
Springer
13 years 10 months ago
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
Ruzica Piskac, Viktor Kuncak
TIT
2008
68views more  TIT 2008»
13 years 8 months ago
Signaling Over Arbitrarily Permuted Parallel Channels
The problem of transmission of information over arbitrarily permuted parallel channels is studied here. The transmitter does not know over which channel a certain codesequence will...
Frans M. J. Willems, Alexei Gorokhov
AFP
2004
Springer
14 years 2 months ago
A Functional Shell That Operates on Typed and Compiled Applications
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...
Rinus Plasmeijer, Arjen van Weelden
BMCBI
2008
160views more  BMCBI 2008»
13 years 9 months ago
Cross-species and cross-platform gene expression studies with the Bioconductor-compliant R package 'annotationTools'
Background: The variety of DNA microarray formats and datasets presently available offers an unprecedented opportunity to perform insightful comparisons of heterogeneous data. Cro...
Alexandre Kuhn, Ruth Luthi-Carter, Mauro Delorenzi
TPDS
2010
93views more  TPDS 2010»
13 years 7 months ago
Self-Consistent MPI Performance Guidelines
Message passing using the Message Passing Interface (MPI) is at present the most widely adopted framework for programming parallel applications for distributed-memory and clustere...
Jesper Larsson Träff, William D. Gropp, Rajee...