Search Sciweavers | Sciweavers

4767 search results - page 45 / 954

» Structures for Abstract Rewriting

132

click to vote

ISSAC
2009
Springer

137views Mathematics» more ISSAC 2009»

Computing with abstract matrix structures

16 years 1 months ago

Download www.csd.uwo.ca

Alan P. Sexton, Volker Sorge, Stephen M. Watt

claim paper

Read More »

130

click to vote

AUSAI
2007
Springer

135views Artificial Intelligence» more AUSAI 2007»

SMART: Structured Memory for Abstract Reasoning and Thinking

16 years 22 days ago

Download www3.ntu.edu.sg

Umair Rafique, Shell-Ying Huang

claim paper

Read More »

123

click to vote

VMCAI
2005
Springer

93views Software Engineering» more VMCAI 2005»

Abstract Interpretation with Alien Expressions and Heap Structures

16 years 19 hour ago

Download www.cs.colorado.edu

Bor-Yuh Evan Chang, K. Rustan M. Leino

claim paper

Read More »

137

click to vote

AUSAI
2005
Springer

87views Artificial Intelligence» more AUSAI 2005»

Structural Abstraction Experiments in Reinforcement Learning

16 years 11 hour ago

Download www.cse.unsw.edu.au

Robert Fitch, Bernhard Hengst, Dorian Suc, Gregory...

claim paper

Read More »

112

click to vote

ERSHOV
2001
Springer

70views Theoretical Computer Science» more ERSHOV 2001»

Abstract Computability of Non-deterministic Programs over Various Data Structures

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers