Sciweavers

307 search results - page 22 / 62
» Causality and the Semantics of Provenance
Sort
View
40
Voted
CORR
2007
Springer
51views Education» more  CORR 2007»
15 years 13 days ago
Projection semantics for rigid loops
A rigid loop is a for-loop with a counter not accessible to the loop body or any other part of a program. Special instructions for rigid loops are introduced on top of the syntax ...
Jan A. Bergstra, Alban Ponse
100
Voted
AO
2007
144views more  AO 2007»
15 years 17 days ago
Social acquisition of ontologies from communication processes
This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction o...
Matthias Nickles
93
Voted
MEMOCODE
2003
IEEE
15 years 5 months ago
Optimizations for Faster Execution of Esterel Programs
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
Dumitru Potop-Butucaru, Robert de Simone
126
Voted
NIPS
2004
15 years 1 months ago
Exponential Family Harmoniums with an Application to Information Retrieval
Directed graphical models with one layer of observed random variables and one or more layers of hidden random variables have been the dominant modelling paradigm in many research ...
Max Welling, Michal Rosen-Zvi, Geoffrey E. Hinton
ICML
2004
IEEE
16 years 1 months ago
The multiple multiplicative factor model for collaborative filtering
We describe a class of causal, discrete latent variable models called Multiple Multiplicative Factor models (MMFs). A data vector is represented in the latent space as a vector of...
Benjamin M. Marlin, Richard S. Zemel