Export 15 results:
Sort by: Author [ Title (Asc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Junior G, Bonifácio A L.  2012.  Detecção de Falhas em Autômatos Grid. XIII Workshop de Teste e Tolerância a Falhas. :131–144.
Bedo M V N, Ponciano-Silva M, Kaster DS, Bugatti P H, Traina A J M, Jr C T.  2012.  Higiia: A Perceptual Medical CBIR System Applied to Mammography Classification. Demo and Applications Session of the XXVII Brazilian Symposium on Databases (SBBD).
Kaster DS, Traina, Jr C.  2012.  Inclusão de Consultas por Similaridade em SGBDs: Teoria e Prática. Lectures of the XXVII Brazilian Symposium on Databases. :31-60.
Kaster DS, Bugatti PH, Traina AJM, Traina, Jr C.  2009.  Incorporating Metric Access Methods for Similarity Searching on Oracle Database. XXIV Simpósio Brasileiro de Banco de Dados (SBBD), Fortaleza, CE, Brasil. :1-15.
Bugatti PH, Kaster DS, Ponciano-Silva M, Traina AJM, Traina, Jr C.  2011.  Integrating User Profile in Medical CBIR Systems to Answer Perceptual Similarity Queries. SPIE Medical Imaging: Computer-Aided Diagnosis Conference, Lake Buena Vista, Florida, USA. :282-287.
Kaster DS, Bugatti PH, Ponciano-Silva M, Traina AJM, de Marques P M A, Santos A C, Traina, Jr C.  2011.  MedFMI-SiR: A Powerful DBMS Solution for Large-Scale Medical Image Retrieval. 2nd International Conference on Information Technology in Bio- and Medical Informatics (ITBAM), Toulouse, FR. 6865:16-30.
Bueno R, Razente HL, Kaster DS, Barioni MCN, Traina AJM, Traina, Jr C.  2010.  Metric Data Analysis Enhanced through Temporal Visualization. 14th International Conference on Information Visualisation (IV), London, UK. :116-121.
Bonifácio A L, Moura A V.  2000.  Modeling and Parameters Synthesis for an Air Traffic Management System. FMCAD '00: Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design. 1954:316–334.
Bonifácio A L, Gomes FAL.  2004.  Modelos Orientados a Estado na Especificação de Software. Semina. Ciências Exatas e Tecnológicas (Impresso). 25:163–170.
Bonifácio A L, Moura AV, Simao A.  2012.  Model Partitions and Compact Test Case Suites. International Journal of Foundations of Computer Science. 23:147-172.
Bueno R, Kaster DS, Traina AJM, Traina, Jr C.  2009.  Time-Aware Similarity Search: A Metric-Temporal Representation for Complex Data. 11th International Symposium on Spatial and Temporal Databases (SSTD), Aalborg, Denmark. 5644:302-319.
Junior G, Bonifácio A L.  2011.  A tool to support model-based testing activities. SBESC 2011 - WSE. :21-26.
Bonifácio A L, Moura A V, Simao A, Maldonado J C.  2008.  Towards Deriving Test Sequences by Model Checking. Electron. Notes Theor. Comput. Sci.. 195:21–40.
Bacarin E, van der} Aalst {WMP, Madeira E, Medeiros CB.  2007.  Towards Modeling and Simulating a Multi-party Negotiation Protocol with Colored Petri Nets. Proc. CPN 07 - 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools.
Kondo AK, Medeiros CB, Bacarin E, Madeira ERM.  2007.  {Traceability in Food for Supply Chains}. Proc. 3rd International Conference on Web Information Systems and Technologies (WEBIST). :121-127.