1364 search results - page 255 / 273 » Comparative Branching-Time Semantics |
NDSS
2008
IEEE
15 years 3 months ago
2008
IEEE
Protocol reverse engineering has often been a manual process that is considered time-consuming, tedious and error-prone. To address this limitation, a number of solutions have rec...
99
Voted
ICASSP
2007
IEEE
15 years 3 months ago
2007
IEEE
Many content-based image retrieval applications suffer from small sample set and high dimensionality problems. Relevance feedback is often used to alleviate those problems. In thi...
ICMCS
2007
IEEE
15 years 3 months ago
2007
IEEE
We present a novel genre-independent SVM framework for detecting scene changes in broadcast video. Our framework works on content from a diverse range of genres by allowing sets o...
ICSM
2007
IEEE
15 years 3 months ago
2007
IEEE
Recent software systems usually feature an automated failure reporting component, with which a huge number of failures are collected from software end-users. With a proper support...
CCS
2007
ACM
15 years 3 months ago
2007
ACM
Protocol reverse engineering, the process of extracting the application-level protocol used by an implementation, without access to the protocol specification, is important for m...