Sciweavers

13734 search results - page 61 / 2747
» Abstractions of data types
Sort
View
AIME
2001
Springer
14 years 1 months ago
Using Time-Oriented Data Abstraction Methods to Optimize Oxygen Supply for Neonates
Andreas Seyfang, Silvia Miksch, Werner Horn, Micha...
AIMDM
1999
Springer
14 years 1 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»
14 years 1 months ago
Data Abstraction for CSP-OZ
Heike Wehrheim
ICCL
1998
IEEE
14 years 1 months ago
Breaking Abstractions and Unstructuring Data Structures
Christian S. Collberg, Clark D. Thomborson, Dougla...