Abstract. We propose results ensuring properties of a component-based system from properties of its interaction model and of its components. We consider here deadlock-freedom and l...
Verbal and non-verbal interaction capabilities for robots are often studied isolated from each other in current research trend because they largely contribute to different aspects...
A panel of individuals with expertise in the railroad industry provides an overview of Simulation within the Railroad Environment. The panelists discuss their work and highlight t...
Harald Krueger, Eric Vaillancourt, Ann M. Drummie,...
Image-based modeling is a longstanding research topic in computer vision. Reconstruction based on a single image is a particularly difficult example. This paper presents a simple...
One of the simplest creative act is the invention of a new word that captures some characteristics of objects or processes, for example industrial or software products, activity of...