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.
|
An argumentation framework with uncertainty management designed for dynamic environments Capobianco, Marcela - Simari, Guillermo Ricardo
|
5.
|
Dynamic selection of suitable pivots for similarity search in metric spaces Deco, Claudia - Salvetti, Mariano - Reyes, Nora Susana - Bender, Cristina
|
6.
|
Optimized cost effective approach for selection of materialized views in data warehousing Ashadevi, B. - Balasubramanian, R
|