2005 |
4 | EE | J. Ross Beveridge,
David S. Bolme,
Bruce A. Draper,
Marcio Teixeira:
The CSU Face Identification Evaluation System.
Mach. Vis. Appl. 16(2): 128-138 (2005) |
2003 |
3 | EE | David S. Bolme,
J. Ross Beveridge,
Marcio Teixeira,
Bruce A. Draper:
The CSU Face Identification Evaluation System: Its Purpose, Features, and Structure.
ICVS 2003: 304-313 |
2 | EE | A. Jacquemard,
Marcio Teixeira:
Computer analysis of periodic orbits of discontinuous vector fields.
J. Symb. Comput. 35(5): 617-636 (2003) |
1999 |
1 | EE | Sérgio Vale Aguiar Campos,
Marcio Teixeira,
Marius Minea,
Andreas Kuehlmann,
Edmund M. Clarke:
Model Checking Semi-Continuous Time Models Using BDDs.
Electr. Notes Theor. Comput. Sci. 23(2): (1999) |