Search Sciweavers | Sciweavers

2374 search results - page 25 / 475

» The language of machines

139

click to vote

SOFSEM
2009
Springer

116views Theoretical Computer Science» more SOFSEM 2009»

A Machine Checked Soundness Proof for an Intermediate Verification Language

16 years 3 months ago

Download www.ksi.mff.cuni.cz

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

claim paper

Read More »

127

click to vote

AIME
2005
Springer

119views Artificial Intelligence» more AIME 2005»

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

15 years 11 months ago

Download users.cs.dal.ca

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

claim paper

Read More »

150

click to vote

AMTA
2000
Springer

90views Information Technology» more AMTA 2000»

A Machine Translation System from English to American Sign Language

15 years 10 months ago

Download www.cs.toronto.edu

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

claim paper

Read More »

149

click to vote

ASM
2000
ASM

157views Computational Biology» more ASM 2000»

Abstract State Machines and Computationally Complete Query Languages

15 years 10 months ago

Download research.microsoft.com

Andreas Blass, Yuri Gurevich, Jan Van den Bussche

claim paper

Read More »

137

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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers