6 papers:
- HCI-IT-2015-MurataM #analysis #eye tracking #using
- Nonlinear Dynamical Analysis of Eye Movement Characteristics Using Attractor Plot and First Lyapunov Exponent (AM, TM), pp. 78–85.
- IJCAR-2010-BensaidCP #graph #integer
- Perfect Discrimination Graphs: Indexing Terms with Integer Exponents (HB, RC, NP), pp. 369–383.
- CADE-2009-BensaidCP #integer #named #proving #theorem proving
- Dei: A Theorem Prover for Terms with Integer Exponents (HB, RC, NP), pp. 146–150.
- DLT-2006-Krieger #fixpoint #morphism #on the
- On Critical Exponents in Fixed Points of Non-erasing Morphisms (DK), pp. 280–291.
- ICPR-1998-TangYF #detection
- Characterization and detection of edges by Lipschitz exponents and MASW wavelet transform (YYT, LY, LF), pp. 1572–1574.
- RTA-1998-Schmidt-SchaussS #equation #on the
- On the Exponent of Periodicity of Minimal Solutions of Context Equation (MSS, KUS), pp. 61–75.