Environment - Application - Adaptation: a Community Architecture for Ambient Intelligence
Graph Chatbot
Chattez avec Graph Search
Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.
The formal specification component of verification can be exported to simulation through the idea of property checkers. The essence of this approach is the automatic construction of an observer from the specification in the form of a program that can be in ...
Sensing devices are increasingly being deployed to monitor the physical world around us. One class of application for which sensor data is pertinent is environmental decision support systems, e.g., flood emergency response. For these applications, the sens ...
Virtual communities of practice are gaining importance as mean of sharing and exchanging knowledge. In such environments, information reuse is of major concern. In this paper, we outline the importance of structuring documents in order to facilitate the re ...
Industrial Management & Information Systems Lab, Dept. of Mechanical Engineering & Aeronautics, University of Patras2008
From conception to realization, Microrobotics: Methods and Applications covers all aspects of miniaturized systems that physically interact and manipulate objects at the microscale. It provides a solid understanding of this multidisciplinary field, which c ...
Computers have become affordable, small, omnipresent and are often connected to the Internet. However, despite the availability of such rich environments, user interfaces have not been adapted to fully leverage their potential. In our view, user interfaces ...
We present ConfErr, a tool for testing and quantifying the resilience of software systems to human-induced configuration errors. ConfErr uses human error models rooted in psychology and linguistics to generate realistic configuration mistakes; it then inje ...
This paper describes the development and application of a new unique tool to support designers to optimise the sustainability of urban neighbourhoods (SUNtool). In this the paper introduces (i) the software architecture, (ii) the integrated solver and rela ...
Today computers are part of the standard equipment of modern surgery rooms. They assist surgeons in performing complex procedures that would not be possible otherwise. However, despite the availability of more powerful and complex computer systems, their u ...
A multidisciplinary and shared computerized
patient record (CPR) has been progressively
implemented since 2002 for all public hospitals
in the State of Valais, Switzerland. This paper
presents the results of a formal evaluation of
user’s satisfaction ...
The call for papers for this workshop starts with the observation that software still has bugs, despite considerable investment and improvement in software development process. Software has always had bugs, and as far as I can tell, it will always have bug ...