Search Sciweavers | Sciweavers

2203 search results - page 35 / 441

» Temporal Abstract Interpretation

click to vote

TIME
2002
IEEE

80views Automated Reasoning» more TIME 2002»

Temporal Views as Abstract Relations

14 years 2 months ago

Download www.cs.man.ac.uk

Allan Ramsay

claim paper

Read More »

click to vote

AIME
2001
Springer

84views Artificial Intelligence» more AIME 2001»

Visual Definition of Temporal Clinical Abstractions: A User Interface Based on Novel Metaphors

14 years 2 months ago

Download hcilab.uniud.it

Luca Chittaro, Carlo Combi

claim paper

Read More »

click to vote

TIME
1998
IEEE

77views Automated Reasoning» more TIME 1998»

Model-Based Visualization of Temporal Abstractions

14 years 1 months ago

Download www.ise.bgu.ac.il

Yuval Shahar, Cleve Cheng

claim paper

Read More »

click to vote

ECML
1998
Springer

85views Machine Learning» more ECML 1998»

Theoretical Results on Reinforcement Learning with Temporally Abstract Options

14 years 1 months ago

Download webdocs.cs.ualberta.ca

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

claim paper

Read More »

click to vote

ATVA
2006
Springer

87views Hardware» more ATVA 2006»

Timed Temporal Logics for Abstracting Transient States

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers