1940 search results - page 140 / 388 » Graph Transformation with Variables |
151
Voted
ICVGIP
2004
15 years 4 months ago
2004
We present a new active active recognition scheme (using an uncalibrated camera) based on a new idea, appearancebased aspect graphs. The scheme is robust to background clutter, an...
160
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
In order to extract high levels of performance from modern parallel architectures, the effective management of deep memory hierarchies is very important. While architectural advan...
119
Voted
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
127
Voted
CGF
2008
15 years 3 months ago
2008
We present an unsupervised algorithm for aligning a pair of shapes in the presence of significant articulated motion and missing data, while assuming no knowledge of a template, u...
121
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this note, an algebraic approach for state estimation of linear time-varying (LTV) systems is introduced. This approach is based on the following mathematical tools: Laplace...