3709 search results - page 132 / 742 » Supporting experimentation with Side-Views |
NIPS
2004
13 years 10 months ago
2004
We show that anomaly detection can be interpreted as a binary classification problem. Using this interpretation we propose a support vector machine (SVM) for anomaly detection. We...
FUIN
2007
13 years 9 months ago
2007
Reachability analysis for timed automata using SAT-based methods was considered in many papers, occurring to be a very efficient model checking technique. In this paper we show ho...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
— A revisited quadrotor model is proposed, including in particular the so-called rotor drag. It differs from the model usually considered, even at first order, and much better e...
PROCEDIA
2010
13 years 7 months ago
2010
The study of ant navigation is a rich source of empirical data and speculative theories that has been well-documented in the scientific literature. We describe and illustrate how ...
UAI
2003
13 years 10 months ago
2003
Published experiments on spidering the Web suggest that, given training data in the form of a (relatively small) subgraph of the Web containing a subset of a selected class of tar...