7225 search results - page 1192 / 1445 » On the Computational Power of Biochemistry |
109
click to vote
CP
2008
Springer
15 years 3 months ago
2008
Springer
Decomposition is a powerful technique for reducing the size of a backtracking search tree. However, when solving constraint optimization problems (COP's) the standard techniqu...
131
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Many real-world applications of AI require both probability and first-order logic to deal with uncertainty and structural complexity. Logical AI has focused mainly on handling com...
132
click to vote
ACRI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Network decontamination (or disinfection) is a widely studied problem in distributed computing. Network sites are assumed to be contaminated (e.g., by a virus) and a team...
129
click to vote
FPGA
2008
ACM
15 years 3 months ago
2008
ACM
A design tool for routing channel segmentation in islandstyle FPGAs is presented. Given the FPGA architecture parameters and a set of benchmark designs, the tool optimizes routing...
112
click to vote
ISLPED
2007
ACM
15 years 3 months ago
2007
ACM
In this paper we propose a design methodology for low-power, high-performance, process-variation tolerant architecture for arithmetic units. The novelty of our approach lies in th...