1875 search results - page 209 / 375 » Automatic Network Protocol Analysis |
109
click to vote
JSAC
2006
15 years 3 months ago
2006
Abstract--A research area that has become increasingly important in recent years is that of on-board mobile communication, where users on a vehicle are connected to a local network...
140
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
151
Voted
JEI
2008
15 years 3 months ago
2008
Automatic segmentation and analysis of ancient mosaic images can help archaeologists and experts build digital collections and automatically compare mosaics by means of image datab...
122
click to vote
MEDINFO
2007
15 years 5 months ago
2007
PROBLEM: Automatic keyword assignment has been largely studied in medical informatics in the context of the MEDLINE database, both for helping search in MEDLINE and in order to pr...
122
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
A statistical framework for modeling and prediction of binary matrices is presented. The method is applied to social network analysis, specifically the database of US Supreme Cou...