1.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
2.
|
Spatial selection of sparse pivots for similarity search in metric spaces Rodríguez Brisaboa, Nieves - Fariña, Antonio - Pedreira, Óscar - Reyes, Nora Susana
|