Search Sciweavers | Sciweavers

11065 search results - page 218 / 2213

» Education

131

click to vote

CORR
2004
Springer

85views Education» more CORR 2004»

Predicate Abstraction with Indexed Predicates

15 years 7 months ago

Download www.cs.cmu.edu

Shuvendu K. Lahiri, Randal E. Bryant

claim paper

Read More »

106

click to vote

CORR
2004
Springer

81views Education» more CORR 2004»

A Sequent Calculus and a Theorem Prover for Standard Conditional Logics

15 years 7 months ago

Download www.di.unito.it

Nicola Olivetti, Gian Luca Pozzato, Camilla Schwin...

claim paper

Read More »

click to vote

CORR
2004
Springer

91views Education» more CORR 2004»

Better Quasi-Ordered Transition Systems

15 years 7 months ago

Download user.it.uu.se

Parosh Aziz Abdulla, Aletta Nylén

claim paper

Read More »

177

click to vote

CORR
2004
Springer

229views Education» more CORR 2004»

Tsnnls: A solver for large sparse least squares problems with non-negative variables

15 years 7 months ago

Download www.cs.washington.edu

Jason Cantarella, Michael Piatek

claim paper

Read More »

105

Voted

CORR
2004
Springer

76views Education» more CORR 2004»

Parallel Mixed Bayesian Optimization Algorithm: A Scaleup Analysis

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers