Abstract--This paper presents a method for automatic microarchitectural pipelining of systems with loops. The original specification is pipelined by performing provably-correct tra...
Marc Galceran Oms, Jordi Cortadella, Dmitry Bufist...
Many approaches have been proposed for in-vehicle obstacle detection using stereovision. Unfortunately, computation cost is generally a limiting factor for all these methods, espe...
- The emergence of biological pathway datasets in BioPAX format provides a standard way to exchange pathway datasets and new ways to explore and navigate biological data. The lack ...
This paper presents a system for the exploration of projected interfaces. We describe our Visible Imagination (VI) platform combining a camera, projector and torch (flashlight) al...
Procedural terrain generation is used to create landforms for applications such as computer games and flight simulators. While most of the existing work has concentrated on algori...