Search Sciweavers | Sciweavers

1892 search results - page 2 / 379

» Warren's Abstract Machine

118

click to vote

ASC
2006

115views Artificial Intelligence» more ASC 2006»

A WAM implementation for flexible query answering

15 years 4 months ago

Download www.inf-cr.uclm.es

In [7] Maria I. Sessa extended the SLD resolution principle with the ability of performing approximate reasoning and flexible query answering. The operational mechanism of similar...

Pascual Julián Iranzo, Clemente Rubio-Manza...

claim paper

Read More »

100

click to vote

JUCS
2008

182views more JUCS 2008»

The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering

15 years 3 months ago

Download www.jucs.org

Martin Ouimet, Kristina Lundqvist

claim paper

Read More »

123

click to vote

FPCA
1991

108views Programming Languages» more FPCA 1991»

Making Abstract Machines Less Abstract

15 years 6 months ago

Download scidok.sulb.uni-saarland.de

Hannan. Making Abstract Machines Less Abstract . In Proc. of FPCA'91, LNCS 523, pages

John Hannan

claim paper

Read More »

106

click to vote

ICFP
2010
ACM

148views Programming Languages» more ICFP 2010»

Abstracting abstract machines

15 years 4 months ago

Download www.ccs.neu.edu

David Van Horn, Matthew Might

claim paper

Read More »

click to vote

ICALT
2007
IEEE

125views Machine Learning» more ICALT 2007»

Graphical representation of abstract learning scenarios: the UML4LD experimentation

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers