Sciweavers

677 search results - page 70 / 136
» Rigorous Object-Oriented Analysis
Sort
View
110
Voted
IPPS
2008
IEEE
15 years 7 months ago
SWAMP: Smith-Waterman using associative massive parallelism
One of the most commonly used tools by computational biologists is some form of sequence alignment. Heuristic alignment algorithms developed for speed and their multiple results s...
Shannon Steinfadt, Johnnie W. Baker
100
Voted
ECBS
2000
IEEE
97views Hardware» more  ECBS 2000»
15 years 5 months ago
Ensuring Structure and Behavior Correctness in Design Composition
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
109
Voted
CMS
2003
148views Communications» more  CMS 2003»
15 years 2 months ago
Computation of Cryptographic Keys from Face Biometrics
We outline cryptographic key–computation from biometric data based on error-tolerant transformation of continuous-valued face eigenprojections to zero-error bitstrings suitable f...
Alwyn Goh, David Ngo Chek Ling
72
Voted
ICDM
2010
IEEE
96views Data Mining» more  ICDM 2010»
14 years 10 months ago
Domain-Driven Data Mining for IT Infrastructure Support
Abstract--Support analytics (i.e., statistical analysis, modeling and mining of customer/operations support tickets data) is important in service industries. In this paper, we adop...
Girish Keshav Palshikar, Harrick M. Vin, Mohammed ...
81
Voted
MOC
2010
14 years 7 months ago
Optimization algorithm for reconstructing interface changes of a conductivity inclusion from modal measurements
In this paper, we propose an original optimization approach for reconstructing interface changes of a conductivity inclusion from measurements of eigenvalues and eigenvectors asso...
Habib Ammari, Elena Beretta, Elisa Francini, Hyeon...