Search Sciweavers | Sciweavers

4767 search results - page 45 / 954

» Structures for Abstract Rewriting

click to vote

ISSAC
2009
Springer

137views Mathematics» more ISSAC 2009»

Computing with abstract matrix structures

14 years 3 months ago

Download www.csd.uwo.ca

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

claim paper

Read More »

click to vote

AUSAI
2007
Springer

135views Artificial Intelligence» more AUSAI 2007»

SMART: Structured Memory for Abstract Reasoning and Thinking

14 years 3 months ago

Download www3.ntu.edu.sg

Umair Rafique, Shell-Ying Huang

claim paper

Read More »

click to vote

VMCAI
2005
Springer

93views Software Engineering» more VMCAI 2005»

Abstract Interpretation with Alien Expressions and Heap Structures

14 years 2 months ago

Download www.cs.colorado.edu

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

claim paper

Read More »

click to vote

AUSAI
2005
Springer

87views Artificial Intelligence» more AUSAI 2005»

Structural Abstraction Experiments in Reinforcement Learning

14 years 2 months ago

Download www.cse.unsw.edu.au

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

claim paper

Read More »

click to vote

ERSHOV
2001
Springer

70views Theoretical Computer Science» more ERSHOV 2001»

Abstract Computability of Non-deterministic Programs over Various Data Structures

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers