3007 search results - page 55 / 602 » Linear Functional Fixed-points |
109
click to vote
STACS
1999
Springer
15 years 3 months ago
1999
Springer
The paper gives a logical characterisation of the class NTIME(n) of problems that can be solved on a nondeterministic Turing machine in linear time. It is shown that a set L of str...
126
click to vote
MICCAI
2009
Springer
16 years 7 days ago
2009
Springer
In functional Magnetic Resonance Imaging (fMRI) data analysis, normalization of time series is an important and sometimes necessary preprocessing step in many widely used methods. ...
AAECC
2006
Springer
14 years 11 months ago
2006
Springer
We describe a complete algorithm to compute the hypergeometric solutions of linear recurrence relations with rational function coefficients. We use the notion of finite singularit...
119
click to vote
AIPS
2006
15 years 1 months ago
2006
Markov decision processes (MDPs) with discrete and continuous state and action components can be solved efficiently by hybrid approximate linear programming (HALP). The main idea ...
CALCO
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Viewing discrete-time causal linear systems as (Mealy) coalgebras, we describe their semantics, minimization and realisation as universal constructions, based on the fin...