436 search results - page 8 / 88 » Recursion and Complexity |
CORR
2007
Springer
13 years 7 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
13 years 7 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
13 years 9 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
14 years 2 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
13 years 11 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, ...