1227 search results - page 193 / 246 » Using Generation for Grammar Analysis and Error Detection |
103
click to vote
FPL
2005
Springer
15 years 3 months ago
2005
Springer
With the onset of Gigabit networks, current generation networking components will soon be insufficient for numerous reasons: most notably because existing methods cannot support h...
ICIAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The Scale Invariant Feature Transform (SIFT) is an algorithm used to detect and describe scale-, translation- and rotation-invariant local features in images. The origina...
101
click to vote
TAP
2010
Springer
14 years 7 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
ECOOPW
1999
Springer
15 years 2 months ago
1999
Springer
Code duplication is an important problem in application maintenance. Tools exist that support code duplication detection. However, few of them propose a solution for the problem, ...
101
click to vote
RT
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we present a new shadow mapping technique that improves upon the quality of perspective and uniform shadow maps. Our technique uses a perspective transform specifi...