1615 search results - page 230 / 323 » Pathology in heuristic search |
CEC
2010
IEEE
13 years 5 months ago
2010
IEEE
The operation of drilling rigs is highly expensive. It is therefore important to be able to identify and analyse variables affecting rig operations. We investigate the use of Genet...
ISPD
2012
ACM
12 years 4 months ago
2012
ACM
In this paper, we propose a new approach for gated bus synthesis [16] with minimum wire capacitance per transaction in three-dimensional (3D) ICs. The 3D IC technology connects di...
SIGMOD
2012
ACM
11 years 11 months ago
2012
ACM
The advent of affordable, shared-nothing computing systems portends a new class of parallel database management systems (DBMS) for on-line transaction processing (OLTP) applicatio...
CADE
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
ACSC
2005
IEEE
14 years 2 months ago
2005
IEEE
One approach to tractably finding a solution to an NP-complete optimisation problem is heuristic, where the solution is inexact but quickly found; another approach is to reduce t...