ICIP
2010
IEEE
13 years 9 months ago
2010
IEEE
We propose a new algorithm to detect the presence and the localization of aliasing in a single digital image.Considering the image in Fourier domain, the fact that two frequencies...
JOT
2010
13 years 10 months ago
2010
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obj...
IEEECIT
2010
IEEE
13 years 10 months ago
2010
IEEE
With the increasing popularity of COTS (commercial off the shelf) components and multi-core processor in space and aviation applications, software fault tolerance becomes attracti...
CONCURRENCY
2004
13 years 11 months ago
2004
Abstract. A number of formal proposals to manage aliasing in Java-like programming languages have been advanced over the last five years. Unfortunately, it is not clear how practic...
TOG
2008
13 years 11 months ago
2008
We present a novel shadow map parameterization to reduce perspective aliasing artifacts for both point and directional light sources. We derive the aliasing error equations for bo...
TMI
2008
13 years 11 months ago
2008
Abstract--Radial imaging techniques, such as projection-reconstruction (PR), are used in magnetic resonance imaging (MRI) for dynamic imaging, angiography, and short- 2 imaging. Th...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obje...
VISSYM
2003
14 years 24 days ago
2003
We present a technique to extract regions from a volumetric dataset without introducing any aliasing so that the extracted volume can be explored using direct volume rendering tec...
ISCA
1997
IEEE
14 years 3 months ago
1997
IEEE
As modern microprocessors employ deeper pipelines and issue multiple instructions per cycle, they are becoming increasingly dependent on accurate branch prediction. Because hardwa...
FASE
2006
Springer
14 years 3 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...