Sciweavers

1361 search results - page 87 / 273
» Boolean Comparison by Simulation
Sort
View
DAC
2009
ACM
14 years 9 months ago
BDD-based synthesis of reversible logic for large functions
Reversible logic is the basis for several emerging technologies such as quantum computing, optical computing, or DNA computing and has further applications in domains like low-pow...
Robert Wille, Rolf Drechsler
LATA
2009
Springer
14 years 2 months ago
Rigid Tree Automata
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a rest...
Florent Jacquemard, Francis Klay, Camille Vacher
GLVLSI
2008
IEEE
120views VLSI» more  GLVLSI 2008»
14 years 2 months ago
SAT-based equivalence checking of threshold logic designs for nanotechnologies
Novel nano-scale devices have shown promising potential to overcome physical barriers faced by complementary metaloxide semiconductor (CMOS) technology in future circuit design. H...
Yexin Zheng, Michael S. Hsiao, Chao Huang
ISVC
2007
Springer
14 years 2 months ago
Feature-Adaptive Motion Energy Analysis for Facial Expression Recognition
In this paper, we present a facial expression recognition method using feature-adaptive motion energy analysis. Our method is simplicityoriented and avoids complicated face model r...
Sungkyu Noh, Hanhoon Park, Yoonjong Jin, Jong-Il P...
ICDAR
2005
IEEE
14 years 1 months ago
An Approach towards Benchmarking of Table Structure Recognition Results
After developing a model free table recognition system we wanted to tune parameters in order to optimize the recognition performance. Therefore we developed a benchmarking environ...
Thomas Kieninger, Andreas Dengel