Search Sciweavers | Sciweavers

1914 search results - page 20 / 383

» Abstract lambda-Calculus Machines

121

click to vote

ICFEM
2004
Springer

65views Software Engineering» more ICFEM 2004»

Implementing Dynamic Aggregations of Abstract Machines in the B Method

16 years 19 days ago

Download dc.exa.unrc.edu.ar

Nazareno Aguirre, Juan Bicarregui, Lucio Guzm&aacu...

claim paper

Read More »

161

click to vote

IEEEICCI
2003
IEEE

78views Artificial Intelligence» more IEEEICCI 2003»

Perceptual Learning and Abstraction in Machine Learning

16 years 16 days ago

Download hal.inria.fr

Nicolas Bredeche, Zhongzhi Shi, Jean-Daniel Zucker

claim paper

Read More »

142

click to vote

ASM
2003
ASM

104views Computational Biology» more ASM 2003»

A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines

16 years 15 days ago

Download www.informatik.uni-ulm.de

Wolf Zimmermann, Axel Dold

claim paper

Read More »

150

click to vote

MPC
2010
Springer

171views Mathematics» more MPC 2010»

An Abstract Machine for the Old Value Retrieval

16 years 1 days ago

Download mpc2010.fsg.ulaval.ca

Piotr Kosiuczenko

claim paper

Read More »

144

click to vote

COMPSAC
2009
IEEE

82views Software Engineering» more COMPSAC 2009»

Universal and Extensible Service-Oriented Platform Feasibility and Experience: The Service Abstract Machine

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers