Publication

Generic Broadcast

Related publications (40)

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.

An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction

Simon Bliudze

We discuss the challenges of building a simulation framework for hybrid systems, in particular the well-known Zeno effect and correct composition of models idealised by abstracting irrelevant behavioural details (e.g. the bounce dynamics of a bouncing ball ...

Linköping University Electronic Press, Linköpings universitet2014

Offer Semantics: Achieving Compositionality, Flattening and Full Expressiveness for the Glue Operators in BIP

Simon Bliudze, Eduard Baranov

Based on a concise but comprehensive overview of some fundamental properties required from component-based frameworks, namely compositionality, incrementality, flattening, modularity and expressiveness, we review three modifications of the semantics of glu ...

2014

Concept Maps

Beat Adrian Schwendimann

A concept map is a node-link diagram showing the semantic relationships among concepts. The technique for constructing concept maps is called "concept mapping". A concept map consists of nodes, arrows as linking lines, and linking phrases that describe the ...

Springer2014

Semantic trajectories: Mobility data computation and annotation

Karl Aberer, Stefano Spaccapietra, Christine Parent, Zhixian Yan, Dipanjan Chakraborty

With the large-scale adoption of GPS equipped mobile sensing devices, positional data generated by moving objects (e.g., vehicles, people, animals) are being easily collected. Such data are typically modeled as streams of spatio-temporal (x,y,t) points, ca ...

2013

Extended Connectors: Structuring Glue Operators in BIP

Simon Bliudze, Eduard Baranov

Based on a variation of the BIP operational semantics using the offer predicate introduced in our previous work, we extend the algebras used to model glue operators in BIP to encompass priorities. This extension uses the Algebra of Causal Interaction Trees ...

2013

How to build an information time machine

Frédéric Kaplan

The Venice Time Machine project aims at building a multidimensional model of Venice and its evolution covering a period of more than 1000 years. Kilometers of archives are currently being digitized, transcribed and indexed setting the base of the largest d ...

2013

Semantic Trajectories: Mobility Data Computation and Annotation

Karl Aberer, Stefano Spaccapietra, Christine Parent, Zhixian Yan, Dipanjan Chakraborty

Assoc Computing Machinery2012

A Speech-based Just-in-Time Retrieval System using Semantic Search

Philip Neil Garner, Andrei Popescu-Belis, Majid Yazdani

The Automatic Content Linking Device is a just-in-time document retrieval system which monitors an ongoing conversation or a monologue and enriches it with potentially related documents, including multimedia ones, from local repositories or from the Intern ...

2011

Semantic Trajectories

Zhixian Yan

Thanks to the rapid development of mobile sensing technologies (like GPS, GSM, RFID, accelerometer, gyroscope, sound and other sensors in smartphones), the large-scale capture of evolving positioning data (called mobility data or trajectories) generated by ...

EPFL2011

A novel multi-aspect consistency measurement for ontologies

Zoltán Miklós, Zhao Lu

Web developers have started to integrate semantic information to their systems increasingly often. The semantic metadata embedded with the resources is typically linked to ontologies or taxonomies. Meta information can bring a number of advantages for user ...

2011