Sciweavers

2767 search results - page 440 / 554
» Knowledge Relativity
Sort
View
CORR
2010
Springer
180views Education» more  CORR 2010»
13 years 8 months ago
A Meta-Programming Approach to Realizing Dependently Typed Logic Programming
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
Zachary Snow, David Baelde, Gopalan Nadathur
CORR
2008
Springer
104views Education» more  CORR 2008»
13 years 8 months ago
A Variational Inference Framework for Soft-In-Soft-Out Detection in Multiple Access Channels
We propose a unified framework for deriving and studying soft-in soft-out (SISO) detection in multiple-access channels using the concept of variational inference. The proposed fram...
Darryl Dexu Lin, Teng Joon Lim
CORR
2006
Springer
67views Education» more  CORR 2006»
13 years 7 months ago
Reuse of designs: Desperately seeking an interdisciplinary cognitive approach
This text analyses the papers accepted for the workshop "Reuse of designs: an interdisciplinary cognitive approach" (Visser, 1993). Several dimensions and questions consi...
Willemien Visser, Brigitte Trousse
DAM
2006
132views more  DAM 2006»
13 years 7 months ago
On the combinatorial structure of chromatic scheduling polytopes
Chromatic scheduling polytopes arise as solution sets of the bandwidth allocation problem in certain radio access networks, supplyingwirelessaccesstovoice/datacommunicationnetwork...
Javier Marenco, Annegret Wagler
IJHIS
2008
84views more  IJHIS 2008»
13 years 7 months ago
Selective generation of training examples in active meta-learning
Meta-Learning has been successfully applied to acquire knowledge used to support the selection of learning algorithms. Each training example in Meta-Learning (i.e. each meta-exampl...
Ricardo Bastos Cavalcante Prudêncio, Teresa ...