1090 search results - page 65 / 218 » Resource-Bounded Partial Evaluation |
DAGSTUHL
1996
14 years 11 months ago
1996
This paper reports on an approachfor improvingthe understandingof old programs which have become very complex due to numerous extensions. We have adapted partial evaluation techni...
CSUR
1999
14 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
14 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...
100
click to vote
ICCV
2011
IEEE
13 years 10 months ago
2011
IEEE
Rank correlation measures are known for their resilience to perturbations in numeric values and are widely used in many evaluation metrics. Such ordinal measures have rarely been ...
ICPR
2006
IEEE
15 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)...