9119 search results - page 323 / 1824 » A Simultaneous Search Problem |
190
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
ended abstract motivates and presents techniques for identifying variable independence in free variable calculi for classical logic without equality. Two variables are called indep...
172
click to vote
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
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...
161
click to vote
FLAIRS
2006
15 years 8 months ago
2006
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...
168
click to vote
DC
2001
15 years 8 months ago
2001
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...
195
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
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...