Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
This paper presents first a formal development methodology that enables the validation of formal specifications as well as program codes wrt client's requirements. The methodology is based on the two languages framework: it advocates the joint use of a mod ...
Exact-angle superscreen dithering requires large dither tiles. Since storing precomputed screen elements for each intensity level would require too much memory, dithering must be executed on the fly at halftoning time. For this purpose a dithering coproces ...
This article describes how a simulation-based evaluation methodology was applied on a variable speed limit signs (VSLS) system designed for a heavily-traveled roadway around Lausanne, Switzerland. Using the MITSIM Laboratory, the evaluation focused on dete ...
Current goal-oriented requirements engineering methods focus on the definition of optimal requirements that an information system needs to support in order to help its stakeholders to achieve their goals. But, the lack of systemic reasoning and disregard f ...
The Internet offers new and exciting possibilities for personalized and distance education. The Web Teaching project at ITS is creating the tools needed to provide complete high quality multimedia courses for delivery over the World Wide Web (WWW). Aside f ...
