Search Sciweavers | Sciweavers

9455 search results - page 21 / 1891

» The Modelling Language Zinc

137

Voted

PPDP
2010
Springer

125views Programming Languages» more PPDP 2010»

Declarative modeling of finite mathematics

15 years 5 months ago

Download logic.csci.unt.edu

Paul Tarau

claim paper

Read More »

166

click to vote

IFIP
2009
Springer

95views Programming Languages» more IFIP 2009»

Evaluating Goal Achievement in Enterprise Modeling - An Interactive Procedure and Experiences

15 years 4 months ago

Download www.cs.toronto.edu

Jennifer Horkoff, Eric S. K. Yu

claim paper

Read More »

160

click to vote

PLDI
2011
ACM

163views Programming Languages» more PLDI 2011»

Partial-coherence abstractions for relaxed memory models

14 years 9 months ago

Download www.cs.technion.ac.il

Michael Kuperstein, Martin T. Vechev, Eran Yahav

claim paper

Read More »

154

click to vote

PLDI
2011
ACM

153views Programming Languages» more PLDI 2011»

Predicate abstraction and CEGAR for higher-order model checking

14 years 9 months ago

Download www.kb.ecei.tohoku.ac.jp

Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

claim paper

Read More »

173

click to vote

EMNLP
2011

156views Natural Language Processing» more EMNLP 2011»

Discovering Morphological Paradigms from Plain Text Using a Dirichlet Process Mixture Model

14 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers