525 search results - page 65 / 105 » Using Checkable Types in Automatic Protocol Analysis |
MICRO
2009
IEEE
14 years 3 months ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
WEBI
2005
Springer
14 years 2 months ago
2005
Springer
We profile a system for search and analysis of largescale email archives. The system builds around four facets: Content-based search engine, statistical topic model, automaticall...
IJISTA
2010
13 years 7 months ago
2010
—Camera motion estimation plays an important role in digital video analysis algorithms such as video indexing and retrieval or automatic movie analysis. Several algorithms have b...
ICMI
2010
Springer
13 years 7 months ago
2010
Springer
We introduce vlogs as a type of rich human interaction which is multimodal in nature and suitable for new largescale behavioral data analysis. The automatic analysis of vlogs is u...
ESWA
2011
13 years 4 months ago
2011
The types of police inquiries performed these days are incredibly diverse. Often data processing architectures are not suited to cope with this diversity since most of the case dat...