Metabuscador

Filtrado por:

Temas

Recursos

Año

Aproximadamente 2 registro(s) hasta el momento: (base de datos)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Towards the verification of RAISE specifications through Model Checking
Perna, Juan Ignacio - George, Chris W.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal. In particular, the usage of Model Checking in formal languages…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Spatial selection of sparse pivots for similarity search in metric spaces
Rodríguez Brisaboa, Nieves - Fariña, Antonio - Pedreira, Óscar - Reyes, Nora Susana

Formato:	Articulo, Articulo
Enlaces:	Similarity search is a fundamental operation for applications that deal with unstructured data sources. In this paper we propose a new pivot-based method for similarity search, called Sparse Spatial Selection (SSS). The main characteristic of this method is that it…
Fecha:	2008-05-21
Recurso:	Unversidad Nacional de La Plata