5608 search results - page 561 / 1122 » Structure description tools |
245
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
297
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Linking high-throughput experimental data with biological networks is a key step for understanding complex biological systems. Currently, visualization tools for large...
225
click to vote
CVPR
2006
IEEE
16 years 9 months ago
2006
IEEE
Human faces manifest distinct structures and characteristics when observed in different scales. Traditional face recognition techniques mainly rely on low-resolution face images, ...
192
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
In this paper, we investigate the effect of substantial inter-image intensity changes and changes in modality on the performance of keypoint detection, description, and matching a...
194
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
letons to Bone Graphs: Medial Abstraction for Object Recognition Diego Macrini University of Toronto Kaleem Siddiqi McGill University Sven Dickinson University of Toronto Medial d...