3709 search results - page 132 / 742 » Supporting experimentation with Side-Views |
127
click to vote
NIPS
2004
15 years 5 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...
138
Voted
FUIN
2007
15 years 4 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...
122
click to vote
ICRA
2010
IEEE
15 years 2 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...
123
click to vote
PROCEDIA
2010
15 years 2 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 ...
139
click to vote
UAI
2003
15 years 5 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...