3082 search results - page 280 / 617 » Deviation Analysis: A New Use of Model Checking |
171
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
Using the concepts of two-dimensional Hilbert transform and analytic signal, we construct a new quaternion wavelet transform (QWT). The QWT forms a tight frame and can be efficien...
163
click to vote
PET
2007
Springer
16 years 21 days ago
2007
Springer
We introduce a new traffic analysis attack: the Two-sided Statistical Disclosure Attack, that tries to uncover the receivers of messages sent through an anonymizing network support...
194
click to vote
JCB
2006
15 years 6 months ago
2006
Genome-wide microarray designs containing millions to hundreds of millions of probes are available for a variety of mammals, including mouse and human. These genome tiling arrays ...
165
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Probabilistic models for sequence comparison (such as hidden Markov models and pair hidden Markov models for proteins and mRNAs, or their context-free grammar counterp...
149
click to vote
ECBS
2006
IEEE
16 years 19 days ago
2006
IEEE
The Adviser Portal (AP) is a new IT system for 15 Danish banks. The main goal of AP is to increase the efficiency and quality of bank advisers’ work. Requirements engineering fo...