9532 search results - page 123 / 1907 » Logic, Graphs, and Algorithms |
101
click to vote
ICCD
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper introduces a new method for two-level logic minimization. Unlike previous approaches, the new method uses a SAT solver as an underlying engine. While the overall minimi...
JAPLL
2010
14 years 9 months ago
2010
The previously introduced algorithm SQEMA computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend SQEMA with an additional rule...
ICC
2007
IEEE
15 years 5 months ago
2007
IEEE
—In this paper, we propose a novel vertical handoff decision algorithm for overlay wireless networks consisting of cellular and wireless local area networks (WLANs). The target n...
114
click to vote
EUROGP
2003
Springer
15 years 4 months ago
2003
Springer
This paper presents a method of using genetic programming to seek new cellular automata that perform computational tasks. Two genetic algorithms are used : the first one discovers ...
SCP
2008
14 years 11 months ago
2008
In [5] we build a formal verification technique for game based correctness proofs of cryptograhic algorithms based on a probabilistic Hoare style logic [10]. An important step towa...