62 search results - page 3 / 13 » Modified bar recursion |
GD
1998
Springer
14 years 1 months ago
1998
Springer
We describe a new approach for cluster-based drawing of very large graphs, which obtains clusters by using binary space partition (BSP) trees. We also introduce a novel BSP-type de...
MVA
1996
13 years 11 months ago
1996
An adaptive object recognition scheme for image sequences of many object scenes is described. The scheme is applied for t r d c object recognition under ego-motion. The recursive ...
AUTOMATICA
2005
13 years 9 months ago
2005
State estimation problems for linear time-invariant systems with noisy inputs and outputs are considered. An efficient recursive algorithm for the smoothing problem is presented. ...
DEBU
1999
13 years 9 months ago
1999
WOL is a Horn-clause language for specifying transformations involving complex types and recursive data-structures. Its declarative syntax makes programs easy to modify in respons...
ENTCS
2006
13 years 9 months ago
2006
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...