Sciweavers

840 search results - page 117 / 168
» Adaptive Human-Robot Interaction System using Interactive EC
Sort
View
103
Voted
SIGOPSE
2004
ACM
15 years 9 months ago
Lessons and challenges in automating data dependability
Abstract: Designing and managing dependable systems is a difficult endeavor. In this paper, we describe challenges in this vast problem space, including provisioning and allocatin...
Kimberly Keeton, Dirk Beyer 0002, Jeffrey S. Chase...
93
Voted
ICCS
2003
Springer
15 years 8 months ago
Computational Science Simulations Based on Web Services
Abstract. We describe the software architecture of a system for doing multiphysics simulation of a coupled fluid, thermal, and mechanical fracture problem. The system is organized...
L. Paul Chew, Nikos Chrisochoides, S. Gopalsamy, G...
103
Voted
SIGGRAPH
1991
ACM
15 years 7 months ago
Reaction-diffusion textures
We present a method fortexturesynthesisbased on thesimulation of a process of local nonlinear interaction, called reaction-diffusion, which has been proposed as a model of biologi...
Andrew P. Witkin, Michael Kass
ISOLA
2010
Springer
15 years 2 months ago
A Theory of Mediators for Eternal Connectors
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...
Paola Inverardi, Valérie Issarny, Romina Sp...
129
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
Natural Language Proof Explanation
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
Armin Fiedler