Search Sciweavers | Sciweavers

2143 search results - page 84 / 429

» corr 2010

101

click to vote

CORR
2010
Springer

61views Education» more CORR 2010»

The Conceptual Integration Modeling Framework: Abstracting from the Multidimensional Model

15 years 1 months ago

Download www.cs.toronto.edu

Flavio Rizzolo, Iluju Kiringa, Rachel Pottinger, K...

claim paper

Read More »

119

click to vote

CORR
2010
Springer

67views Education» more CORR 2010»

Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic

15 years 1 months ago

Download www.mpi-inf.mpg.de

Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebasti...

claim paper

Read More »

click to vote

CORR
2010
Springer

54views Education» more CORR 2010»

Finding topological subgraphs is fixed-parameter tractable

15 years 1 months ago

Download www.cs.bme.hu

Martin Grohe, Ken-ichi Kawarabayashi, Dánie...

claim paper

Read More »

107

click to vote

CORR
2010
Springer

46views Education» more CORR 2010»

Relational transducers for declarative networking

15 years 1 months ago

Download fox7.eu

Tom Ameloot, Frank Neven, Jan Van den Bussche

claim paper

Read More »

click to vote

CORR
2010
Springer

69views Education» more CORR 2010»

Using a Kernel Adatron for Object Classification with RCS Data

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers