488 search results - page 59 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
PRL
2006
14 years 11 months ago
2006
This paper describes an improved boosting algorithm, the MutualBoost algorithm, and its application in developing a fast and robust Gabor feature based face recognition system. Th...
70
Voted
AAAI
2008
15 years 1 months ago
2008
To truly understand language, an intelligent system must be able to connect words, phrases, and sentences to its perception of objects and events in the world. Current natural lan...
ISMIS
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We present an overview of anomaly detection used in computer security, and provide a detailed example of a host-based Intrusion Detection System that monitors file syste...
96
Voted
RECOMB
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
108
click to vote
FLAIRS
2008
15 years 1 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...