1535 search results - page 146 / 307 » Lazy Shape Analysis |
NN
2006
Springer
13 years 8 months ago
2006
Springer
- Contiguity Analysis is a straightforward generalization of Linear Discriminant Analysis in which the partition of elements is replaced by a more general graph structure. Applied ...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
The paper provides insights into our efforts to develop techniques for the analysis of visual art. The AUTHENTIC project aims at creating a collection of software tools to support...
CAV
2007
Springer
14 years 8 days ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
APBC
2003
13 years 9 months ago
2003
Microarrays allow the monitoring of expressions for tens of thousands of genes simultaneously. Image analysis is an important aspect for microarray experiments that can affect sub...
CVPR
2009
IEEE
15 years 3 months ago
2009
IEEE
Different materials reflect light in different ways, and reflectance
interacts with shape, lighting, and viewpoint to
determine an object’s image. Common materials exhibit dive...