Sciweavers

7961 search results - page 23 / 1593

» Input-Output Model Programs

123

Voted

PPDP
2010
Springer

125views Programming Languages» more PPDP 2010»

Declarative modeling of finite mathematics

15 years 4 months ago

Declarative modeling of finite mathematics

Download logic.csci.unt.edu

Paul Tarau

claim paper

Read More »

156

Voted

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

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

Download www.cs.toronto.edu

Jennifer Horkoff, Eric S. K. Yu

claim paper

Read More »

149

Voted

PLDI
2011
ACM

163views Programming Languages» more PLDI 2011»

Partial-coherence abstractions for relaxed memory models

14 years 9 months ago

Partial-coherence abstractions for relaxed memory models

Download www.cs.technion.ac.il

Michael Kuperstein, Martin T. Vechev, Eran Yahav

claim paper

Read More »

142

Voted

PLDI
2011
ACM

153views Programming Languages» more PLDI 2011»

Predicate abstraction and CEGAR for higher-order model checking

14 years 9 months ago

Predicate abstraction and CEGAR for higher-order model checking

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

Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

claim paper

Read More »

169

Voted

JMLR
2012

193views Programming Languages» more JMLR 2012»

Fast Variational Bayesian Inference for Non-Conjugate Matrix Factorization Models

13 years 8 months ago

Fast Variational Bayesian Inference for Non-Conjugate Matrix Factorization Models

Download ipg.epfl.ch

Matthias Seeger, Guillaume Bouchard

claim paper

Read More »

« Prev « First page 23 / 1593 Last » Next »