Sciweavers

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