Search Sciweavers | Sciweavers

9455 search results - page 21 / 1891

» The Modelling Language Zinc

Voted

PPDP
2010
Springer

125views Programming Languages» more PPDP 2010»

Declarative modeling of finite mathematics

14 years 11 months ago

Download logic.csci.unt.edu

Paul Tarau

claim paper

Read More »

101

click to vote

IFIP
2009
Springer

95views Programming Languages» more IFIP 2009»

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

14 years 11 months ago

Download www.cs.toronto.edu

Jennifer Horkoff, Eric S. K. Yu

claim paper

Read More »

click to vote

PLDI
2011
ACM

163views Programming Languages» more PLDI 2011»

Partial-coherence abstractions for relaxed memory models

14 years 4 months ago

Download www.cs.technion.ac.il

Michael Kuperstein, Martin T. Vechev, Eran Yahav

claim paper

Read More »

click to vote

PLDI
2011
ACM

153views Programming Languages» more PLDI 2011»

Predicate abstraction and CEGAR for higher-order model checking

14 years 4 months ago

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

Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers