Search Sciweavers | Sciweavers

31387 search results - page 191 / 6278

» Abstracts

121

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

15 years 11 months ago

Download hcilab.uniud.it

Luca Chittaro, Carlo Combi

claim paper

Read More »

110

click to vote

AIME
2001
Springer

74views Artificial Intelligence» more AIME 2001»

Using Time-Oriented Data Abstraction Methods to Optimize Oxygen Supply for Neonates

15 years 11 months ago

Download www.ifs.tuwien.ac.at

Andreas Seyfang, Silvia Miksch, Werner Horn, Micha...

claim paper

Read More »

141

click to vote

ATAL
2001
Springer

114views Intelligent Agents» more ATAL 2001»

An Abstract Machine for Classes of Communicating Agents Based on Deduction

15 years 11 months ago

Download www.hec.unil.ch

Pierre E. Bonzon

claim paper

Read More »

138

click to vote

CAV
2001
Springer

74views Hardware» more CAV 2001»

Model Checking with Formula-Dependent Abstract Models

15 years 11 months ago

Download www.inf.tu-dresden.de

Alexander Asteroth, Christel Baier, Ulrich Aß...

claim paper

Read More »

142

click to vote

CAV
2001
Springer

100views Hardware» more CAV 2001»

Automatic Abstraction for Verification of Timed Circuits and Systems

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers