4511 search results - page 580 / 903 » Observation Based System Security |
148
Voted
JFP
2008
15 years 4 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
157
click to vote
JRTIP
2008
15 years 4 months ago
2008
Abstract In recent years, automatic human action recognition has been widely researched within the computer vision and image processing communities. Here we propose a realtime, emb...
128
click to vote
SASN
2006
ACM
15 years 10 months ago
2006
ACM
This paper focuses on defending against compromised nodes’ dropping of legitimate reports and investigates the misbehavior of a maliciously packet-dropping node in sensor networ...
180
click to vote
WS
2005
ACM
15 years 10 months ago
2005
ACM
Traceback schemes are useful to identify the source of an attack. Existing traceback systems are not suitable for Mobile Ad Hoc Networks (MANET) because they rely on assumptions s...
147
click to vote
AGI
2011
14 years 8 months ago
2011
A novel approach to computer vision is outlined, involving the use of imprecise probabilities to connect a deep learning based hierarchical vision system with both local feature de...