Search Sciweavers | Sciweavers

1874 search results - page 11 / 375

» Abstract Machine for LDL

click to vote

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

14 years 1 months ago

Download pauillac.inria.fr

François Fages

claim paper

Read More »

click to vote

CMSB
2004
Springer

104views Applied Computing» more CMSB 2004»

The Biochemical Abstract Machine BIOCHAM

14 years 27 days ago

Download hal.archives-ouvertes.fr

Nathalie Chabrier-Rivier, François Fages, S...

claim paper

Read More »

click to vote

ICESS
2004
Springer

114views Software Engineering» more ICESS 2004»

Abstraction and the C++ Machine Model

14 years 26 days ago

Download www2.research.att.com

Bjarne Stroustrup

claim paper

Read More »

click to vote

ICFEM
2004
Springer

65views Software Engineering» more ICFEM 2004»

Implementing Dynamic Aggregations of Abstract Machines in the B Method

14 years 26 days ago

Download dc.exa.unrc.edu.ar

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

claim paper

Read More »

click to vote

IEEEICCI
2003
IEEE

78views Artificial Intelligence» more IEEEICCI 2003»

Perceptual Learning and Abstraction in Machine Learning

14 years 23 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers