988 search results - page 64 / 198 » Tarski's system of geometry |
MMM
2012
Springer
12 years 4 months ago
2012
Springer
In this paper, we propose an audio-visual approach to video genre categorization. Audio information is extracted at block-level, which has the advantage of capturing local temporal...
INFOCOM
2012
IEEE
11 years 11 months ago
2012
IEEE
—Spectrum sharing is an emerging mechanism to resolve the conflict between the spectrum scarcity and the growing demands for the wireless broadband access. In this paper we inve...
TOG
2012
11 years 11 months ago
2012
We present a method for recovering a temporally coherent, deforming triangle mesh with arbitrarily changing topology from an incoherent sequence of static closed surfaces. We solv...
CADE
2004
Springer
14 years 9 months ago
2004
Springer
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...
ISMAR
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper, we describe a purely image-based system that allows a user to interactively capture the 3D geometry of a polyhedral scene with the aid of its physical presence. A v...