In a hands-busy and eyes-busy activity such as driving, spoken language technology is an important component of the multimodal human-machine interface (HMI) of an in-car infotainment system. Adding speech to the HMI introduces two distinct challenges: accurately acquiring the user’s speech in a noisy car environment, and creating a spoken dialog system that does not require the driver’s full at...

A distributed Java virtual machine called SingleJava based on thread migration is proposed in this paper. SingleJava can be used to build a distributed computing framework while keeping itself completely transparent to Java programmers. The main idea underlying is to improve the inevitable Java virtual machine in a Java based software system, i.e., adding a build-in distributed infrastructure t...

In this paper, we deal with the problem of implementing an abstract machine for a stochastic version of the Brane Calculus. Instead of defining an ad hoc abstract machine, we consider the generic stochastic abstract machine introduced by Lakin, Paulevé and Phillips. The nested structure of membranes is flattened into a set of species where the hierarchical structure is represented by means of n...

We focus on improving the translation of the English pronoun it and English reflexive pronouns in an English-Czech syntaxbased machine translation framework. Our evaluation both from intrinsic and extrinsic perspective shows that adding specialized syntactic and coreference-related features leads to an improvement in translation quality.

This paper describes a method of evaluating quality for developers of machine translation systems to easily check imperfections in their own systems. This evaluation method is a systematic, objective method along with test example sets in which we clarified the evaluation procedure by adding yes/no questions and explanations to the example sentences for evaluation.

We present a mathematically precise, platform-independent model of Java concurrency using the Abstract State Machine method. We cover all aspects of Java threads and synchronization, gradually adding details to the model in a series of steps. We motivate and explain each concurrency feature, and point out subtleties, inconsistencies and ambiguities in the o cial, informal Java speci cation.

HyperManyMedia is a search and browse information retrieval system that provides access to online learning materials. This system offers metadata/ontology-based searching mechanism that allows learners to enter a simple search term and then recommends them with metadata/semantically related terms (concepts/subconcepts). HyperManyMedia integrates several technological components, such as machine...

A major challenge for machine learning is increasing the availability of data while respecting the privacy of individuals. Differential privacy is a framework which allows algorithms to have provable privacy guarantees. Gaussian processes are a widely used approach for dealing with uncertainty in functions. This paper explores differentially private mechanisms for Gaussian processes. We compare...

A processing system is presented that implements simultaneously the efficiency of the special-purpose processor and the total applicability of the general-purpose computer characteristics commonly though of as being mutually exclusive. The solution adopted is that of specializing the machine by programming the hardware structure, rather than by adding software systems to it. Data are organized ...

Parallel kinematic mechanisms are interesting alternative designs for machining applications. Three 2-DOF parallel mechanism architectures dedicated to machining applications are studied in this paper. The three mechanisms have two constant length struts gliding along fixed linear actuated joints with different relative orientation. The comparative study is conducted on the basis of a same pres...