1650 search results - page 222 / 330 » The HOM problem is decidable |
161
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
The Trading Agent Competition in its category Supply Chain Management (TAC SCM) is an international forum where teams construct agents that control a computer assembly company in ...
176
click to vote
ACTA
2010
15 years 6 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
158
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract--We investigate the relay selection problem in a network where users are able to collaborate with each other; decode and forward the messages of each other along with thei...
166
click to vote
ESWA
2008
15 years 6 months ago
2008
Associative classification is a promising classification approach that utilises association rule mining to construct accurate classification models. In this paper, we investigate ...
193
click to vote
GRID
2007
Springer
15 years 6 months ago
2007
Springer
In the facility location problem (FLP) we are given a set of facilities and a set of clients, each of which is to be served by one facility. The goal is to decide which subset of f...