Search Sciweavers | Sciweavers

31387 search results - page 170 / 6278

» Abstracting abstract machines

129

click to vote

AUSAI
2007
Springer

135views Artificial Intelligence» more AUSAI 2007»

SMART: Structured Memory for Abstract Reasoning and Thinking

16 years 21 days ago

Download www3.ntu.edu.sg

Umair Rafique, Shell-Ying Huang

claim paper

Read More »

135

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 21 days ago

Download www.cse.unsw.edu.au

Bernhard Hengst

claim paper

Read More »

110

click to vote

CAISE
2007
Springer

98views Information Technology» more CAISE 2007»

Communication Abstractions for Distributed Business Processes

16 years 21 days ago

Download is.tm.tue.nl

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

claim paper

Read More »

136

click to vote

CAV
2007
Springer

106views Hardware» more CAV 2007»

Leaping Loops in the Presence of Abstraction

16 years 21 days ago

Download www.cs.tau.ac.il

Thomas Ball, Orna Kupferman, Mooly Sagiv

claim paper

Read More »

136

click to vote

CAV
2007
Springer

114views Hardware» more CAV 2007»

Comparison Under Abstraction for Verifying Linearizability

16 years 21 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers