2049 search results - page 126 / 410 » Normalization and Partial Evaluation |
CSUR
1999
13 years 9 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
PVLDB
2008
13 years 9 months ago
2008
Current skyline evaluation techniques assume a fixed ordering on the attributes. However, dynamic preferences on nominal attributes are more realistic in known applications. In or...
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...
AAAI
2008
14 years 11 days ago
2008
Formal approaches to modelling argumentation provide ways to present arguments and counterarguments, and to evaluate which arguments are, in a formal sense, warranted. While these...
ICPR
2006
IEEE
14 years 11 months ago
2006
IEEE
This paper presents adaptive weighting method for combining local classifiers by particle filter. In recent years, the effectiveness of combination of local classifiers (features)...