Sciweavers

13734 search results - page 61 / 2747
» Abstractions of data types
Sort
View
AIME
2001
Springer
15 years 10 months ago
Using Time-Oriented Data Abstraction Methods to Optimize Oxygen Supply for Neonates
Andreas Seyfang, Silvia Miksch, Werner Horn, Micha...
AIMDM
1999
Springer
15 years 10 months ago
Abstracting Steady Qualitative Descriptions over Time from Noisy, High-Frequency Data
Silvia Miksch, Andreas Seyfang, Werner Horn, Chris...
FM
1999
Springer
113views Formal Methods» more  FM 1999»
15 years 10 months ago
Data Abstraction for CSP-OZ
Heike Wehrheim
ICCL
1998
IEEE
15 years 10 months ago
Breaking Abstractions and Unstructuring Data Structures
Christian S. Collberg, Clark D. Thomborson, Dougla...