10599 search results - page 1776 / 2120 » Measure Based Regularization |
196
Voted
WFLP
2000
Springer
15 years 10 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
157
Voted
ICDCS
1995
IEEE
15 years 10 months ago
1995
IEEE
Protocols that provide reliable communicationon top of a network that can lose packets rely on periodically retransmitting packets. The choice of retransmission timeout critically...
157
click to vote
INFOCOM
1995
IEEE
15 years 10 months ago
1995
IEEE
We continue our study of document marking to deter illicit dissemination. A n experiment we performed reveals that the distortion on the photocopy of a document is very different ...
181
click to vote
ISLPED
1995
ACM
15 years 10 months ago
1995
ACM
We will present a power estimation technique for digital integrated circuits that operates at the register transfer level RTL . Such a high-level power estimation capability is r...
181
click to vote
SC
1995
ACM
15 years 10 months ago
1995
ACM
In this paper we present an analytical-based framework for parallel program performance prediction. The main thrust of this work is to provide a means for treating realistic appli...