8496 search results - page 236 / 1700 » Problem Solving and Complex Systems |
166
click to vote
HICSS
2005
IEEE
16 years 4 days ago
2005
IEEE
In this paper we formulate a combinatorial auction brokering problem as a set packing problem and apply a simulated annealing heuristic with hybrid local moves to solve the proble...
178
click to vote
ICALP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We study – within the framework of propositional proof complexity – the problem of certifying unsatisfiability of CNF formulas under the promise that any satisfiabl...
175
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
We discuss the problem of fitting an implicit shape model to a set of points sampled from a co-dimension one manifold of arbitrary topology. The method solves a non-convex optimis...
164
click to vote
WABI
2005
Springer
16 years 14 hour ago
2005
Springer
Abstract. In this paper, we use integer programming approach for solving a hard combinatorial optimization problem, namely protein threading. For this sequence-to-structure alignme...
156
click to vote
IFIP3
2008
15 years 8 months ago
2008
The Web is widely used, in educational settings, typically as a repository of contents to be learned. Within this approach, the Web-searching process tends to be perceived merely a...