180 search results - page 22 / 36 » Loop Invariants on Demand |
CVPR
2003
IEEE
14 years 10 months ago
2003
IEEE
It is now common practice in machine vision to define the variability in an object's appearance in a factored manner, as a combination of shape and texture transformations. I...
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
The output of modern imaging techniques such as diffusion tensor MRI or the physical measurement of anisotropic behaviour in materials such as the stress-tensor consists of tensor-...
ACMMSP
2005
ACM
14 years 1 months ago
2005
ACM
ct In the past, program monitoring often operates at the code level, performing checks at function and loop boundaries. Recent research shows that profiling analysis can identify ...
SCIA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The rendering of lower resolution image data on higher resolution displays has become a very common task, in particular because of the increasing popularity of webcams, c...
SP
1998
IEEE
14 years 5 days ago
1998
IEEE
When computationally intensive tasks have to be carried out on trusted, but limited, platforms such as smart cards, it becomes necessary to compensate for the limited resources me...