5350 search results - page 195 / 1070 » Space and time in eco-ontologies |
175
click to vote
CSDA
2008
15 years 6 months ago
2008
The purpose of this paper is to forecast the time evolution of a binary response variable from an associated continuous time series observed only at discrete time points that usual...
204
click to vote
STOC
2012
ACM
13 years 9 months ago
2012
ACM
We give the first time-space tradeoff lower bounds for Resolution proofs that apply to superlinear space. In particular, we show that there are formulas of size N that have Reso...
156
click to vote
SPAA
2010
ACM
15 years 11 months ago
2010
ACM
In dynamically multithreaded platforms that employ work stealing, there appears to be a fundamental tradeoff between providing provably good time and space bounds and supporting S...
154
click to vote
ICALP
1994
Springer
15 years 10 months ago
1994
Springer
We introduce a formal framework to study the time and space complexity of computing with faulty memory. For the fault-free case, time and space complexities were studied using the...
164
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper introduces a new algorithm dedicated to the rigorous reachability analysis of nonlinear dynamical systems. The algorithm is initially presented in the context of discre...