Abstract Automated additive printer farms, which operate several printers in parallel and thus increase the productivity, are an efficient way to realize a fully flexible mass production, as has been shown by number of examples. By means specifically developed calculation method virtual representations various farm concepts simulation environment, analyzed regarding cost structure productivity....

In this contribution we present a variant of a resolution theorem prover which selects resolution steps based on the proportion of models a newly generated clause satisfies compared to all models given in a reference class. This reference class is generated from a subset of the initial clause set. Since the empty clause does not satisfy any models, preference is given to such clauses which sati...

This paper presents a study on the automatic characterization of negative emotion in a context of voice service, based on the calculation of acoustic parameters from the speech signal and a LDA classifier. The novelty of this study lies in the application-specific constraints (type of dialog, ASR connection) imposed on the emotion characterization system, and in the solutions proposed to this p...