1087 search results - page 13 / 218 » Eta-Redexes in Partial Evaluation |
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— This paper addresses the performance evaluation of multi-carrier code division multiple access systems both at physical and TCP levels. A partial equalization technique improvi...
PET
2005
Springer
14 years 3 months ago
2005
Springer
We review threat models used in the evaluation of anonymity systems’ vulnerability to traffic analysis. We then suggest that, under the partial adversary model, if multiple packe...
EWCBR
2004
Springer
2004
Springer
Facilitating CBR for Incompletely-Described Cases: Distance Metrics for Partial Problem Descriptions
14 years 3 months ago
A fundamental problem for case-based reasoning systems is how to select relevant prior cases. Numerous strategies have been developed for determining the similarity of prior cases,...
ISIPTA
2003
IEEE
14 years 2 months ago
2003
IEEE
In some situations, a decision is best represented by an incompletely analyzed act: conditionally to a certain event, the consequences of the decision on sub-events are perfectly ...
PRICAI
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We consider the problem of computing optimal plans for propositional planning problems with action costs. In the spirit of leveraging advances in general-purpose automate...