8828 search results - page 1472 / 1766 » Formal methods in practice |
174
click to vote
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
Symmetry and self-similarity is the cornerstone of Nature, exhibiting itself through the shapes of natural creations and ubiquitous laws of physics. Since many natural objects are...
188
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper addresses the problem of compact representation of a 3D scene, captured by distributed omnidirectional cameras. As the images from the sensors are likely to be correlat...
168
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
Practical sparse approximation algorithms (particularly greedy algorithms) suffer two significant drawbacks: they are difficult to implement in hardware, and they are inefficie...
182
click to vote
IEEEPACT
2007
IEEE
16 years 1 months ago
2007
IEEE
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...
164
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— To approximate complex data, we propose new type of low-dimensional “principal object”: principal cubic complex. This complex is a generalization of linear and nonlinear pr...