Sciweavers

4421 search results - page 469 / 885
» Libraries
Sort
View
148
Voted
AADEBUG
1997
Springer
15 years 8 months ago
Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...
Richard W. M. Jones, Paul H. J. Kelly
CGI
1996
IEEE
15 years 8 months ago
Improved Specular Highlights With Adaptive Shading
Gouraud shading and Phong shading are widely used interpolation methods to render a polygon mesh of a curved surface. When an illumination equation has a specular reflection term,...
Youngkwan Cho, Ulrich Neumann, Jongwook Woo
CVPR
1996
IEEE
15 years 8 months ago
Sparse Representations for Image Decomposition with Occlusions
We study the problem of how to detect \interesting objects" appeared in a given image, I. Our approach is to treat it as a function approximation problem based on an over-red...
Michael J. Donahue, Davi Geiger, Tyng-Luh Liu, Rob...
134
Voted
CIAC
1997
Springer
111views Algorithms» more  CIAC 1997»
15 years 8 months ago
A Meticulous Analysis of Mergesort Programs
The efficiency of mergesortprogramsis analysed under a simple unit-cost model. In our analysis the time performance of the sorting programs includes the costs of key comparisons, e...
Jyrki Katajainen, Jesper Larsson Träff
119
Voted
CIKM
1997
Springer
15 years 8 months ago
Applications of Approximate Word Matching in Information Retrieval
As more online databases are integrated into digital libraries, the issue of quality control of the data becomes increasingly important, especially as it relates to the effective ...
James C. French, Allison L. Powell, Eric Schulman