: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
Mario Friske, Bernd-Holger Schlingloff, Stephan We...
In this project, nonlinear characteristics on the rolling interface of a linear guide were studied by the finite element analysis and experimental verification. Contact of the b...
The use of textures provides a rich and diverse set of possibilities for the visualization of flow data. In this paper, we present methods designed to produce oriented and contro...
Francesca Taponecco, Timothy Urness, Victoria Inte...
We introduce a new multi-threaded parsing algorithm on unification grammars designed specifically for multimodal interaction and noisy environments. By lifting some traditional co...
This article presents a robust EDA for global optimization with real parameters. The approach is based on the linear combination of individuals of two populations. One is the curr...