988 search results - page 89 / 198 » Positive Results and Techniques for Obfuscation |
IJCAI
1989
14 years 11 months ago
1989
This paper presents methods of default reasoning which allow us to draw negative conclusions that are not available in some of the models for inheritance reasoning. Some of these ...
102
click to vote
AVSS
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper presents a novel approach to vehicle detection in highway surveillance videos. This method incorporates well-studied computer vision and machine learning techniques to ...
BMCBI
2007
14 years 10 months ago
2007
Background: Helical membrane proteins (HMPs) play a crucial role in diverse cellular processes, yet it still remains extremely difficult to determine their structures by experimen...
IJISEC
2008
14 years 10 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
ISI
2008
Springer
14 years 10 months ago
2008
Springer
In this paper, we study the problem of anomaly detection in high-dimensional network streams. We have developed a new technique, called Stream Projected Ouliter deTector (SPOT), t...