92 search results - page 16 / 19 » Structuring Optimizing Transformations and Proving Them Soun... |
201
Voted
Lecture Notes
"This course will consist of a number of major sections. The first will be a short review of some preliminary material, including asymptotics, summations, and recurrences and ...
ISR
2007
14 years 9 months ago
2007
This paper considers a two-stage development problem for information goods with costless quality degradation. In our model, a seller of information goods faces customers that are ...
POPL
1999
ACM
15 years 1 months ago
1999
ACM
Watermarking embeds a secret message into a cover message. In media watermarking the secret is usually a copyright notice and the cover a digital image. Watermarking an object dis...
120
Voted
CSCLP
2008
Springer
14 years 11 months ago
2008
Springer
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...