3082 search results - page 519 / 617 » Deviation Analysis: A New Use of Model Checking |
150
click to vote
NDSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Linking network flows is an important problem in intrusion detection as well as anonymity. Passive traffic analysis can link flows but requires long periods of observation to r...
130
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: By virtue of their shared ancestry, homologous sequences are similar in their structure and function. Consequently, multiple sequence alignments are routinely used to ...
143
click to vote
TIFS
2008
15 years 4 months ago
2008
Digital imaging has experienced tremendous growth in recent decades, and digital camera images have been used in a growing number of applications. With such increasing popularity a...
139
click to vote
CLEF
2007
Springer
15 years 10 months ago
2007
Springer
The domain-specific track uses test collections from the social science domain to test monolingual and cross-language retrieval in structured bibliographic databases. Special atte...
159
click to vote
FGR
2006
IEEE
15 years 10 months ago
2006
IEEE
Traditionally, human facial expressions have been studied using either 2D static images or 2D video sequences. The 2D-based analysis is incapable of handing large pose variations....