Search Sciweavers | Sciweavers

2374 search results - page 25 / 475

» The language of machines

click to vote

SOFSEM
2009
Springer

116views Theoretical Computer Science» more SOFSEM 2009»

A Machine Checked Soundness Proof for an Intermediate Verification Language

14 years 4 months ago

Download www.ksi.mff.cuni.cz

Frédéric Vogels, Bart Jacobs 0002, F...

claim paper

Read More »

click to vote

AIME
2005
Springer

119views Artificial Intelligence» more AIME 2005»

Populating an Allergens Ontology Using Natural Language Processing and Machine Learning Techniques

14 years 1 months ago

Download users.cs.dal.ca

Alexandros G. Valarakos, Vangelis Karkaletsis, Dim...

claim paper

Read More »

click to vote

AMTA
2000
Springer

90views Information Technology» more AMTA 2000»

A Machine Translation System from English to American Sign Language

14 years 7 days ago

Download www.cs.toronto.edu

Liwei Zhao, Karin Kipper, William Schuler, Christi...

claim paper

Read More »

click to vote

ASM
2000
ASM

157views Computational Biology» more ASM 2000»

Abstract State Machines and Computationally Complete Query Languages

14 years 7 days ago

Download research.microsoft.com

Andreas Blass, Yuri Gurevich, Jan Van den Bussche

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 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers