6315 search results - page 1118 / 1263 » Approximating Solution Structure |
104
click to vote
ECIS
2003
15 years 3 months ago
2003
In the corporate context, a combination of constant technological innovation and increasing competitiveness makes the management of information a huge challenge and requires decis...
116
click to vote
MSV
2004
15 years 3 months ago
2004
A large number of applications can be represented by quantified Boolean formulas (QBF). Although evaluating QBF is NP-hard and thus very difficult, there has been significant progr...
143
click to vote
NSDI
2004
15 years 3 months ago
2004
Structured peer-to-peer hash tables provide decentralization, self-organization, failure-resilience, and good worst-case lookup performance for applications, but suffer from high ...
113
Voted
IJCAI
2003
15 years 3 months ago
2003
There has been significant recent progress in reasoning and constraint processing methods. In areas such as planning and finite model-checking, current solution techniques can h...
106
click to vote
UAI
2004
15 years 3 months ago
2004
We present new MCMC algorithms for computing the posterior distributions and expectations of the unknown variables in undirected graphical models with regular structure. For demon...