3628 search results - page 222 / 726 » The Decision Diffie-Hellman Problem |
143
click to vote
FLAIRS
2008
15 years 5 months ago
2008
This paper describes an algorithm developed as a decision support system for SMT line operators and its purpose is to suggest changes in an existing feeder setup in order to impro...
134
click to vote
ICLP
2001
Springer
15 years 9 months ago
2001
Springer
In the paper we establish the xed-parameter complexity for several parameterized decision problems involving models, supported models and stable models of logic programs. We also e...
118
click to vote
DLOG
2008
15 years 6 months ago
2008
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...
156
click to vote
FLAIRS
2004
15 years 5 months ago
2004
We consider a novel class of applications where a set of activities conducted by a group of people over a time period needs to be planned, taking into account each member's p...
133
click to vote
ALGORITHMICA
2010
15 years 4 months ago
2010
We consider a graph with n vertices, and p < n pebbles of m colors. A pebble move consists of transferring a pebble from its current host vertex to an adjacent unoccupied verte...