989 search results - page 18 / 198 » Dynamic Symmetry Reduction |
ACII
2011
Springer
12 years 9 months ago
2011
Springer
This work is part of a research effort to understand and characterize the morphological and dynamic features of polite and amused smiles. We analyzed a dataset consisting of young ...
CAV
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
ICDE
2012
IEEE
12 years 8 days ago
2012
IEEE
—Dimensionality reduction is essential in text mining since the dimensionality of text documents could easily reach several tens of thousands. Most recent efforts on dimensionali...
JNS
2008
13 years 9 months ago
2008
The bifurcation theory and numerics of periodic orbits of general dynamical systems is well developed, and in recent years there has been rapid progress in the development of a bi...
SCL
2008
13 years 9 months ago
2008
The reduction of dynamic systems has a rich history, with many important applications related to stability, control and verification. Reduction of nonlinear systems is typically p...