348 search results - page 59 / 70 » Search Ordering Heuristics for Restarts-Based Constraint Sol... |
ISAAC
2003
Springer
14 years 20 days ago
2003
Springer
Abstract. We define an algorithm for determining, in a linear number of symbolic steps, the biconnected components of a graph implicitly represented with Ordered Binary Decision D...
ASC
2004
13 years 7 months ago
2004
A novel approach for solving fuzzy model-based stability problems via evolutionary computation (EC) is presented. Gain scheduling problem of a multi-model fuzzy system that satisf...
DFT
2006
IEEE
14 years 1 months ago
2006
IEEE
1 High temperature has become a major problem for system-on-chip testing. In order to reduce the test time while keeping the temperature of the chip under test within a safe range,...
CSR
2006
Springer
13 years 11 months ago
2006
Springer
Regular expression pattern matching is widely used in computational biology. Searching through a database of sequences for a motif (a simple regular expression), or its variations...
ICS
2005
Tsinghua U.
14 years 27 days ago
2005
Tsinghua U.
The Replica Placement Problem (RPP) aims at creating a set of duplicated data objects across the nodes of a distributed system in order to optimize certain criteria. Typically, RP...