Sciweavers

9119 search results - page 323 / 1824
» A Simultaneous Search Problem
Sort
View
CADE
2004
Springer
16 years 7 months ago
Uniform variable splitting
ended abstract motivates and presents techniques for identifying variable independence in free variable calculi for classical logic without equality. Two variables are called indep...
Roger Antonsen
CIVR
2006
Springer
151views Image Analysis» more  CIVR 2006»
15 years 10 months ago
VideoSOM: A SOM-Based Interface for Video Browsing
Abstract. The VideoSOM sytem is a tool for content-based video navigation based on a growing self-organizing map. Our interface allows the user to browse the video content using si...
Thomas Bärecke, Ewa Kijak, Andreas Nürnb...
FLAIRS
2006
15 years 8 months ago
An Artificial Neural Network for a Tank Targeting System
In this paper, we apply artificial neural networks to control the targeting system of a robotic tank in a tank-combat computer game (RoboCode). We suggest an algorithm that not on...
Hans W. Guesgen, Xiao Dong Shi
DC
2001
15 years 8 months ago
Geographic data clearinghouse activity in GSI
Preparation of geographic metadata and development of geographic data clearinghouses take a very important role to promote dissemination of Geographic data. We would like to intro...
Noriyuki Takakuwa
ICASSP
2011
IEEE
14 years 10 months ago
Audio Signal Representations for Factorization in the Sparse Domain
In this paper, a new class of audio representations is introduced, together with a corresponding fast decomposition algorithm. The main feature of these representations is that th...
Manuel Moussallam, Laurent Daudet, Gaël Richa...