Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
Abstract. This paper presents an online detection and resolution method for feature interactions among integrated services in home network systems. To achieve reasonable online det...
Abstract In the scientific literature, it is generally assumed that models can be completely established before the diagnosis analysis. However, in the actual maintenance problems,...
The Wizard of Oz experiment method has a long tradition of acceptance and use within the field of human-robot interaction. The community has traditionally downplayed the importanc...
Aaron Steinfeld, Odest Chadwicke Jenkins, Brian Sc...
Very large interactive wall displays do not lend themselves to use with traditional interaction modalities such as mice and keyboards. It is necessary that we develop new interact...
David England, Eva Hornecker, Chris Roast, Pablo R...