2174 search results - page 271 / 435 » Efficient Testing of Forecasts |
102
click to vote
CAV
2010
Springer
15 years 1 months ago
2010
Springer
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
99
Voted
CORR
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. In this paper we outline initial concepts for an immune inspired algorithm to evaluate price time series data. The proposed solution evolves a short term pool of trackers...
138
click to vote
CORR
2010
Springer
15 years 28 days ago
2010
Springer
Multidimensional databases support efficiently on-line analytical processing (OLAP). In this paper, we depict a model dedicated to multidimensional databases. The approach we prese...
58
Voted
CORR
2008
Springer
15 years 28 days ago
2008
Springer
This paper introduces a voltage multiplier (VM) circuit which can step up a minimum voltage of 150 mV (peak). The operation and characteristics of this converter circuit are descr...
CORR
2008
Springer
15 years 28 days ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...