Sciweavers

6941 search results - page 433 / 1389
» Testing as a Certification Approach
Sort
View
SIGSOFT
2004
ACM
16 years 8 days ago
Resolving uncertainties during trace analysis
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
Alexander Egyed
SIGMOD
2012
ACM
276views Database» more  SIGMOD 2012»
13 years 9 months ago
SCARAB: scaling reachability computation on large graphs
Most of the existing reachability indices perform well on small- to medium- size graphs, but reach a scalability bottleneck around one million vertices/edges. As graphs become inc...
Ruoming Jin, Ning Ruan, Saikat Dey, Jeffrey Xu Yu
PAMI
2012
13 years 9 months ago
Medial Spheres for Shape Approximation
—We study the problem of approximating a 3D solid with a union of overlapping spheres. In comparison with a stateof-the-art approach, our method offers more than an order of magn...
Svetlana Stolpner, Paul G. Kry, Kaleem Siddiqi
PAMI
2012
13 years 9 months ago
Accurate Eye Center Location through Invariant Isocentric Patterns
—Locating the center of the eyes allows for valuable information to be captured and used in a wide range of applications. Accurate eye center location can be determined using com...
Roberto Valenti, Theo Gevers
CVPR
2012
IEEE
13 years 9 months ago
Video from nearly still: An application to low frame-rate gait recognition
In this paper, we propose a temporal super resolution approach for quasi-periodic image sequence such as human gait. The proposed method effectively combines examplebased and reco...
Naoki Akae, Al Mansur, Yasushi Makihara, Yasushi Y...