2266 search results - page 441 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
DAC
2005
ACM
15 years 10 months ago
2005
ACM
In many of embedded systems, particularly for those with high data computations, the delay of memory access is one of the major bottlenecks in the system's performance. It ha...
KDD
2009
ACM
15 years 10 months ago
2009
ACM
There is a wide variety of data mining methods available, and it is generally useful in exploratory data analysis to use many different methods for the same dataset. This, however...
KDD
2006
ACM
15 years 10 months ago
2006
ACM
This paper describes a novel classification method for computer aided detection (CAD) that identifies structures of interest from medical images. CAD problems are challenging larg...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
A major challenge within open markets is the ability to satisfy service demand with an adequate supply of service providers, especially when such demand may be volatile due to cha...
ESOP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...