29908 search results - page 323 / 5982 » On the Complexity of |
196
click to vote
ALGORITHMICA
2010
15 years 6 months ago
2010
Abstract. We consider the variant of the classical Stable Marriage problem where preference lists can be incomplete and may contain ties. In such a setting, finding a stable matchi...
148
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Type I signal peptidases (SPases) are essential membrane-bound serine proteases responsible for the cleavage of signal peptides from proteins that are translocated acr...
161
click to vote
CAL
2008
15 years 6 months ago
2008
This article proposes a novel parallel, hardware-oriented deadlock detection algorithm for multiprocessor system-on-chips. The proposed algorithm takes full advantage of hardware ...
151
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The standard reasoning problem, concept satisfiability, in the basic description logic ALC is PSPACE-complete, and it is EXPTIMEcomplete in the presence of unrestricted axioms. Sev...
125
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Currently engineering efficient and successful event-driven applications based on the emerging Complex Event Processing (CEP) technology, is a laborious trial and error process. T...