770 search results - page 103 / 154 » Dinatural Terms in System F |
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
This demonstration presents FlexPref, a framework implemented inside the DBMS query processor that enables efficient and extensible preference query processing. FlexPref provides ...
GPCE
2009
Springer
15 years 2 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
INFOCOM
1999
IEEE
15 years 2 months ago
1999
IEEE
There is an increasing need for Internet hosts to be able to quickly and efficiently learn the distance, in terms of metrics such as latency or bandwidth, between Internet hosts. ...
122
click to vote
NOSSDAV
1992
Springer
15 years 1 months ago
1992
Springer
: We present an overview of a "best-effort" transport protocol that supports conferencing with digital audio and video across interconnected packet switched networks. The...
KDD
2010
ACM
15 years 1 months ago
2010
ACM
In this paper, we propose and develop a novel approach to the problem of optimally managing the tax, and more generally debt, collections processes at financial institutions. Our...