2208 search results - page 237 / 442 » On Issues of Instance Selection |
113
click to vote
JSAT
2008
15 years 4 months ago
2008
We introduce a new jump strategy for look-ahead based satisfiability (Sat) solvers that aims to boost their performance on satisfiable formulae, while maintaining their behavior o...
132
click to vote
JCM
2006
15 years 4 months ago
2006
- Current wireless systems are called vendor-central systems because, users should subscribe to a service provider (vendor) and receive the service through the spectrum assigned to...
107
click to vote
EOR
2007
15 years 4 months ago
2007
A multiobjective combinatorial optimization (MOCO) formulation for the following location-routing problem in healthcare management is given: For a mobile healthcare facility, a cl...
119
Voted
BEHAVIOURIT
2005
15 years 4 months ago
2005
Touchpad devices are widely used but lacking in pointing efficiency. The TouchGrid, an instance of what we term cell cursors, replaces moving the cursor through dragging the finger...
143
click to vote
TEC
2008
15 years 4 months ago
2008
Under mild conditions, it can be induced from the Karush-Kuhn-Tucker condition that the Pareto set, in the decision space, of a continuous multiobjective optimization problem is (m...