Sciweavers

14779 search results - page 2627 / 2956
» On Ultrametric Algorithmic Information
Sort
View
ISNN
2010
Springer
15 years 5 months ago
Extension of the Generalization Complexity Measure to Real Valued Input Data Sets
Abstract. This paper studies the extension of the Generalization Complexity (GC) measure to real valued input problems. The GC measure, defined in Boolean space, was proposed as a...
Iván Gómez, Leonardo Franco, Jos&eac...
ISNN
2010
Springer
15 years 5 months ago
MULP: A Multi-Layer Perceptron Application to Long-Term, Out-of-Sample Time Series Prediction
Abstract. A forecasting approach based on Multi-Layer Perceptron (MLP) Artificial Neural Networks (named by the authors MULP) is proposed for the NN5 111 time series long-term, out...
Eros Pasero, Giovanni Raimondo, Suela Ruffa
ISVC
2010
Springer
15 years 5 months ago
Visual Exploration of Stream Pattern Changes Using a Data-Driven Framework
Abstract. When using visualization techniques to explore data streams, an important task is to convey pattern changes. Challenges include: (1) Most data analysis tasks require user...
Zaixian Xie, Matthew O. Ward, Elke A. Rundensteine...
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 5 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
IWSEC
2010
Springer
15 years 5 months ago
Optimal Adversary Behavior for the Serial Model of Financial Attack Trees
Abstract. Attack tree analysis is used to estimate different parameters of general security threats based on information available for atomic subthreats. We focus on estimating the...
Margus Niitsoo
« Prev « First page 2627 / 2956 Last » Next »