Sciweavers

2062 search results - page 259 / 413
» Derivatives of Logical Formulas
Sort
View
GECCO
2005
Springer
136views Optimization» more  GECCO 2005»
15 years 11 months ago
Computing the epistasis variance of large-scale traveling salesman problems
The interaction among variables of an optimization problem is known as epistasis, and its degree is an important measure for the nonlinearity of the problem. We address the proble...
Dong-il Seo, Byung Ro Moon
140
Voted
ISMIR
2005
Springer
122views Music» more  ISMIR 2005»
15 years 11 months ago
Continuous HMM and Its Enhancement for Singing/Humming Query Retrieval
The use of HMM (Hidden Markov Models) for speech recognition has been successful for various applications in the past decades. However, the use of continuous HMM (CHMM) for melody...
Jyh-Shing Roger Jang, Chao-Ling Hsu, Hong-Ru Lee
IFIP
2004
Springer
15 years 11 months ago
The Firing Squad Synchronization Problem with Many Generals For One-Dimensional CA
Abstract The Firing Squad Synchronization Problem is one of the classical problems for cellular automata. In this paper we consider the case of more than one general. A synchronous...
Hubert Schmid, Thomas Worsch
182
Voted
ICRA
2003
IEEE
231views Robotics» more  ICRA 2003»
15 years 11 months ago
Online simultaneous localization and mapping with detection and tracking of moving objects: theory and results from a ground veh
−−−− The simultaneous localization and mapping (SLAM) with detection and tracking of moving objects (DATMO) problem is not only to solve the SLAM problem in dynamic environ...
Chieh-Chih Wang, Charles E. Thorpe, Sebastian Thru...
IPPS
2003
IEEE
15 years 11 months ago
Short Vector Code Generation for the Discrete Fourier Transform
In this paper we use a mathematical approach to automatically generate high performance short vector code for the discrete Fourier transform (DFT). We represent the well-known Coo...
Franz Franchetti, Markus Püschel