Sciweavers

2143 search results - page 7 / 429

» corr 2010

8

CORR
2010
Springer

40views Education» more CORR 2010»

Real-time and Probabilistic Temporal Logics: An Overview

13 years 10 months ago

Real-time and Probabilistic Temporal Logics: An Overview

Download cgi.csc.liv.ac.uk

Savas Konur

claim paper

Read More »

9

CORR
2010
Springer

46views Education» more CORR 2010»

A Formalization of the Turing Test

13 years 10 months ago

A Formalization of the Turing Test

Download www.cse.buffalo.edu

Evgeny Chutchev

claim paper

Read More »

9

CORR
2010
Springer

104views Education» more CORR 2010»

Algorithmic Aspects of Golomb Ruler Construction

13 years 10 months ago

Algorithmic Aspects of Golomb Ruler Construction

Download theinf1.informatik.uni-jena.de

Manuel Sorge

claim paper

Read More »

9

CORR
2010
Springer

56views Education» more CORR 2010»

Impossibility of independence amplification in Kolmogorov complexity theory

13 years 10 months ago

Impossibility of independence amplification in Kolmogorov complexity theory

Download triton.towson.edu

Marius Zimand

claim paper

Read More »

11

CORR
2010
Springer

49views Education» more CORR 2010»

Counting dependent and independent strings

13 years 10 months ago

Counting dependent and independent strings

Download triton.towson.edu

Marius Zimand

claim paper

Read More »

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