1.
|
Model checking RAISE applicative specifications Perna, Juan I. - George, Chris W.
|
2.
|
Data modeling dealing with uncertainty in fuzzy logic Urrutia Sepúlveda, Angélica - Galindo, José - Jiménez, Leoncio - Piattini Velthuis, Mario
|
3.
|
Semantic Interoperability Middleware – enabling collaborative networks in public sector Sanchez, Alejandro - Estevez, Elsa Clara - Janowski, Thomas - Ojo, Adegboyega
|
4.
|
Buckets inverted lists for a search engine with BSP Gil Costa, Graciela Verónica - Printista, Alicia Marcela - Marin Cahiuan, Juan Mauricio
|
5.
|
Adaptive Ttwo-phase spatial association rules mining method Lee, Chin-Feng - Chen, Mei-Hsiu
|
6.
|
A PSO-based clustering approach assisted by initial clustering information Velázquez, Carlos - Cagnina, Leticia - Errecalde, Marcelo Luis
|
7.
|
Computing support for virtual communities of practice Casalini, María Clara - Estevez, Elsa Clara - Janowski, Thomas
|
8.
|
A functional approach for in line analytical processing Necco, Claudia Mónica - Quintas, Luis - Nuno Olivera, J.
|
9.
|
Classification rules obtained from dynamic self-organizing maps Hasperué, Waldo - Lanzarini, Laura Cristina
|
10.
|
CCMini: a prototype of certifying compiler based on annotated abstract syntax trees Bavera, Francisco - Nordio, Martín - Medel, Ricardo - Aguirre, Jorge - Baum, Gabriel Alfredo
|