881 search results - page 93 / 177 » Solving satisfiability problems with preferences |
115
click to vote
JUCS
2008
15 years 2 months ago
2008
: This paper describes a new hybrid technique that combines a Greedy Randomized Adaptive Search Procedure (GRASP) and a genetic algorithm with simulation features in order to solve...
113
click to vote
TIT
2002
15 years 2 months ago
2002
Abstract--We adapt methods originally developed in information and coding theory to solve some testing problems. The efficiency of two-stage pool testing of items is characterized ...
137
click to vote
ISAAC
2010
Springer
15 years 25 days ago
2010
Springer
The concept of neighbor system, introduced by Hartvigsen (2009), is a set of integral vectors satisfying a certain combinatorial property. In this paper, we reveal the relationship...
104
click to vote
LPAR
2010
Springer
15 years 25 days ago
2010
Springer
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...
EJWCN
2010
14 years 9 months ago
2010
Abstract--We consider noncooperative energy-efficient resource allocation in the interference channel. Energy-efficiency is achieved when each system pays a price proportional to i...