17770 search results - page 19 / 3554 » A Generalization of Forward-Backward Algorithm |
159
click to vote
NFM
2011
14 years 4 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
135
click to vote
CVPR
2011
IEEE
14 years 1 months ago
2011
IEEE
This paper deals with generalized procrustes analysis. This is the problem of registering a set of shape data by estimating a reference shape and a set of rigid transformations gi...
ICCV
2011
IEEE
13 years 9 months ago
2011
IEEE
In this paper, we show how to reconstruct both 3D shape and 2D texture of a class of surfaces from a single perspective image. We consider the so-called the generalized cylindrica...
DAC
2011
ACM
13 years 9 months ago
2011
ACM
DVFS remains an important energy management technique for embedded systems. However, its negative impact on transient fault rates has been recently shown. In this paper, we propos...
104
click to vote
IEEECGIV
2009
IEEE
14 years 7 months ago
2009
IEEE
Shape grammars play an important role in a new generation of tools for the analysis and design of products. In this work we present a general tool named Shape Grammar Interpreter (...