6976 search results - page 208 / 1396 » The Oil Searching Problem |
170
click to vote
SIES
2007
IEEE
16 years 25 days ago
2007
IEEE
— The research field of partitioning for electronic systems started to attract significant attention of scientists about fifteen years ago. Gaining ever more importance due to...
167
click to vote
GECCO
2007
Springer
16 years 22 days ago
2007
Springer
Markov Networks (also known as Markov Random Fields) have been proposed as a new approach to probabilistic modelling in Estimation of Distribution Algorithms (EDAs). An EDA employ...
148
click to vote
GLVLSI
2005
IEEE
16 years 5 days ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
142
click to vote
SAC
2005
ACM
16 years 3 days ago
2005
ACM
This paper addresses single and multiple container loading problems. We propose to use dynamic prioritization to handle awkward box types. The box type with a higher priority will...
139
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
Recent progress in Distributed Constraint Optimization Problems (DCOP) has led to a range of algorithms now available which differ in their amount of problem centralization. Probl...