76 search results - page 11 / 16 » Definition of Fuzzy Pareto-Optimality by Using Possibility T... |
177
Voted
POPL
2004
ACM
16 years 17 days ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
117
click to vote
ER
2008
Springer
15 years 2 months ago
2008
Springer
We address the fundamental question: what does it mean for data in a database to be of high quality? We motivate our discussion with examples, where traditional views on data quali...
119
click to vote
KDD
2007
ACM
16 years 20 days ago
2007
ACM
This article tries to give an answer to a fundamental question in temporal data mining: "Under what conditions a temporal rule extracted from up-to-date temporal data keeps i...
ICFP
2008
ACM
16 years 6 days ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
183
click to vote
POPL
2004
ACM
16 years 17 days ago
2004
ACM
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization a...