436 search results - page 8 / 88 » Recursion and Complexity |
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. Metric Temporal Logic (MTL) is a prominent specification formalism for realtime systems. In this paper, we show that the satisfiability problem for MTL over finite tim...
CANDC
2002
ACM
14 years 11 months ago
2002
ACM
Recursive segmentation is a procedure that partitions a DNA sequence into domains with a homogeneous composition of the four nucleotides A, C, G and T. This procedure can also be ...
NIPS
2008
15 years 1 months ago
2008
This paper describes a recursive estimation procedure for multivariate binary densities using orthogonal expansions. For d covariates, there are 2d basis coefficients to estimate,...
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— We propose a hybrid ARQ scheme using recursive convolutional codes and the turbo principle. In the first transmission the system encodes the data through a systematic ...
COCO
1995
Springer
15 years 3 months ago
1995
Springer
The instance complexity of a string x with respect to a set A and time bound t, ict (x : A), is the length of the shortest program for A that runs in time t, decides x correctly, ...