Sciweavers

1914 search results - page 30 / 383

» Abstract lambda-Calculus Machines

16

CORR
1998
Springer

116views Education» more CORR 1998»

Abstract State Machines 1988-1998: Commented ASM Bibliography

13 years 7 months ago

Abstract State Machines 1988-1998: Commented ASM Bibliography

Download www.eecs.umich.edu

Egon Börger, James K. Huggins

claim paper

Read More »

10

JFP
1998

62views more JFP 1998»

Classical Logic, Continuation Semantics and Abstract Machines

13 years 7 months ago

Classical Logic, Continuation Semantics and Abstract Machines

Download eprints.sussex.ac.uk

Thomas Streicher, Bernhard Reus

claim paper

Read More »

19

TOPLAS
1998

113views more TOPLAS 1998»

An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs

13 years 7 months ago

An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs

Download www.cparity.com

Konstantinos F. Sagonas, Terrance Swift

claim paper

Read More »

27

CMSB
2010
Springer

91views Applied Computing» more CMSB 2010»

A generic abstract machine for stochastic process calculi

13 years 2 months ago

A generic abstract machine for stochastic process calculi

Download research.microsoft.com

Loïc Paulevé, Simon Youssef, Matthew R...

claim paper

Read More »

20

ICML
2008
IEEE

188views Machine Learning» more ICML 2008»

Inverting the Viterbi algorithm: an abstract framework for structure design

14 years 8 months ago

Inverting the Viterbi algorithm: an abstract framework for structure design

Download velblod.videolectures.net

act Framework For Structure Design Michael Schnall-Levin Massachusetts Institute of Technology Joint work with: Leonid Chindelevitch and Bonnie Berger

Michael Schnall-Levin, Leonid Chindelevitch, Bonni...

claim paper

Read More »

« Prev « First page 30 / 383 Last » Next »