2940 search results - page 453 / 588 » Relational Parametricity and Control |
107
click to vote
SSD
1997
Springer
15 years 2 months ago
1997
Springer
Theory, algorithms, techniques and tools for producing a generalisation of a map have long been available. In this paper we study the inverse problem, namely, given two maps L and...
STACS
1997
Springer
15 years 2 months ago
1997
Springer
Exotic semirings such as the “(max, +) semiring” (R ∪ {−∞}, max, +), or the “tropical semiring” (N ∪ {+∞}, min, +), have been invented and reinvented many times s...
62
Voted
ICSE
1993
IEEE-ACM
15 years 2 months ago
1993
IEEE-ACM
Stevens, Myers, and Constantine introduced the notion of cohesion, an ordinal scale of seven levels that describes the degree to which the actions performed by a module contribute...
102
click to vote
GIS
1992
ACM
15 years 2 months ago
1992
ACM
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Data outsourcing is an emerging paradigm that allows users and companies to give their (potentially sensitive) data to external servers that then become responsible for their stor...