2550 search results - page 431 / 510 » Difference Decision Diagrams |
145
click to vote
AMAI
2005
Springer
15 years 6 months ago
2005
Springer
Many algorithms for Boolean satisfiability (SAT) work within the framework of resolution as a proof system, and thus on unsatisfiable instances they can be viewed as attempting to...
198
click to vote
AMAI
2005
Springer
15 years 6 months ago
2005
Springer
We consider auction design in a setting with costly preference elicitation. Well designed auctions can help to avoid unnecessary elicitation while determining efficient allocations...
194
click to vote
SPE
2008
15 years 6 months ago
2008
: Integration of multiple data sources is becoming increasingly important for enterprises that cooperate closely with their partners for e-commerce. OLAP enables analysts and decis...
170
click to vote
IPM
2007
15 years 6 months ago
2007
An information retrieval performance measure that is interpreted as the percent of perfect performance (PPP) can be used to study the effects of the inclusion of specific documen...
160
click to vote
TIT
2008
15 years 6 months ago
2008
The decentralized sequential hypothesis testing problem is studied in sensor networks, where a set of sensors receive independent observations and send summary messages to the fusi...