Marcio Teixeira

According to our database, Marcio Teixeira authored at least 3 papers between 1999 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

The CSU Face Identification Evaluation System.

J. Ross Beveridge, David S. Bolme, Bruce A. Draper, Marcio Teixeira

Mach. Vis. Appl., 2005

2003

The CSU Face Identification Evaluation System: Its Purpose, Features, and Structure.

David S. Bolme, J. Ross Beveridge, Marcio Teixeira, Bruce A. Draper

Proceedings of the Computer Vision Systems, Third International Conference, 2003

1999

Model Checking Semi-Continuous Time Models Using BDDs.

Sérgio Vale Aguiar Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund M. Clarke

Proceedings of the First International Workshop on Symbolic Model Checking, 1999