Sciweavers

2062 search results - page 259 / 413
» Derivatives of Logical Formulas
Sort
View
154
Voted
GECCO
2005
Springer
136views Optimization» more  GECCO 2005»
16 years 15 days 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
149
Voted
ISMIR
2005
Springer
122views Music» more  ISMIR 2005»
16 years 14 days 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
276
Voted
IFIP
2004
Springer
16 years 10 days 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
ICRA
2003
IEEE
231views Robotics» more  ICRA 2003»
16 years 7 days 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
16 years 7 days 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