Concept

Knowledge representation and reasoning

Related publications (163)

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.

Complex networks

Cécile Caretta Cartozo

The last decade has witnessed a fundamental change in the role of network theory. Side by side with the increasing relevance of interdisciplinarity, this ensemble of mathematical tools and methods has known such a success and such a wide range of different ...

EPFL2009

Approximate BDD Minimization by Weighted A*

Reduced ordered Binary Decision Diagrams (BDDs) are a data structure for efficient representation and manipulation of Boolean functions. They are frequently used in logic synthesis. The size of BDDs depends on a chosen variable ordering, i.e. the size may ...

Institute of Electrical and Electronics Engineers2009

Visual creation of inhabited 3D environments: An ontology-based approach

Daniel Thalmann, Alejandra Garcia Rojas Martinez

The creation of virtual reality applications and 3D environments is a complex task that requires good programming skills and expertise in computer graphics and many other disciplines. The complexity increases when we want to include complex entities such a ...

2008

Full Functional Verification of Linked Data Structures

Viktor Kuncak

We present the first verification of full functional correctness for a range of linked data structure implementations, including mutable lists, trees, graphs, and hash tables. Specifically, we present the use of the Jahob verification system to verify form ...

2008

Towards a Scientific Model Management System

Stefano Spaccapietra, José Antonio Fernandes de Macedo

Computational models of biological systems aim at accurately simulating in vivo phenomena. They have become a very powerful tool enabling scientists to study complex behavior. A side effect of their success Unfortunately exists and is observed as an increa ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2008

Analyzing Flickr Groups

Daniel Gatica-Perez, Radu Andrei Negoescu

There is an explosion of community-generated multimedia content available online. In particular, Flickr constitutes a 200-million photo sharing system where users participate following a variety of social motivations and themes. Flickr groups are increasin ...

ACM2008

Analyzing Flickr Groups

Daniel Gatica-Perez, Radu Andrei Negoescu

IDIAP2008

Machine learning approaches to text representation using unlabeled data

Mikaela Keller

With the rapid expansion in the use of computers for producing digitalized textual documents, the need of automatic systems for organizing and retrieving the information contained in large databases has become essential. In general, information retrieval s ...

EPFL2008

Semantic Representation of Individualized Reaction Movements for Virtual Human

Daniel Thalmann, Frédéric Vexo, Alejandra Garcia Rojas Martinez

Virtual Human (VH) creation aims to provide virtual characters with realistic behavior, which implies endowing them with autonomy in an inhabited virtual environment. Autonomous behavior consists in interacting with users or the environment and reacting to ...

2007

Recognizing People's Focus of Attention from Head Poses: a Study

Jean-Marc Odobez, Silèye Oumar Ba

This paper presents a study on the recognition of the visual focus of attention (VFOA) of meeting participants based on their head pose. Contrary to previous studies on the topic, in our set-up, the potential VFOA of a person is not restricted to other mee ...

IDIAP2006