427 search results - page 52 / 86 » Inductive reasoning about effectful data types |
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be...
WSC
2004
13 years 9 months ago
2004
Using simulated data to develop and study diagnostic tools for data analysis is very beneficial. The user can gain insight about what happens when assumptions are violated since t...
PKDD
2000
Springer
13 years 11 months ago
2000
Springer
: One way to scale up clustering algorithms is to squash the data by some intelligent compression technique and cluster only the compressed data records. Such compressed data recor...
ICPR
2002
IEEE
14 years 8 months ago
2002
IEEE
: One way to scale up clustering algorithms is to squash the data by some intelligent compression technique and cluster only the compressed data records. Such compressed data recor...
IJISEC
2007
13 years 7 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...