Publication

Exploiting Inherent Characteristic of Reversible Circuits for Faster Combinational Equivalence Checking

Related publications (32)

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.

Real-time textured volume reconstruction using virtual and real video cameras

Daniel Thalmann, Stéphane Gobron, Junghyun Ahn, Clément Marx

Reconstructing objects in three dimensions (3D) has always been one of the primary tasks in the domain of computer graphics (CG). Succeeding in this task in real-time, including texture reconstruction, and with very low-cost hardware is the challenge prese ...

2010

Mental vision

Achille Peternier

Despite the wide amount of computer graphics frameworks and solutions available for virtual reality, it is still difficult to find a perfect one fitting at the same time the many constraints of research and educational contexts. Advanced functionalities an ...

EPFL2009

The Mental Vision framework - A platform for teaching, practicing and researching with computer graphics and virtual reality

Daniel Thalmann, Frédéric Vexo, Achille Peternier

Despite the wide amount of computer graphics frameworks and solutions available, it is still difficult to find a perfect one fitting at the same time many constraints, like pedagogical intents and user-friendliness or speed with high rendering quality and ...

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

seeCell: Visualization and Tracking Dedicated to Cell Analysis

Melody Swartz, Robin Mange

This paper presents a method for the real-time tracking and rendering of dendritic cells in a stream of microscopes images, as implemented in the software seeCell (TM) developed by Visualbiotech (Mange, 2008). The main guideline is how computer graphics te ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2008

Mental vision: a computer graphics teaching platform

Daniel Thalmann, Frédéric Vexo, Achille Peternier

We have developed a learning platform to simplify and improve teaching and practice of computer graphics for beginners and advanced students. Our goal is to offer a set of tools to help students having a better mental vision of the abstract notions introdu ...

2006

Merging Cellular Automata for Simulating Surface Effects

Stéphane Gobron

This paper describes a model of three-dimensional cellular automata allowing to simulate different phenomena in the fields of computer graphics or image processing. Our method allows to combine them together in order to produce complex effects such as auto ...

Springer Berlin / Heidelberg2006

A biomechanics-based articulation model for medical applications

Anderson Maciel

Computer Graphics came into the medical world especially after the arrival of 3D medical imaging. Computer Graphics techniques are already integrated in the diagnosis procedure by means of the visual tridimensional analysis of computer tomography, magnetic ...

EPFL2005

Mesh Optimization Using Global Error with Application to Geometry Simplification

Martin Vetterli, Thomas Liebling, Laurent Balmelli

Meshes with (recursive) subdivision connectivity, such as subdivision surfaces, are increasingly popular in computer graphics. They present several advantages over their Delaunay-type based counterparts, e.g., Triangulated Irregular Networks (TINs), such a ...

Elsevier2002

Interactive modeling of the human musculature

Daniel Thalmann, Amaury Aubel

In this paper, we extend our previous work (Proc. Computer Animation and Simulation, pp. 125-135, Aug. 2000) and propose a muscle model that is suitable for computer graphics based on physiological and anatomical considerations. Muscle motion and deformati ...

IEEE Comput. Soc2001

3D surface cellular automata and their applications

Stéphane Gobron

This paper describes the generation and rendering of three-dimensional (3D) surface cellular automata (CA). Our model’s main advantage is that it gives direct texturing simulation based on the actual shape of anytriangulated input object. We first introduc ...

1999