348 search results - page 59 / 70 » Search Ordering Heuristics for Restarts-Based Constraint Sol... |
ISAAC
2003
Springer
15 years 4 months 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...
102
click to vote
ASC
2004
14 years 11 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
15 years 5 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,...
108
click to vote
CSR
2006
Springer
15 years 3 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...
132
click to vote
ICS
2005
Tsinghua U.
15 years 5 months 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...