Sciweavers

2203 search results - page 37 / 441

» Temporal Abstract Interpretation

81

ARTMED
2007

98views more ARTMED 2007»

Temporal abstraction in intelligent clinical data analysis: A survey

15 years 3 months ago

Temporal abstraction in intelligent clinical data analysis: A survey

Download www.scm.uws.edu.au

Michael Stacey, Carolyn McGregor

claim paper

Read More »

104

Voted

AAMAS
2002
Springer

89views Intelligent Agents» more AAMAS 2002»

TTree: Tree-Based State Generalization with Temporally Abstract Actions

15 years 3 months ago

TTree: Tree-Based State Generalization with Temporally Abstract Actions

Download www.cs.cmu.edu

William T. B. Uther, Manuela M. Veloso

claim paper

Read More »

107

Voted

AI
1999
Springer

110views Artificial Intelligence» more AI 1999»

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

15 years 2 months ago

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

Download webdocs.cs.ualberta.ca

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

claim paper

Read More »

104

LPAR
2010
Springer

123views Automated Reasoning» more LPAR 2010»

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

15 years 1 months ago

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

Download www.cs.nmsu.edu

Gourinath Banda, John P. Gallagher

claim paper

Read More »

95

CORR
2009
Springer

85views Education» more CORR 2009»

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

15 years 1 months ago

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

Download www.irisa.fr

Benoît Boyer, Thomas Genet

claim paper

Read More »

« Prev « First page 37 / 441 Last » Next »