202 search results - page 11 / 41 » sum 2009 |
SUM
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Logic-based argumentation offers an approach to querying and revising multiple ontologies that are inconsistent or incoherent. A common assumption for logic-based argumen...
SUM
2009
Springer
14 years 2 months ago
2009
Springer
Database techniques to store, query and manipulate data that contains uncertainty receives increasing research interest. Such UDBMSs can be classified according to their underlyin...
STACS
2009
Springer
14 years 4 months ago
2009
Springer
We present a unified optimal semi-online algorithm for preemptive scheduling on uniformly related machines with the objective to minimize the makespan. This algorithm works for a...
ISSAC
2009
Springer
14 years 4 months ago
2009
Springer
We extend Zeilberger’s approach to special function identities to cases that are not holonomic. The method of creative telescoping is thus applied to definite sums or integrals...
SPIRE
2009
Springer
14 years 4 months ago
2009
Springer
We introduce a symbol reordering technique that implicitly synchronizes variable-length codes, such that it is possible to directly access the i-th codeword without need of any sam...