742 citations
- Universidade do PortoPT149 papers
- University of MinhoPT47 papers
- University of LisbonPT20 papers
- University of AveiroPT18 papers
- Polytechnic Institute of PortoPT17 papers
- Instituto de Engenharia de Sistemas e Computadores Investigação e DesenvolvimentoPT16 papers
- University of Beira InteriorPT16 papers
- Institute for Systems Engineering and ComputersPT13 papers
- University of CoimbraPT13 papers
- Carnegie Mellon UniversityUS12 papers
- Universidade PortucalensePT10 papers
- Instituto Superior TécnicoPT9 papers
25 papers · 1 filter
DEBACER: a method for slicing moderated debates
Thomas Palmeira Ferraz, Alexandre Alcoforado, Enzo Bustos +6
Subjects change frequently in moderated debates with several participants, such as in parliamentary sessions, electoral debates, and trials. Partitioning a debate into blocks with…
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
Carolina Carreira, João F. Ferreira, Alexandra Mendes +1
As software becomes more complex and assumes an even greater role in our lives, formal verification is set to become the gold standard in securing software systems into the future,…
HEROHE Challenge: assessing HER2 status in breast cancer without immunohistochemistry or in situ hybridization
Eduardo Conde-Sousa, João Vale, Ming Feng +15
Breast cancer is the most common malignancy in women, being responsible for more than half a million deaths every year. As such, early and accurate diagnosis is of paramount import…
Interactive Segmentation via Deep Learning and B-Spline Explicit Active Surfaces
Helena Williams, João Pedrosa, Laura Cattani +4
Automatic medical image segmentation via convolutional neural networks (CNNs) has shown promising results. However, they may not always be robust enough for clinical use. Sub-optim…
Time Series Analysis via Network Science: Concepts and Algorithms
Vanessa Freitas Silva, Maria Eduarda Silva, Pedro Ribeiro +1
There is nowadays a constant flux of data being generated and collected in all types of real world systems. These data sets are often indexed by time, space or both requiring appro…
Range and Bearing Data Fusion for Precise Convex Network Localization
Claudia Soares, Filipa Valdeira, Joao Gomes
Hybrid localization in GNSS-challenged environments using measured ranges and angles is becoming increasingly popular, in particular with the advent of multimodal communication sys…