31387 search results - page 6161 / 6278 » Abstracting abstract machines |
IWPC
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—Correcting software defects accounts for a significant amount of resources such as time, money and personnel. To be able to focus testing efforts where needed the most,...
JCST
2010
13 years 8 months ago
2010
Abstract Location-aware technology spawns numerous unforeseen pervasive applications in a wide range of living, production, commence, and public services. This article provides an ...
JCST
2010
13 years 8 months ago
2010
Abstract This paper introduces a caching technique based on a volumetric representation that captures low-frequency indirect illumination. This structure is intended for efficient ...
JCT
2010
13 years 8 months ago
2010
Abstract. A weighting of the edges of a graph is called vertexcoloring if the weighted degrees of the vertices yield a proper coloring of the graph. In this paper we show that such...
TMI
2008
13 years 8 months ago
2008
Abstract--Diffusion tensors are estimated from magnetic resonance images (MRIs) that are diffusion-weighted, and those images inherently contain noise. Therefore, noise in the diff...