Sciweavers

11065 search results - page 163 / 2213

» Education

132

CORR
2008
Springer

67views Education» more CORR 2008»

Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog

15 years 7 months ago

Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog

Download www.math.lsa.umich.edu

Andreas Blass, Yuri Gurevich

claim paper

Read More »

120

Voted

CORR
2008
Springer

86views Education» more CORR 2008»

Fibonacci Index and Stability Number of Graphs: a Polyhedral Study

15 years 7 months ago

Fibonacci Index and Stability Number of Graphs: a Polyhedral Study

Download www.optimization-online.org

Véronique Bruyère, Hadrien Mé...

claim paper

Read More »

89

CORR
2008
Springer

54views Education» more CORR 2008»

Amendment to "Performance Analysis of the V-BLAST Algorithm: An Analytical Approach." [1]

15 years 7 months ago

Amendment to "Performance Analysis of the V-BLAST Algorithm: An Analytical Approach." [1]

Download www.site.uottawa.ca

Sergey Loyka, François Gagnon

claim paper

Read More »

136

CORR
2008
Springer

69views Education» more CORR 2008»

Phase transition for Local Search on planted SAT

15 years 7 months ago

Phase transition for Local Search on planted SAT

Download people.cs.ubc.ca

Andrei A. Bulatov, Evgeny S. Skvortsov

claim paper

Read More »

65

CORR
2008
Springer

74views Education» more CORR 2008»

Solving package dependencies: from EDOS to Mancoosi

15 years 7 months ago

Solving package dependencies: from EDOS to Mancoosi

Download www.mancoosi.org

Ralf Treinen, Stefano Zacchiroli

claim paper

Read More »

« Prev « First page 163 / 2213 Last » Next »