Marcio Teixeira

Publication Activity (10 Years)

Years Active: 1999-2005
Publications (10 Years): 0

Publications

J. Ross Beveridge, David S. Bolme, Bruce A. Draper, Marcio Teixeira
The CSU Face Identification Evaluation System. Mach. Vis. Appl. 16 (2) (2005)
David S. Bolme, J. Ross Beveridge, Marcio Teixeira, Bruce A. Draper
The CSU Face Identification Evaluation System: Its Purpose, Features, and Structure. ICVS (2003)
Sérgio Vale Aguiar Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund M. Clarke
Model Checking Semi-Continuous Time Models Using BDDs. Electron. Notes Theor. Comput. Sci. 23 (2) (1999)