3951 search results - page 193 / 791 » Automatic amortized analysis |
118
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that the...
145
Voted
ICLP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. In this PhD project, we deal with the issue of code duplication in logic programs. In particular semantical duplication or redundancy is generally viewed as a possible se...
140
click to vote
WCET
2008
15 years 6 months ago
2008
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are ...
148
Voted
COLING
2002
15 years 4 months ago
2002
This paper proposes a method of fertilizing a Japanese case frame dictionary to handle complicated expressions: double nominative sentences, non-gapping relation of relative claus...
128
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
Classifying and analyzing human motion from a video is relatively common in many areas. Since the motion is carried out in 3D space, the 2D projection provided by a video is somew...