Search Sciweavers | Sciweavers

9455 search results - page 40 / 1891

» The Modelling Language Zinc

click to vote

SIGADA
1994
Springer

99views Programming Languages» more SIGADA 1994»

Structural Model: Architecture for Software Designers

15 years 1 months ago

Download www.crispen.org

Robert G. Crispen, Lynn D. Stuckey Jr.

claim paper

Read More »

click to vote

POPL
1992
ACM

93views Programming Languages» more POPL 1992»

Model Checking and Abstraction

15 years 1 months ago

Download www.cs.cmu.edu

Edmund M. Clarke, Orna Grumberg, David E. Long

claim paper

Read More »

click to vote

ESOP
2008
Springer

120views Programming Languages» more ESOP 2008»

The Conversation Calculus: A Model of Service-Oriented Computation

14 years 11 months ago

Download ctp.di.fct.unl.pt

Hugo Torres Vieira, Luís Caires, Joã...

claim paper

Read More »

click to vote

EMNLP
2011

138views Natural Language Processing» more EMNLP 2011»

A Model of Discourse Predictions in Human Sentence Processing

13 years 9 months ago

Download aclweb.org

Amit Dubey, Frank Keller, Patrick Sturt

claim paper

Read More »

click to vote

EMNLP
2011

135views Natural Language Processing» more EMNLP 2011»

Augmenting String-to-Tree Translation Models with Fuzzy Use of Source-side Syntax

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers