Sciweavers

2143 search results - page 37 / 429

» corr 2010

21

CORR
2010
Springer

63views Education» more CORR 2010»

Robust Vacuity for Branching Temporal Logic

13 years 9 months ago

Robust Vacuity for Branching Temporal Logic

Download tocl.acm.org

Arie Gurfinkel, Marsha Chechik

claim paper

Read More »

10

CORR
2010
Springer

123views Education» more CORR 2010»

Partially ordered secretaries

13 years 9 months ago

Partially ordered secretaries

Download www.maths.tcd.ie

Ragnar Freij, Johan Wästlund

claim paper

Read More »

10

CORR
2010
Springer

58views Education» more CORR 2010»

Complexity of Non-Monotonic Logics

13 years 9 months ago

Complexity of Non-Monotonic Logics

Download theorie.informatik.uni-ulm.de

Michael Thomas, Heribert Vollmer

claim paper

Read More »

15

CORR
2010
Springer

44views Education» more CORR 2010»

What we understand is what we get: Assessment in Spreadsheets

13 years 9 months ago

What we understand is what we get: Assessment in Spreadsheets

Download www.kwarc.info

Andrea Kohlhase, Michael Kohlhase

claim paper

Read More »

26

CORR
2010
Springer

94views Education» more CORR 2010»

Multi-Objective Genetic Programming Projection Pursuit for Exploratory Data Modeling

13 years 9 months ago

Multi-Objective Genetic Programming Projection Pursuit for Exploratory Data Modeling

Download pami.uwaterloo.ca

Ilknur Icke, Andrew Rosenberg

claim paper

Read More »

« Prev « First page 37 / 429 Last » Next »