Concept

Modeling language

Related publications (388)

Graph Chatbot

Chat with Graph Search

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.

Dynamic facial expression recognition with a discrete choice model

Michel Bierlaire, Javier Cruz Mota, Thomas Robin

A generation of new models has been proposed to handle some complex human behaviors. These models account for the data ambiguity, and there- fore extend the application field of the discrete choice modeling. The facial expression recognition (FER) is highl ...

2011

Integrating point glacier mass balance observations into hydrologic model identification

Bettina Schaefli

The hydrology of high mountainous catchments is often predicted with conceptual precipitation-discharge models that simulate the snow accumulation and ablation behavior of a very complex environment using as only input temperature and precipitation. It is ...

European Geosciences Union2011

Learning Low-Dimensional Signal Models

Volkan Cevher

Sampling, coding, and streaming even the most essential data, e.g., in medical imaging and weather-monitoring applications, produce a data deluge that severely stresses the avail able analog-to-digital converter, communication bandwidth, and digital-storag ...

Institute of Electrical and Electronics Engineers2011

A Modeling Framework for Analyzing the Viability of Service Systems

Gil Regev, Alain Wegmann, Arash Golnam

Recent research has explored the principles of service system viability based on systems inquiry invoking perspectives from Systems Theory and Cybernetics in particular Stafford Beer’s viable systems model (VSM). However based on Banathy & Jenlink (2004), ...

2011

Consensus when all processes may be Byzantine for some time

Martin Hutle, Martin Biely

Among all classes of faults, Byzantine faults form the most general modeling of value faults. Traditionally, in the Byzantine fault model, faults are statically attributed to a set of up to t processes. This, however, implies that in this model a process a ...

2011

Operational macroscopic modeling of complex urban intersections

Gunnar Flötteröd

This article describes a new approach to the macroscopic first order modeling and simulation of traffic flow in complex urban road intersections. The framework is theoretically sound, operational, and comprises a large body of models presented so far in th ...

2011

Search for neutrino-induced cascades with five years of AMANDA data

Shirit Cohen, Mathieu Ribordy, Xiaoxia Bai

We report on the search for electromagnetic and hadronic showers ("cascades") produced by a diffuse flux of extraterrestrial neutrinos in the AMANDA neutrino telescope. Data for this analysis were recorded during 1001 days of detector livetime in the years ...

2011

Model Checking Tools for Software System Implementations

Maysam Yabandeh

Systematic State Exploration or Model Checking techniques have been used for years to check the model of softwares against user-specified properties. Nevertheless, they never achieved a wide-spread usage because of the difficulties and problems in translat ...

2010

Extensible Transactional Memory Testbed

Vincent Gramoli, Pascal Felber

Transactional Memory (TM) is a promising abstraction as it hides all synchronization complexities from the programmers of concurrent applications. More particularly the TM paradigm operated a complexity shift from the application programming to the TM prog ...

2010

On Viable Service Systems: Developing a Modeling Framework for Analysis of Viability in Service Systems

Gil Regev, Alain Wegmann, Arash Golnam

This paper explores the contribution of systems modeling to the design and analysis of viability in service systems. We apply a modeling framework called SEAM (Systemic Enterprise Architecture Method) to gain an understanding of how a service system mainta ...

Springer2010