3742 search results - page 75 / 749 » On the Use of Formal Techniques for Validation |
183
click to vote
PAMI
2006
15 years 6 months ago
2006
Authentication systems based on biometric features (e.g., fingerprint impressions, iris scans, human face images, etc.) are increasingly gaining widespread use and popularity. Ofte...
135
click to vote
PR
2006
15 years 6 months ago
2006
Though most approaches to protein comparison are based on their structure, several studies produced evidence of a strict correlation between the surface characteristics of protein...
144
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
In the domain of gene expression data analysis, various researchers have recently emphasized the promising application of pattern discovery techniques like association rule mining...
155
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. Often in neurosurgical planning a dual spin echo acquisition is performed that yields proton density (PD) and T2-weighted images to evaluate edema near a tumor or lesion....
166
click to vote
TCS
2010
15 years 4 months ago
2010
Robustness, the ability to analyze any input regardless of its grammaticality, is a desirable property for any system dealing with unrestricted natural language text. Error-repair...