This document supplements Section 3 of the main paper. In particular, it includes the following: 1. Our segmentation initialization system illustrated by example (supplements Section 3.2). 2. Results illustrating the versatility of our segmentation initialization system for three segmentation tools (supplements Section 3.2). 3. Results illustrating the performance of our predicted initializatio...

This paper presents an adaptive rate control initialization algorithm for H.264 at low bit rate. First we search the best initialization quantization parameters that used to generate a reconstructed video sequence with highest quality and reconstructed video sequence quality without extremely change of GOP (Group of Pictures) in different characteristic video sequence and different low bit rate...

References 414 Index 415 List of Tables 1 Sample bibclean initialization file. 401 2 Escape sequences in quoted strings. 401 3 Initialization file pattern characters. 402

We exhibit a grey area in the speciication of Java and of its implementation through the Java Virtual Machine (JVM): the treatment of initialization of classes and interfaces. We report the result of our experiments with diierent implementations of Java, which connrm the theoretical prediction of our work on mathematical models for Java 4] and the JVM 3], namely that the designers of Java and t...

Tight field bounds have been successfully used in the context of bounded-exhaustive bug finding. They allow one to check the correctness of, or find bugs in, code manipulating data structures whose size made this kind of analyses previously infeasible. In this article we address the question of whether tight field bounds can also contribute to a significant speed-up for symbolic execution when ...

Maximum entropy (MaxEnt) models have been used in many spoken language tasks. The training of a MaxEnt model often involves an iterative procedure that starts from an initial parameterization and gradually updates it towards the optimum. Due to the convexity of its objective function (hence a global optimum on a training set), little attention has been paid to model initialization in MaxEnt tra...

Nonnegative Matrix Factorization (NMF) is an approximative low-rank matrix factorization which is frequently applied for source separation of audio signals (see e.g. [1]). The quality of source separation algorithms using NMF strongly depends on the initialization of the NMF. Very often, random values are used for initialization. Several other initialization strategies have been developed, with...

Modelica is a multi-domain object-oriented modeling language designed for time-dependent systems. The timedependent part is usually described with “ordinary differential equations”. In addition to that, it is possible to express algebraic and difference equations. As a result a Modelica model will be merged to a hybrid differential algebraic equation system. The initialization process is prior ...