Sciweavers

14244 search results - page 88 / 2849

» Modeling Program Predictability

24

PPDP
2010
Springer

125views Programming Languages» more PPDP 2010»

Declarative modeling of finite mathematics

13 years 7 months ago

Declarative modeling of finite mathematics

Download logic.csci.unt.edu

Paul Tarau

claim paper

Read More »

26

IFIP
2009
Springer

95views Programming Languages» more IFIP 2009»

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

13 years 6 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 »

24

PLDI
2011
ACM

163views Programming Languages» more PLDI 2011»

Partial-coherence abstractions for relaxed memory models

12 years 11 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 »

26

PLDI
2011
ACM

153views Programming Languages» more PLDI 2011»

Predicate abstraction and CEGAR for higher-order model checking

12 years 11 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 »

34

JMLR
2012

193views Programming Languages» more JMLR 2012»

Fast Variational Bayesian Inference for Non-Conjugate Matrix Factorization Models

11 years 11 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 88 / 2849 Last » Next »