Sciweavers

4255 search results - page 112 / 851
» Cover
Sort
View
141
Voted
AMAI
2000
Springer
15 years 6 months ago
On Solving Boolean Optimization with Satisfiability-Based Algorithms
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Comp...
Vasco M. Manquinho, João P. Marques Silva
120
Voted
AAAI
2008
15 years 5 months ago
Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT
The survey propagation (SP) algorithm has been shown to work well on large instances of the random 3-SAT problem near its phase transition. It was shown that SP estimates marginal...
Hai Leong Chieu, Wee Sun Lee
104
Voted
IGARSS
2009
15 years 10 days ago
Developing New Spectral Indices for Karst Rocky Desertification Monitoring in Southwest China
Karst rocky desertification is a special kind of land desertification developed under violent human impacts on the vulnerable eco-geo-environment of karst ecosystem. The fractiona...
Yuemin Yue, Kelin Wang, Junsheng Li, Bing Zhang, B...
222
Voted

Book
359views
17 years 23 days ago
C++ Annotations
"This document is intended for knowledgeable users of C (or any other language using a C-like grammar, like Perl or Java) who would like to know more about, or make the transi...
Frank B. Brokken
100
Voted
FOCS
2009
IEEE
15 years 9 months ago
Approximability of Combinatorial Problems with Multi-agent Submodular Cost Functions
Abstract— Applications in complex systems such as the Internet have spawned recent interest in studying situations involving multiple agents with their individual cost or utility...
Gagan Goel, Chinmay Karande, Pushkar Tripathi, Lei...