546 search results - page 8 / 110 » Extended Null-Move Reductions |
123
Voted
ISMVL
2010
IEEE
15 years 8 months ago
2010
IEEE
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
96
Voted
DAC
2005
ACM
16 years 4 months ago
2005
ACM
In this paper an optimization based model order reduction (MOR) framework is proposed. The method involves setting up a quasiconvex program that explicitly minimizes a relaxation ...
127
Voted
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
103
Voted
ICIP
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present a spatial resolution reduction transcoding architecture for H.264/AVC, which extends open-loop transcoding with a low-complexity compensation technique i...
121
Voted
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, we build upon recent advances in neuroscience research which have shown that control of the human hand during grasping is dominated by movement in a configurati...