Search Sciweavers | Sciweavers

7839 search results - page 109 / 1568

» What's there and what's not

click to vote

KI
1995
Springer

131views Artificial Intelligence» more KI 1995»

What Is a Skeptical Proof?

15 years 4 months ago

Download cgi.cse.unsw.edu.au

Abstract. We investigate the task of skeptically reasoning in extensionbased, nonmonotonic logics by concentrating on general argumentation theories. The restricted applicability o...

Michael Thielscher

claim paper

Read More »

click to vote

STOC
1995
ACM

89views Algorithms» more STOC 1995»

What do we know about the Metropolis algorithm?

15 years 4 months ago

Download www-stat.stanford.edu

Persi Diaconis, Laurent Saloff-Coste

claim paper

Read More »

click to vote

STOC
1995
ACM

117views Algorithms» more STOC 1995»

What's decidable about hybrid automata?

15 years 4 months ago

Download www.eecs.berkeley.edu

Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pr...

claim paper

Read More »

click to vote

ECOOP
1991
Springer

120views Programming Languages» more ECOOP 1991»

What is Type-Safe Code Reuse?

15 years 4 months ago

Download www.cs.ucla.edu

Jens Palsberg, Michael I. Schwartzbach

claim paper

Read More »

click to vote

HT
1991
ACM

89views Internet Technology» more HT 1991»

What's Eliza Doing in the Chinese Room? Incoherent Hyperdocuments - and How to Avoid Them

15 years 4 months ago

Download www.pi6.fernuni-hagen.de

Research on understanding linear texts has shown that comprehension and navigation mainly depend on the reader’s ability to construct a coherent mental representation. While the...

Manfred Thüring, Jörg M. Haake, Jör...

claim paper

Read More »

« Prev « First page 109 / 1568 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers