2312 search results - page 89 / 463 » Invariance in Property Testing |
ICCS
2005
Springer
14 years 3 months ago
2005
Springer
In this article we report on our efforts to test and expand the current state-of-the-art in eigenvalue solvers applied to the field of nanotechnology. We singled out the nonlinea...
ECCV
2004
Springer
14 years 12 months ago
2004
Springer
We explore the possibility of recognizing the surface material from a single image with unknown illumination, given the shape of the surface. Model-based PCA is used to create a lo...
RTSS
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper presents a quantification of the timing effects that advanced processor features like data and instruction cache, pipelines, branch prediction units and out-oforder ex...
CIARP
2008
Springer
14 years 20 hour ago
2008
Springer
The concept of elongation is generally well understood. However, there is no clear, precise, mathematical definition of elongation in any dictionary we could find. We propose that ...
TAP
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. We consider the problem of test generation for Boolean combinational circuits. We use a novel approach based on the idea of treating tests as a proof encoding rather than...