Sciweavers

2446 search results - page 306 / 490
» Choiceless Polynomial Time
Sort
View
157
Voted
CATS
2008
15 years 5 months ago
Parameterized Complexity of the Clique Partition Problem
The problem of deciding whether the edge-set of a given graph can be partitioned into at most k cliques is well known to be NP-complete. In this paper we investigate this problem ...
Egbert Mujuni, Frances A. Rosamond
137
Voted
IPCO
2007
81views Optimization» more  IPCO 2007»
15 years 5 months ago
Matching Problems in Polymatroids Without Double Circuits
According to the present state of the theory of the matroid matching problem, the existence of a good characterization to the size of a maximum matching depends on the behavior of ...
Márton Makai, Gyula Pap, Jácint Szab...
111
Voted
AAAI
2006
15 years 5 months ago
Reasoning about Discrete Event Sources
We investigate the modelling of workflows, plans, and other event-generating processes as discrete event sources and reason about the possibility of having event sequences ending ...
Shieu-Hong Lin
161
Voted
ACID
2006
264views Algorithms» more  ACID 2006»
15 years 5 months ago
A Parameterized View on Matroid Optimization Problems
Matroid theory gives us powerful techniques for understanding combinatorial optimization problems and for designing polynomial-time algorithms. However, several natural matroid pr...
Dániel Marx
113
Voted
DLOG
2004
15 years 5 months ago
On Subsumption and Instance Problem in ELH w.r.t. General TBoxes
Recently, it was shown for the DL EL that subsumption and instance problem w.r.t. cyclic terminologies can be decided in polynomial time. In this paper, we show that both problems...
Sebastian Brandt