3742 search results - page 604 / 749 » On the Use of Formal Techniques for Validation |
231
click to vote
MICCAI
2006
Springer
16 years 17 days ago
2006
Springer
Minimally Invasive Surgery (MIS) has recognized benefits of reduced patient trauma and recovery time. In practice, MIS procedures present a number of challenges due to the loss of ...
187
click to vote
INFOCOM
2011
IEEE
14 years 9 months ago
2011
IEEE
—Identity-based attacks (IBAs) are one of the most serious threats to wireless networks. Recently, received signal strength (RSS) based detection mechanisms were proposed to dete...
212
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
We propose a novel statistical manifold modeling approach that is capable of classifying poses of object categories from video sequences by simultaneously minimizing the intra-cla...
199
click to vote
AUSAI
2011
Springer
14 years 6 months ago
2011
Springer
The amount of user generated content on the Web is growing and identifying high quality content in a timely manner has become a problem. Many forums rely on its users to manually r...
219
click to vote
ICDCS
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Jamming attacks and unintentional radio interference are one of the most urgent threats harming the dependability of wireless communication and endangering the successfu...