Search Sciweavers | Sciweavers

2974 search results - page 19 / 595

» Model-Driven Constraint Programming

152

click to vote

JMLR
2012

174views Programming Languages» more JMLR 2012»

Primal-Dual methods for sparse constrained matrix completion

13 years 7 months ago

Download people.csail.mit.edu

We develop scalable algorithms for regular and non-negative matrix completion. In particular, we base the methods on trace-norm regularization that induces a low rank predicted ma...

Yu Xin, Tommi Jaakkola

claim paper

Read More »

120

click to vote

PPDP
2009
Springer

144views Programming Languages» more PPDP 2009»

A framework for abstract interpretation of timed concurrent constraint programs

15 years 11 months ago

Download www.lix.polytechnique.fr

Moreno Falaschi, Carlos Olarte, Catuscia Palamides...

claim paper

Read More »

126

click to vote

POPL
1999
ACM

88views Programming Languages» more POPL 1999»

Stochastic Processes as Concurrent Constraint Programs

15 years 9 months ago

Download www-cs-students.stanford.edu

Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

claim paper

Read More »

102

Voted

ICALP
2000
Springer

105views Programming Languages» more ICALP 2000»

Constraint Programming and Graph Algorithms

15 years 8 months ago

Download www.mpi-inf.mpg.de

Kurt Mehlhorn

claim paper

Read More »

131

click to vote

FPCA
1995

132views Programming Languages» more FPCA 1995»

Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers