1.
|
Matrix proof method in annotated paraconsistent logic Kaestner, Celso A. A.
|
2.
|
A collaborative learning approach and its evaluation Ishitani, Lucila - Guimarães, Silvio J. F. - Bruegger, Gisele
|
3.
|
On the class distribution labelling step sensitivity of co-training Matsubara, Edson T. - Monard, Maria C. - Prati, Ronaldo
|
4.
|
A model for capturing and tracing architectural designs Roldán, M. Luciana - Gonnet, Silvio - Leone, Horacio
|
5.
|
Local-as-view integration of ontologies in defeasible logic programming Gómez, Sergio Alejandro - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
6.
|
Tracing MPI binaries for knowledge discovery Grosclaude, Eduardo - Zanellato, Claudio - Zurita, Rafael - Castillo, Rodolfo del
|
7.
|
Profiling MPI applications with mixed instrumentation Grosclaude, Eduardo - Zanellato, Claudio - Balladini, Javier - Castillo, Rodolfo del - Castro, Silvia Mabel
|
8.
|
Webexpert – tool for knowledge acquisition by web Fernandes, Anita Ma. da Rocha - Nascimento, Raphael Luiz
|
9.
|
Applying software engineering techniques to the development of robotic systems Pons, Claudia - Arévalo, Gabriela Beatriz - Zabala, Gonzalo - Morán, Ricardo
|
10.
|
The right to forget/be forgotten: a nearly fundamental human right in the age of total recall technology Murata, Kiyoshi - Orito, Yohko
|