Login

In Proceedings

Extending NoHR for OWL 2 QL

InProceedings

Published in 01/07/2015

Authors

Nuno Costa, Matthias Knorr, João Leite,

On the Use of a Multiple View Interactive Environment for MATLAB and Octave Program Comprehension

InProceedings

Published in 01/06/2015

Authors

Ivan de Mattos Lessa, Ivan de Mattos Lessa, Glauco de Figueiredo Carneiro, Glauco de Figueiredo Carneiro, Miguel Monteiro, Miguel Monteiro, Fernando Brito e Abreu, Fernando Brito e Abreu,

On the Use of a Multiple View Interactive Environment for MATLAB and Octave Program Comprehension

InProceedings

Published in 01/06/2015

Authors

Ivan de Mattos Lessa, Ivan de Mattos Lessa, Glauco de Figueiredo Carneiro, Glauco de Figueiredo Carneiro, Miguel Monteiro, Miguel Monteiro, Fernando Brito e Abreu, Fernando Brito e Abreu,

Monitoring social network user density variations in areas of interest

InProceedings

Published in 01/06/2015

Authors

André Sabino, Armanda Rodrigues,

High-dimensional Indexing by Sparse Approximation

InProceedings

Published in 01/06/2015

Authors

Pedro Borges, André Mourão, João Magalhães,

Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets

InProceedings

Published in 01/06/2015

Authors

Jácome Cunha, Jorge Mendes, Pedro Maia,

Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract)

InProceedings

Published in 01/06/2015

Authors

Tobias Kaminski, Matthias Knorr, João Leite,

Scalable Multimodal Search with Distributed Indexing by Sparse Hashing

InProceedings

Published in 01/06/2015

Authors

André Mourão, João Magalhães,

Nonmonotonic Nominal Schemas Revisited

InProceedings

Published in 01/06/2015

Authors

Matthias Knorr,

Dynamic Validation of Contracts in Concurrent Code

InProceedings

Published in 01/06/2015

Authors

Jan Fiedor, Zdenek Letko, João Lourenço, Tomas Vojnar,