Search Sciweavers | Sciweavers

2203 search results - page 37 / 441

» Temporal Abstract Interpretation

click to vote

ARTMED
2007

98views more ARTMED 2007»

Temporal abstraction in intelligent clinical data analysis: A survey

14 years 10 months ago

Download www.scm.uws.edu.au

Michael Stacey, Carolyn McGregor

claim paper

Read More »

click to vote

AAMAS
2002
Springer

89views Intelligent Agents» more AAMAS 2002»

TTree: Tree-Based State Generalization with Temporally Abstract Actions

14 years 10 months ago

Download www.cs.cmu.edu

William T. B. Uther, Manuela M. Veloso

claim paper

Read More »

click to vote

AI
1999
Springer

110views Artificial Intelligence» more AI 1999»

Between MDPs and Semi-MDPs: A Framework for Temporal Abstraction in Reinforcement Learning

14 years 9 months ago

Download webdocs.cs.ualberta.ca

Richard S. Sutton, Doina Precup, Satinder P. Singh

claim paper

Read More »

click to vote

LPAR
2010
Springer

123views Automated Reasoning» more LPAR 2010»

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

14 years 8 months ago

Download www.cs.nmsu.edu

Gourinath Banda, John P. Gallagher

claim paper

Read More »

click to vote

CORR
2009
Springer

85views Education» more CORR 2009»

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers