1795 search results - page 225 / 359 » On the Complexity of Circuit Satisfiability |
102
Voted
PDPTA
2003
15 years 2 months ago
2003
Common binary arithmetic operations such as addition/subtraction and multiplication suffer from O(n) carry propagation delay where n is the number of digits. Carry lookahead helps...
125
click to vote
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...
92
Voted
CORR
2007
Springer
15 years 24 days ago
2007
Springer
The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Büchi, regular languages have been classified according ...
99
Voted
ESWA
2007
15 years 23 days ago
2007
Packaging is classified as one of back-end processes in the integrated circuits (ICs) manufacturing, highly capital-intensive and involves complex processes. Unlike the front-end...
JRTIP
2007
15 years 21 days ago
2007
The trace transform is a novel algorithm that has been shown to be effective in a number of image recognition tasks. It is a generalisation of the Radon transform that has been wid...