2410 search results - page 269 / 482 » Multiset Ordering Constraints |
146
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
138
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
Sharing has emerged as a key idea of static and adaptive stream query processing systems. Inherent in these systems is a tension between sharing common work and avoiding unnecessa...
158
click to vote
ACSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
Wireless networks of low-power sensing devices are poised to become a ubiquitous part of the computing landscape. Proposed applications of these networks range from health care to...
172
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
† Noise performance is a critical analog and RF circuit design constraint, and can impact the selection of the IC system-level architecture. It is therefore imperative that some ...
172
click to vote
ICTAI
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a simple ¢¤£¦¥¨§© Evolution Strategy and three simple selection criteria to solve engineering optimization problems. This approach avoids the use of a...