Search Sciweavers | Sciweavers

4767 search results - page 45 / 954

» Structures for Abstract Rewriting

127

click to vote

ISSAC
2009
Springer

137views Mathematics» more ISSAC 2009»

Computing with abstract matrix structures

16 years 17 days ago

Download www.csd.uwo.ca

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

claim paper

Read More »

124

click to vote

AUSAI
2007
Springer

135views Artificial Intelligence» more AUSAI 2007»

SMART: Structured Memory for Abstract Reasoning and Thinking

16 years 6 days ago

Download www3.ntu.edu.sg

Umair Rafique, Shell-Ying Huang

claim paper

Read More »

114

click to vote

VMCAI
2005
Springer

93views Software Engineering» more VMCAI 2005»

Abstract Interpretation with Alien Expressions and Heap Structures

15 years 11 months ago

Download www.cs.colorado.edu

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

claim paper

Read More »

127

click to vote

AUSAI
2005
Springer

87views Artificial Intelligence» more AUSAI 2005»

Structural Abstraction Experiments in Reinforcement Learning

15 years 11 months ago

Download www.cse.unsw.edu.au

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

claim paper

Read More »

108

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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers