874 search results - page 151 / 175 » Computing Weighted Solutions in Answer Set Programming |
106
click to vote
KI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
134
click to vote
BROADNETS
2004
IEEE
15 years 6 months ago
2004
IEEE
Channel-aware scheduling and link adaptation (LA) methods are widely considered to be crucial for realizing high data rates in wireless networks. Multi-carrier systems that spread...
115
Voted
KDD
2000
ACM
15 years 6 months ago
2000
ACM
Predictive models in direct marketing seek to identify individuals most likely to respond to promotional solicitations or other intervention programs. While standard modeling appr...
119
Voted
BIBE
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—We consider the problem of aligning multiple protein sequences with the goal of maximizing the SP (Sum-of-Pairs) score, when the number of sequences is large. The QOMA (...
169
click to vote
FOCS
2004
IEEE
15 years 6 months ago
2004
IEEE
We prove the existence of tolls to induce multicommodity, heterogeneous network users that independently choose routes minimizing their own linear function of tolls versus latency...