Search Sciweavers | Sciweavers

9455 search results - page 40 / 1891

» The Modelling Language Zinc

114

click to vote

SIGADA
1994
Springer

99views Programming Languages» more SIGADA 1994»

Structural Model: Architecture for Software Designers

15 years 10 months ago

Download www.crispen.org

Robert G. Crispen, Lynn D. Stuckey Jr.

claim paper

Read More »

121

click to vote

POPL
1992
ACM

93views Programming Languages» more POPL 1992»

Model Checking and Abstraction

15 years 10 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

138

click to vote

ESOP
2008
Springer

120views Programming Languages» more ESOP 2008»

The Conversation Calculus: A Model of Service-Oriented Computation

15 years 7 months ago

Download ctp.di.fct.unl.pt

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

claim paper

Read More »

129

click to vote

EMNLP
2011

138views Natural Language Processing» more EMNLP 2011»

A Model of Discourse Predictions in Human Sentence Processing

14 years 5 months ago

Download aclweb.org

Amit Dubey, Frank Keller, Patrick Sturt

claim paper

Read More »

121

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

14 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers