Publication

A collaborative ontology for `spatialised communication'

Related publications (26)

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.

Induction for SMT Solvers

Viktor Kuncak, Andrew Joseph Reynolds

Satisfiability modulo theory solvers are increasingly being used to solve quantified formulas over structures such as integers and term algebras. Quantifier instantiation combined with ground decision procedure alone is insufficient to prove many formulas ...

Springer-Verlag Berlin2015

Towards Ontology-Based Modeling of Technical Documentation and Operation Data of the Engineering Asset

Drazen Nadoveza, Andreas Koukias

Management of engineering assets within an organization is a crucial interdisciplinary approach that aims to optimize their performance and guarantee their overall effectiveness through efficient decision making. This task is always largely supported by of ...

Springer-Verlag Berlin2015

Ontology-based approach for context modeling in enterprise applications

Drazen Nadoveza

Today, enterprise applications provide large amounts of data and finding the right information on time for a given purpose is often a challenge. In these environments, users do not know what information is important, why it is important and finally, how to ...

Elsevier Science Bv2014

On Induction for SMT Solvers

Viktor Kuncak, Andrew Joseph Reynolds

2014

A fast algorithm to remove proper and homogeneous pairs of cliques (while preserving some graph invariants)

Yuri Faenza

We introduce a family of reductions for removing proper and homogeneous pairs of cliques from a graph G. This family generalizes some routines presented in the literature, mostly in the context of claw-free graphs. These reductions can be embedded in a sim ...

2011

Reasoning with large ontologies stored in relational databases: The OntoMinD approach

Stefano Spaccapietra, Christine Parent

A major obstacle to the development of ontologies in support of the Semantic Web is the poor capability of current ontology techniques to handle very large ontologies, in particular regarding scalability of reasoners. This paper builds on the assumption th ...

2010

Context Aware, Multimodal, and Semantic Rendering Engine

Patrick Salamin

Nowadays, several techniques exist to render digital content such as graphics, audio, haptic, etc. Unfortunately, they require different faculties that cannot always be applied, e.g. providing a picture to a blind person would be useless. In this thesis, w ...

EPFL2010

Light transport regimes in slow light photonic crystal waveguides

Romuald Houdré, Hua Zhang, Nicolas Le Thomas, Jana Jágerská, Vasily Zabelin

The dispersive properties of waves are strongly affected by inevitable residual disorder in man-made propagating media, in particular in the slow wave regime. By a direct measurement of the dispersion curve in k space, we show that the nature of the guided ...

2009

Light transport regimes in slow light photonic crystal waveguides

2009

TOQL: Temporal Ontology Querying Language

Nikolaos Maris

We introduce TOQL, a query language for querying time information in ontologies. TOQL is a high level query language that handles ontologies almost like relational databases. Queries are issued as SQL-like statements involving time (i.e., time points or in ...

2009