1.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
2.
|
Aprendizaje de independencias específicas del contexto en Markov random fields Edera, Alejandro - Bromberg, Facundo
|
3.
|
Consultas sobre bases de datos no convencionales Arroyuelo, Jorge - Esquivel, Susana Cecilia - Grosso, Alejandro - Ludueña, Verónica - Reyes, Nora Susana - Navarro, Gonzalo
|
4.
|
Selección dinámica de índices métricos para consultas de proximidad Chávez, Edgar - Herrera, Norma Edith
|
5.
|
Métodos de paginación paraíndices métricos basados en pivotes Villegas, Ana - Chávez, Edgar - Herrera, Norma Edith
|
6.
|
Espacios de búsquedas geométricamente separables Gagliardi, Edilma Olinda - Hernández Peñalver, Gregorio
|
7.
|
Discretización binaria para el FQTrie Ruano, Carina - Chávez, Edgar - Herrera, Norma Edith
|
8.
|
Taking advantages of ontology and contexts to determine similarity of data Buccella, Agustina - Cechich, Alejandra - Rodríguez Brisaboa, Nieves
|
9.
|
Sincronización de datos entre aplicaciones sobre redes móviles Borda Luciani, Fabricio Damián - Gagliardi, Edilma Olinda - Hernández Peñalver, Gregorio
|
10.
|
Diseño y evaluación de un algoritmo adaptable control de concurrencia Palma Muñoz, Wenceslao Enrique - Monge Anwandter, Raúl
|