898 search results - page 35 / 180 » Transitions of the Pre-Symmetry Set |
GMP
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract. This paper presents the mathematical framework, and develops algorithms accordingly, to continuously and robustly track the intersection curves of two deforming parametri...
AAAI
1994
14 years 11 months ago
1994
Using the methods demonstrated in this paper, a robot with an unknown sensorimotor system can learn sets of features and behaviors adequate to explore a continuous environment and...
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
ICPR
2006
IEEE
15 years 11 months ago
2006
IEEE
Dynamic cepstral features such as delta and deltadelta cepstra have been shown to play an essential role in capturing the transitional characteristics of the speech signal. In thi...
LPNMR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Most complete answer set solvers are based on DPLL. One of the constraint propagation methods is the so-called lookahead, which has been somewhat controversial, due to it...