Sciweavers

32 search results - page 5 / 7
» ci 2010
Sort
View
CPM
2010
Springer
127views Combinatorics» more  CPM 2010»
14 years 1 months ago
Cover Array String Reconstruction
A proper factor u of a string y is a cover of y if every letter of y is within some occurrence of u in y. The concept generalises the notion of periods of a string. An integer arra...
Maxime Crochemore, Costas S. Iliopoulos, Solon P. ...
CORR
2010
Springer
84views Education» more  CORR 2010»
13 years 8 months ago
On some invariants in numerical semigroups and estimations of the order bound
Let S = {si}iIN IN be a numerical semigroup. For si S, let (si) denote the number of pairs (si -sj, sj) S2 . When S is the Weierstrass semigroup of a family {Ci}iIN of one-point...
Anna Oneto, Grazia Tamone
MICS
2010
77views more  MICS 2010»
13 years 7 months ago
Preemptive Scheduling of Equal-Length Jobs in Polynomial Time
We study the preemptive scheduling problem of a set of n jobs with release times and equal processing times on a single machine. The objective is to minimize the sum of the weighte...
George B. Mertzios, Walter Unger
PEPM
2010
ACM
13 years 10 months ago
A3PAT, an approach for certified automated termination proofs
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
Evelyne Contejean, Andrey Paskevich, Xavier Urbain...
PCM
2010
Springer
160views Multimedia» more  PCM 2010»
13 years 7 months ago
A Multi-pass VBR Rate Control Method for Video Plus Depth Based Mobile 3D Video Coding
Abstract. Video plus depth based 3D video gradually goes mobile. Taking into account the time-varying characteristics of wireless communication, this paper proposes a multi-pass va...
Yanwei Liu, Guangchao Peng, Yahui Hu, Song Ci, Hui...