264 search results - page 43 / 53 » On the possibility of faster SAT algorithms |
ARITH
2009
IEEE
15 years 4 months ago
2009
IEEE
Hardware implementation of all the basic radix-10 arithmetic operations is evolving as a new trend in the design and implementation of general purpose digital processors. Redundan...
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
Conventional high-level synthesis algorithms usually employ multi-cycle operators to reduce the cycle length in order to improve the circuit performance. These operators need seve...
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
This contribution is the first to discover exploitable structural features within circuit optimization problems (COP) and discuss how it is indicative of a general structure and ...
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
In retransmission-based error-control methods, the most fundamental yet the paramount problem is to determine how long the sender (or the receiver) should wait before deciding tha...
DAGM
1999
Springer
15 years 2 months ago
1999
Springer
This paper presents a statistical algorithm for collaborative mobile robot localization. Our approach uses a sample-based version of Markov localization, capable of localizing mob...