2531 search results - page 480 / 507 » Group testing in graphs |
DSN
2004
IEEE
13 years 11 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
ICCV
1995
IEEE
13 years 11 months ago
1995
IEEE
In this paper we describe a new e cient algorithm for recognizing 3D objects by combining photometric and geometric invariants. Some photometric properties are derived, that are i...
BIOID
2008
13 years 9 months ago
2008
Abstract. To implement a biometric authentication scheme, the templates of a group of people are stored in the database (DB) under the names of these people. Some person presents a...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
Background: Databases containing very large amounts of SNP (Single Nucleotide Polymorphism) data are now freely available for researchers interested in medical and/or population g...
CSCW
2008
ACM
13 years 9 months ago
2008
ACM
In this paper we describe a study that explored the implications of the Social Translucence framework for designing systems that support communications at work. Two systems design...