2128 search results - page 90 / 426 » A general characterization of indulgence |
116
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
We consider a general class of timed automata parameterized by a set of "input-determined" operators, in a continuous time setting. We show that for any such set of opera...
120
click to vote
CCIA
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The operation of base contraction was successfully characterized for a very general class of logics using the notion of remainder sets. Although, in the general case, thi...
131
click to vote
DKE
2006
15 years 4 months ago
2006
Inconsistencies frequently occur in news about the real-world. Some of these inconsistencies may be more significant than others, and some news may contain more inconsistencies th...
129
click to vote
PE
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we study the problem of dynamic allocation of the resources of a general parallel processing system, comprised of M heterogeneous processors and M heterogeneous tra...
158
click to vote
IPL
2007
15 years 4 months ago
2007
In this paper, we consider the parameterized complexity of the following problem: Given a hereditary property P on digraphs, an input digraph D and a positive integer k, does D ha...