Sciweavers

3483 search results - page 9 / 697
» Forward
Sort
View
WIA
2007
Springer
15 years 3 months ago
Backward and Forward Bisimulation Minimisation of Tree Automata
We improve an existing bisimulation minimisation algorithm for tree automata by introducing backward and forward bisimulations and developing minimisation algorithms for them. Mini...
Johanna Högberg, Andreas Maletti, Jonathan Ma...
ORL
2007
97views more  ORL 2007»
14 years 9 months ago
Analysis on the forward market equilibrium model
We establish the existence results for the Allaz–Vila [B. Allaz, J.-L. Vila, Cournot competition, forward markets and efficiency, J. Econ. Theory 59 (1993) 1–16] forward mark...
Che-Lin Su
CVPR
2007
IEEE
15 years 11 months ago
Moving Forward in Structure From Motion
It is well-known that forward motion induces a large number of local minima in the instantaneous least-squares reprojection error. This is caused in part by singularities in the e...
Andrea Vedaldi, Gregorio Guidi, Stefano Soatto
ICCD
2005
IEEE
135views Hardware» more  ICCD 2005»
15 years 6 months ago
Extended Forward Implications and Dual Recurrence Relations to Identify Sequentially Untestable Faults
In this paper, we make two major contributions: First, to enhance Boolean learning, we propose a new class of logic implications called extended forward implications. Using a nove...
Manan Syal, Rajat Arora, Michael S. Hsiao