3742 search results - page 364 / 749 » On the Use of Formal Techniques for Validation |
192
click to vote
BCB
2010
15 years 1 months ago
2010
Network-based genome-wide association studies (NWAS) utilize the molecular interactions between genes and functional pathways in biomarker identification. This study presents a no...
177
click to vote
INFOCOM
2006
IEEE
16 years 24 days ago
2006
IEEE
— Polymorphic worms can change their byte sequence as they replicate and propagate, thwarting the traditional signature analysis techniques used by many intrusion detection syste...
143
click to vote
ICMCS
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper investigates the use of unlabeled data to help labeled data for audio-visual event recognition in meetings. To deal with situations in which it is difficult to collect...
160
click to vote
ICPP
1998
IEEE
15 years 11 months ago
1998
IEEE
The crew planning problem has been successfully solved on a loosely connected network of workstations (NOW) using advanced computational techniques and efficient communication pat...
175
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
Inspired by the recent improvements in domain adaptation and session variability compensation techniques used for speech and speaker processing, we study their effect for emotion ...