882 search results - page 109 / 177 » Local Search for Very Large SAT Problems |
126
click to vote
ICWSM
2009
15 years 1 months ago
2009
We present a novel problem of searching for `familiar strangers' in a social network. Familiar strangers are individuals who are not directly connected but exhibit some simil...
136
click to vote
EH
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes a multi-objective Evolutionary Algorithm (EA) system for the synthesis of efficient non-linear VLSI circuit modules. The EA takes the specification for a no...
131
click to vote
IJCAI
2001
15 years 5 months ago
2001
Boolean linear programs (BLPs) are ubiquitous in AI. Satisfiability testing, planning with resource constraints, and winner determination in combinatorial auctions are all example...
153
click to vote
ICDCN
2009
Springer
15 years 10 months ago
2009
Springer
The research community has witnessed a large interest in monitoring large scale distributed systems. In these applications typically we wish to monitor a global system condition wh...
145
click to vote
IJON
2007
15 years 3 months ago
2007
This paper addresses the problem of variable ranking for Support Vector Regression. The relevance criteria that we proposed are based on leave-one-out bounds and some variants and...