1650 search results - page 215 / 330 » The HOM problem is decidable |
163
click to vote
UC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...
169
click to vote
WINE
2005
Springer
16 years 9 days ago
2005
Springer
We study the complexity issues for Walrasian equilibrium in a special case of combinatorial auction, called single-minded auction, in which every participant is interested in only ...
180
click to vote
EUROPAR
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. This paper is devoted to scheduling a large collection of independent tasks onto a distributed heterogeneous platform, which is composed of a set of servers. Each server ...
211
click to vote
GG
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In the context of graph transformation we look at the operation of switching, which can be viewed as an elegant method for realizing global transformations of (group-labe...
153
click to vote
JELIA
2004
Springer
16 years 6 days ago
2004
Springer
Boolean games are a class of two-player games which may be defined via a Boolean form over a set of atomic actions. A particular game on some form is instantiated by partitioning ...