3670 search results - page 46 / 734 » Linear Recursive Functions |
138
click to vote
OSDI
1996
ACM
15 years 3 months ago
1996
ACM
This paper describes a novel approach to providingmodular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtu...
100
Voted
DLT
2008
15 years 3 months ago
2008
The present work clarifies the relation between domains of universal machines and r.e. prefix-free supersets of such sets. One such characterisation can be obtained in terms of the...
153
Voted
LICS
2012
IEEE
13 years 4 months ago
2012
IEEE
—We show how to reliably compute fast-growing functions with timed-arc Petri nets and data nets. This construction provides ordinal-recursive lower bounds on the complexity of th...
111
Voted
SLOGICA
2008
15 years 18 days ago
2008
We consider the decision problem for cases of first-order temporal logic with function symbols and without equality. The monadic monodic fragment with flexible functions can be dec...
113
Voted
ICML
2006
IEEE
16 years 3 months ago
2006
IEEE
The recent Predictive Linear Gaussian model (or PLG) improves upon traditional linear dynamical system models by using a predictive representation of state, which makes consistent...