Sciweavers

642 search results - page 9 / 129

» corr 2006

26

CORR
2006
Springer

93views Education» more CORR 2006»

LTL with the Freeze Quantifier and Register Automata

14 years 10 months ago

LTL with the Freeze Quantifier and Register Automata

Download tocl.acm.org

Stéphane Demri, Ranko Lazic

claim paper

Read More »

30

CORR
2006
Springer

63views Education» more CORR 2006»

Nominal Logic Programming

14 years 10 months ago

Nominal Logic Programming

Download homepages.inf.ed.ac.uk

James Cheney, Christian Urban

claim paper

Read More »

55

CORR
2006
Springer

83views Education» more CORR 2006»

Measuring Fundamental Properties of Real-World Complex Networks

14 years 10 months ago

Measuring Fundamental Properties of Real-World Complex Networks

Download spiderman-2.laas.fr

Matthieu Latapy, Clémence Magnien

claim paper

Read More »

57

CORR
2006
Springer

109views Education» more CORR 2006»

Optimal Design of Multiple Description Lattice Vector Quantizers

14 years 10 months ago

Optimal Design of Multiple Description Lattice Vector Quantizers

Download www.cs.northwestern.edu

Xiang Huang, Xiaolin Wu

claim paper

Read More »

34

CORR
2006
Springer

97views Education» more CORR 2006»

Ontologies and Information Extraction

14 years 10 months ago

Ontologies and Information Extraction

Download www.icsi.berkeley.edu

Claire Nedellec, Adeline Nazarenko

claim paper

Read More »

« Prev « First page 9 / 129 Last » Next »