Search Sciweavers | Sciweavers

31387 search results - page 170 / 6278

» Abstracting abstract machines

137

click to vote

AUSAI
2007
Springer

135views Artificial Intelligence» more AUSAI 2007»

SMART: Structured Memory for Abstract Reasoning and Thinking

16 years 1 months ago

Download www3.ntu.edu.sg

Umair Rafique, Shell-Ying Huang

claim paper

Read More »

146

click to vote

AUSAI
2007
Springer

97views Artificial Intelligence» more AUSAI 2007»

Safe State Abstraction and Reusable Continuing Subtasks in Hierarchical Reinforcement Learning

16 years 1 months ago

Download www.cse.unsw.edu.au

Bernhard Hengst

claim paper

Read More »

118

click to vote

CAISE
2007
Springer

98views Information Technology» more CAISE 2007»

Communication Abstractions for Distributed Business Processes

16 years 1 months ago

Download is.tm.tue.nl

Lachlan Aldred, Wil M. P. van der Aalst, Marlon Du...

claim paper

Read More »

149

Voted

CAV
2007
Springer

106views Hardware» more CAV 2007»

Leaping Loops in the Presence of Abstraction

16 years 1 months ago

Download www.cs.tau.ac.il

Thomas Ball, Orna Kupferman, Mooly Sagiv

claim paper

Read More »

150

Voted

CAV
2007
Springer

114views Hardware» more CAV 2007»

Comparison Under Abstraction for Verifying Linearizability

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers