5647 search results - page 204 / 1130 » A word from the editor |
165
click to vote
CSDA
2010
15 years 6 months ago
2010
We introduce robust regression-based online filters for multivariate time series and discuss their performance in real time signal extraction settings. We focus on methods that ca...
139
click to vote
DM
2006
15 years 6 months ago
2006
The group PSL(2, q) is 3-homogeneous on the projective line when q is a prime power congruent to 3 modulo 4 and therefore it can be used to construct 3-designs. In this paper, we ...
140
click to vote
ENTCS
2006
15 years 6 months ago
2006
The goal of this paper is to translate (fragments of) the quantified discrete duration calculus QDDC, proposed by P. Pandya, into symbolic acceptors with counters. Acceptors are w...
139
click to vote
ENTCS
2006
15 years 6 months ago
2006
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
138
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper we propose a technique to automate the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures...