8496 search results - page 236 / 1700 » Problem Solving and Complex Systems |
124
Voted
HICSS
2005
IEEE
15 years 8 months 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...
126
Voted
ICALP
2007
Springer
15 years 8 months 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...
129
click to vote
ICML
2005
IEEE
16 years 3 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...
109
click to vote
WABI
2005
Springer
15 years 8 months 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...
103
click to vote
IFIP3
2008
15 years 4 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...