16091 search results - page 356 / 3219 » Solving |
168
click to vote
CGO
2003
IEEE
15 years 12 months ago
2003
IEEE
Many processor architectures provide a set of addressing modes in their address generation units. For example DSPs (digital signal processors) have powerful addressing modes for e...
136
click to vote
ICTAI
2003
IEEE
15 years 12 months ago
2003
IEEE
Local search-based methods of SAT solving have received a significant attention in the last decade. All local search-based methods choose the next truth assignment by flipping t...
178
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
165
click to vote
WECWIS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we investigate the use of reinforcement learning (RL) techniques to the problem of determining dynamic prices in an electronic retail market. As representative mode...
162
click to vote
AI
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper, we study the behaviour of the Scaling and Probabilistic Smoothing (SAPS) dynamic local search algorithm on the unweighted MAXSAT problem. MAX-SAT is a conc...