1143 search results - page 94 / 229 » Mental models of recursion |
IS
2008
13 years 9 months ago
2008
In spatial networks, clustering adjacent data to disk pages is highly likely to reduce the number of disk page accesses made by the aggregate network operations during query proce...
DAC
2000
ACM
14 years 10 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
LICS
2009
IEEE
14 years 3 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
ICMCS
2007
IEEE
14 years 3 months ago
2007
IEEE
Particle filter is a sequential Monte Carlo method for object tracking in a recursive Bayesian filtering framework. The efficiency and accuracy of the particle filter depends on t...
TLCA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...