1090 search results - page 106 / 218 » Type-Directed Partial Evaluation |
AAAI
1993
14 years 4 days ago
1993
In [Dague, 1993], a formal system ROM(K) involving four relations has been defined to reason with relative orders of magnitude. In this paper, problems of introducing quantitative...
CCS
2006
ACM
14 years 2 months ago
2006
ACM
Denial-of-service (DoS) attacks significantly degrade service quality experienced by legitimate users by introducing long delays, excessive losses, and service interruptions. The ...
INFOCOM
2003
IEEE
14 years 4 months ago
2003
IEEE
— Incremental deployment of a new network service or protocol is typically a hard problem, especially when it has to be deployed in the routers. First, an incrementally deployabl...
AMR
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Evaluation is crucial for the success of most research domains, and image retrieval is no exception to this. Recently, several benchmarks have been developed for visual i...
VLDB
2007
ACM
14 years 11 months ago
2007
ACM
Views over probabilistic data contain correlations between tuples, and the current approach is to capture these correlations using explicit lineage. In this paper we propose an al...