Sciweavers

2098 search results - page 6 / 420
» The Persistent Abstract Machine
Sort
View
FAC
2000
76views more  FAC 2000»
14 years 10 months ago
Natural Semantics-Directed Generation of Compilers and Abstract Machines
s and Abstract Machines Stephan Diehl Universit
Stephan Diehl
ICML
2009
IEEE
15 years 4 months ago
Using fast weights to improve persistent contrastive divergence
The most commonly used learning algorithm for restricted Boltzmann machines is contrastive divergence which starts a Markov chain at a data point and runs the chain for only a few...
Tijmen Tieleman, Geoffrey E. Hinton
POPL
2007
ACM
15 years 10 months ago
Extracting queries by static analysis of transparent persistence
Transparent persistence promises to integrate programming languages and databases by allowing procedural programs to access persistent data with the same ease as non-persistent da...
Ben Wiedermann, William R. Cook
POPL
1990
ACM
15 years 2 months ago
The Chemical Abstract Machine
ical Abstract Machine Introduced in and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96(1):217
Gérard Berry, Gérard Boudol
LICS
2009
IEEE
15 years 4 months ago
Substructural Operational Semantics as Ordered Logic Programming
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
Frank Pfenning, Robert J. Simmons