Search Sciweavers | Sciweavers

950 search results - page 1 / 190

» Machine semantics

BIRTHDAY
2009
Springer

151views Applied Computing» more BIRTHDAY 2009»

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantic

13 years 8 months ago

Download www.brics.dk

Machines Olivier Danvy BRICS Report Series RS-08-7 ISSN 0909-0878 July 2008 08-7O.Danvy:DenotationalSemantics,NaturalSemantics,andAbstractMachinesforScheme

Olivier Danvy

claim paper

Read More »

click to vote

MLDM
2009
Springer

135views Machine Learning» more MLDM 2009»

Tree Kernel and Feature Vector Methods for Formal Semantic Requests Classification

13 years 11 months ago

Download www.limsi.fr

François Bouchet, Jean-Paul Sansonnet

claim paper

Read More »

click to vote

ICWS
2004
IEEE

81views Internet Technology» more ICWS 2004»

Web-Service Semantic Enabled Implementation of Machine vs.Machine Business Negotiation

13 years 5 months ago

Download www.deri.ie

Laurentiu Vasiliu, Michal Zaremba, Matthew Moran, ...

claim paper

Read More »

click to vote

FAC
2000

76views more FAC 2000»

Natural Semantics-Directed Generation of Compilers and Abstract Machines

13 years 4 months ago

Download rw4.cs.uni-sb.de

s and Abstract Machines Stephan Diehl Universit

Stephan Diehl

claim paper

Read More »

click to vote

BIRTHDAY
2009
Springer

170views Applied Computing» more BIRTHDAY 2009»

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers