Sciweavers

6941 search results - page 433 / 1389
» Testing as a Certification Approach
Sort
View
SIGSOFT
2004
ACM
16 years 1 months 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 10 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 10 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 10 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 10 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...