5165 search results - page 248 / 1033 » Consistency of the Neighbor-Net Algorithm |
184
click to vote
VMCAI
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
182
click to vote
ICMCS
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper describes a rate control algorithm for a streaming video system that dynamically transcodes stored JPEG 2000 frames. The proposed algorithm is designed to improve overa...
140
click to vote
ICMCS
2005
IEEE
16 years 5 days ago
2005
IEEE
A new, area-based mesh simplification algorithm is described. The proposed algorithm removes the center vertex of a polygon which consists of n ≥ 3 faces and represents that po...
157
click to vote
ISCIS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We investigate the problem of enumerating schedules, consisting of course-section assignments, in increasing order of the number of conflicts they contain. We define th...
147
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
We present a polynomial-time algorithm which at the extra cost of a factor O(k) (k the number of variables) generalizes inter-procedural copy constant propagation. Our algorithm in...