1638 search results - page 71 / 328 » Properties of input-consuming derivations |
SPATIALCOGNITION
2004
Springer
15 years 3 months ago
2004
Springer
Two experiments are presented studying interrelations between spatial properties of environments and both experience and spatial behavior. In order to systematically study such int...
WSC
2001
14 years 11 months ago
2001
Variance is a classical measure of a point estimator's sampling error. In steady-state simulation experiments, many estimators of this variance--or its square root, the stand...
RTA
2010
Springer
15 years 1 months ago
2010
Springer
For the whole class of linear term rewriting systems and for each integer k, we define k-bounded rewriting as a restriction of the usual notion of rewriting. We show that the k-bo...
JAIR
2006
14 years 10 months ago
2006
In a field of research about general reasoning mechanisms, it is essential to have appropriate benchmarks. Ideally, the benchmarks should reflect possible applications of the deve...
SIAMCOMP
2008
14 years 9 months ago
2008
The Graph Theorem of classical recursion theory states that a total function on the natural numbers is computable, if and only if its graph is recursive. It is known that this res...