Search Sciweavers | Sciweavers

922 search results - page 10 / 185

» A generalization of the Lin-Zhao theorem

208

click to vote

PLDI
2011
ACM

270views Programming Languages» more PLDI 2011»

Separation logic + superposition calculus = heap theorem prover

14 years 8 months ago

Download navarroj.com

Program analysis and veriﬁcation tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...

Juan Antonio Navarro Pérez, Andrey Rybalche...

claim paper

Read More »

110

click to vote

STACS
2009
Springer

123views Theoretical Computer Science» more STACS 2009»

A Generalization of Nemhauser and Trotter's Local Optimization Theorem

16 years 24 days ago

Download theinf1.informatik.uni-jena.de

Michael R. Fellows, Jiong Guo, Hannes Moser, Rolf ...

claim paper

Read More »

155

click to vote

MFCS
2005
Springer

80views Theoretical Computer Science» more MFCS 2005»

The Generalization of Dirac's Theorem for Hypergraphs

15 years 11 months ago

Download main2.amu.edu.pl

Endre Szemerédi, Andrzej Rucinski, Vojtech ...

claim paper

Read More »

123

click to vote

COLT
2001
Springer

102views Machine Learning» more COLT 2001»

A Generalized Representer Theorem

15 years 10 months ago

Download users.cecs.anu.edu.au

Bernhard Schölkopf, Ralf Herbrich, Alex J. Sm...

claim paper

Read More »

147

click to vote

COMPGEOM
1993
ACM

84views Discrete Geometry» more COMPGEOM 1993»

Helly Theorems and Generalized Linear Programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers