Sciweavers

116

click to vote

KR
1991
Springer

80views Automated Reasoning» more KR 1991»

Nonmonotonic Inferences in Neural Networks

15 years 8 months ago

Download www.lucs.lu.se

Christian Balkenius, Peter Gärdenfors

claim paper

Read More »

138

click to vote

KR
1991
Springer

109views Automated Reasoning» more KR 1991»

Planning as Temporal Reasoning

15 years 8 months ago

Download www.cs.rochester.edu

This paper describes a reasoning system based on a temporal logic that can solve planning problems along the lines of traditional planning systems. Because it is cast as inference...

James F. Allen

claim paper

Read More »

109

click to vote

ISCA
1992
IEEE

90views Hardware» more ISCA 1992»

Comparative Performance Evaluation of Cache-Coherent NUMA and COMA Architectures

15 years 8 months ago

Download www.ce.chalmers.se

Per Stenström, Truman Joe, Anoop Gupta

claim paper

Read More »

141

Voted

IWWERT
1991

150views Theoretical Computer Science» more IWWERT 1991»

Word Equations with Two Variables

15 years 8 months ago

Download www.ii.uni.wroc.pl

Witold Charatonik, Leszek Pacholski

claim paper

Read More »

107

click to vote

ITC
1991
IEEE

97views Hardware» more ITC 1991»

An IEEE 1149.1 Based Logic/Signature Analyzer in a Chip

15 years 8 months ago

Download focus.ti.com

Lee Whetsel

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers