7393 search results - page 981 / 1479 » Synthesis-for-testability using transformations |
168
click to vote
POLICY
2004
Springer
15 years 11 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
159
click to vote
PG
2003
IEEE
15 years 11 months ago
2003
IEEE
Motion capture is widely used for character animation. One of the major challenges of this technique is how to modify the captured motion in plausible ways. Previous work has focu...
170
click to vote
ESOP
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Dynamicprogramming is an importantalgorithm design technique. It is used for solving problems whose solutions involve recursively solving subproblems that share subsubpro...
209
click to vote
MM
1994
ACM
15 years 10 months ago
1994
ACM
In this paper we propose a technique for segmenting images by texture content with application to indexing images in a large image database. Using a quad-tree decomposition, textu...
161
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...