1.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
2.
|
Mapeando modelos conceituais dimensionais OO para modelos lógicos dimensionais relacionais Carvalho, Rogerio Atem de - Tanaka, Asterio K. - Colonese, Giovanni
|
3.
|
Taxonomic evidence applying algorithms of intelligent data mining Perichinsky, Gregorio - Servente, Magdalena - Servetto, Arturo Carlos - García Martínez, Ramón - Orellana, Rosa Beatriz - Plastino, Ángel Luis
|
4.
|
Combining methods for searches in nested metric spaces Gercek, Hugo - Reyes, Nora Susana - Deco, Claudia - Bender, Cristina - Salvetti, Mariano
|
5.
|
Decision support system for seismic risks Somodevilla, María J. - Nava, Angélica - Pineda, Ivo H. - Priego, Ángeles Belém - Castillo, Esteban
|
6.
|
E-mail processing with fuzzy SOMs and
association rules Lanzarini, Laura Cristina - Villa Monte, Augusto - Estrebou, César
|
7.
|
Ubiquigeneous networking: a distributed networking application over mobile embedded devices Kohn, Rodolfo - Marrone, Luis Armando
|