1140 search results - page 94 / 228 » Progress on Certifying Algorithms |
108
Voted
ANTS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We answer a question asked by Hajdu and Tengely: The only arithmetic progression in coprime integers of the form (a2 , b2 , c2 , d5 ) is (1, 1, 1, 1). For the proof, we ï...
109
Voted
CIAC
2006
Springer
15 years 4 months ago
2006
Springer
Complementing recent progress on classical complexity and polynomial-time approximability of feedback set problems in (bipartite) tournaments, we extend and partially improve fixed...
112
Voted
EELC
2006
15 years 4 months ago
2006
Research into the evolution of grammar requires that we employ formalisms and processing mechanisms that are powerful enough to handle features found in human natural languages. Bu...
RT
2000
Springer
15 years 4 months ago
2000
Springer
We present wavelet warping -- a new class of forward 3D warping algorithms for image-based rendering. In wavelet warping most of the warping operation is performed in the wavelet d...
DAGSTUHL
2004
15 years 2 months ago
2004
Query Personalization is the process of dynamically enhancing a query with related user preferences stored in a user profile with the aim of providing personalized answers. The und...