✦ LIBER ✦

Abstractions of data types

✍ Scribed by Ferucio Laurenţiu Ţiplea; Constantin Enea

Book ID: 105930844
Publisher: Springer-Verlag
Year: 2006
Tongue: English
Weight: 526 KB
Volume: 42
Category: Article
ISSN: 0001-5903
DOI: 10.1007/s00236-006-0010-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Programming by successive refinement of

Programming by successive refinement of data abstractions

✍ James B. Morris 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 934 KB

Data abstractions for decision tree indu

Data abstractions for decision tree induction

✍ Yoshimitsu Kudoh; Makoto Haraguchi; Yoshiaki Okubo 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 285 KB

When descriptions of data values in a database are too concrete or too detailed, the computational complexity needed to discover useful knowledge from the database will be generally increased. Furthermore, discovered knowledge tends to become complicated. A notion of data abstraction seems useful to

Database Abstractions for Managing Senso

Database Abstractions for Managing Sensor Network Data

✍ Madden, S. 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 748 KB

On using data abstractions for model che

On using data abstractions for model checking refinements

✍ John Derrick; Heike Wehrheim 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 444 KB

Reliable software through requirements d

Reliable software through requirements definition using data abstractions

✍ William R. Bezanson 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 375 KB

Abstractions

📂 Article 📅 2005 🏛 Nature Publishing Group 🌐 English ⚖ 162 KB