Sciweavers

10435 search results - page 1770 / 2087
» Measuring system normality
Sort
View
158
Voted
TPHOL
2005
IEEE
15 years 11 months ago
Mechanized Metatheory for the Masses: The PoplMark Challenge
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
Brian E. Aydemir, Aaron Bohannon, Matthew Fairbair...
WACV
2005
IEEE
15 years 11 months ago
Dental Biometrics: Alignment and Matching of Dental Radiographs
—Dental biometrics utilizes dental radiographs for human identification. The dental radiographs provide information about teeth, including tooth contours, relative positions of n...
Hong Chen, Anil K. Jain
WACV
2005
IEEE
15 years 11 months ago
Persistent Objects Tracking Across Multiple Non Overlapping Cameras
We present an approach for persistent tracking of moving objects observed by non-overlapping and moving cameras. Our approach robustly recovers the geometry of non-overlapping vie...
Jinman Kang, Isaac Cohen, Gérard G. Medioni
WSE
2005
IEEE
15 years 11 months ago
A Comprehensive Model for Web Sites Quality
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
Oreste Signore
AMOST
2005
ACM
15 years 11 months ago
Test prioritization for pairwise interaction coverage
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
Renée C. Bryce, Charles J. Colbourn
« Prev « First page 1770 / 2087 Last » Next »