Skip to main content

Showing 1–36 of 36 results for author: Pinto, J

Searching in archive cs. Search in all archives.
.
  1. arXiv:2405.14016  [pdf, other

    cs.LG cs.AI

    Towards a Unified Framework for Evaluating Explanations

    Authors: Juan D. Pinto, Luc Paquette

    Abstract: The challenge of creating interpretable models has been taken up by two main research communities: ML researchers primarily focused on lower-level explainability methods that suit the needs of engineers, and HCI researchers who have more heavily emphasized user-centered approaches often based on participatory design methods. This paper reviews how these communities have evaluated interpretability,… ▽ More

    Submitted 22 May, 2024; originally announced May 2024.

    Comments: 6 pages. Submitted to HEXED Workshop @ EDM24

  2. arXiv:2405.09428  [pdf, other

    cs.RO

    Physics-Informed Neural Network for Multirotor Slung Load Systems Modeling

    Authors: Gil Serrano, Marcelo Jacinto, Jose Ribeiro-Gomes, Joao Pinto, Bruno J. Guerreiro, Alexandre Bernardino, Rita Cunha

    Abstract: Recent advances in aerial robotics have enabled the use of multirotor vehicles for autonomous payload transportation. Resorting only to classical methods to reliably model a quadrotor carrying a cable-slung load poses significant challenges. On the other hand, purely data-driven learning methods do not comply by design with the problem's physical constraints, especially in states that are not dens… ▽ More

    Submitted 15 May, 2024; originally announced May 2024.

  3. arXiv:2404.19675  [pdf, other

    cs.CY cs.AI cs.LG

    Deep Learning for Educational Data Science

    Authors: Juan D. Pinto, Luc Paquette

    Abstract: With the ever-growing presence of deep artificial neural networks in every facet of modern life, a growing body of researchers in educational data science -- a field consisting of various interrelated research communities -- have turned their attention to leveraging these powerful algorithms within the domain of education. Use cases range from advanced knowledge tracing models that can leverage op… ▽ More

    Submitted 12 April, 2024; originally announced April 2024.

    Comments: 18 pages. To be published in Trust and Inclusion in AI-Mediated Education: Where Human Learning Meets Learning Machines by Springer International

  4. arXiv:2401.06790  [pdf, other

    cs.CL cs.AI

    Using Zero-shot Prompting in the Automatic Creation and Expansion of Topic Taxonomies for Tagging Retail Banking Transactions

    Authors: Daniel de S. Moraes, Pedro T. C. Santos, Polyana B. da Costa, Matheus A. S. Pinto, Ivan de J. P. Pinto, Álvaro M. G. da Veiga, Sergio Colcher, Antonio J. G. Busson, Rafael H. Rocha, Rennan Gaio, Rafael Miceli, Gabriela Tourinho, Marcos Rabaioli, Leandro Santos, Fellipe Marques, David Favaro

    Abstract: This work presents an unsupervised method for automatically constructing and expanding topic taxonomies using instruction-based fine-tuned LLMs (Large Language Models). We apply topic modeling and keyword extraction techniques to create initial topic taxonomies and LLMs to post-process the resulting terms and create a hierarchy. To expand an existing taxonomy with new terms, we use zero-shot promp… ▽ More

    Submitted 11 February, 2024; v1 submitted 7 January, 2024; originally announced January 2024.

  5. arXiv:2312.17261  [pdf, other

    cs.CV cs.LG

    Transformer-Based Multi-Object Smoothing with Decoupled Data Association and Smoothing

    Authors: Juliano Pinto, Georg Hess, Yuxuan Xia, Henk Wymeersch, Lennart Svensson

    Abstract: Multi-object tracking (MOT) is the task of estimating the state trajectories of an unknown and time-varying number of objects over a certain time window. Several algorithms have been proposed to tackle the multi-object smoothing task, where object detections can be conditioned on all the measurements in the time window. However, the best-performing methods suffer from intractable computational com… ▽ More

    Submitted 22 December, 2023; originally announced December 2023.

  6. arXiv:2311.16119  [pdf, other

    cs.CR cs.AI cs.CL

    Ignore This Title and HackAPrompt: Exposing Systemic Vulnerabilities of LLMs through a Global Scale Prompt Hacking Competition

    Authors: Sander Schulhoff, Jeremy Pinto, Anaum Khan, Louis-François Bouchard, Chenglei Si, Svetlina Anati, Valen Tagliabue, Anson Liu Kost, Christopher Carnahan, Jordan Boyd-Graber

    Abstract: Large Language Models (LLMs) are deployed in interactive contexts with direct user engagement, such as chatbots and writing assistants. These deployments are vulnerable to prompt injection and jailbreaking (collectively, prompt hacking), in which models are manipulated to ignore their original instructions and follow potentially malicious ones. Although widely acknowledged as a significant securit… ▽ More

    Submitted 2 March, 2024; v1 submitted 24 October, 2023; originally announced November 2023.

    Comments: 34 pages, 8 figures Codebase: https://github.com/PromptLabs/hackaprompt Dataset: https://huggingface.co/datasets/hackaprompt/hackaprompt-dataset/blob/main/README.md Playground: https://huggingface.co/spaces/hackaprompt/playground

  7. arXiv:2307.05263  [pdf, other

    cs.RO eess.SY

    Pegasus Simulator: An Isaac Sim Framework for Multiple Aerial Vehicles Simulation

    Authors: Marcelo Jacinto, João Pinto, Jay Patrikar, John Keller, Rita Cunha, Sebastian Scherer, António Pascoal

    Abstract: Develo** and testing novel control and motion planning algorithms for aerial vehicles can be a challenging task, with the robotics community relying more than ever on 3D simulation technologies to evaluate the performance of new algorithms in a variety of conditions and environments. In this work, we introduce the Pegasus Simulator, a modular framework implemented as an NVIDIA Isaac Sim extensio… ▽ More

    Submitted 15 April, 2024; v1 submitted 11 July, 2023; originally announced July 2023.

    Comments: This paper has been accepted for publication in the 2024 International Conference on Unmanned Aircraft Systems (ICUAS), IEEE

  8. arXiv:2301.03045  [pdf, other

    cs.CV

    Seamless Multimodal Biometrics for Continuous Personalised Wellbeing Monitoring

    Authors: João Ribeiro Pinto

    Abstract: Artificially intelligent perception is increasingly present in the lives of every one of us. Vehicles are no exception, (...) In the near future, pattern recognition will have an even stronger role in vehicles, as self-driving cars will require automated ways to understand what is happening around (and within) them and act accordingly. (...) This doctoral work focused on advancing in-vehicle sensi… ▽ More

    Submitted 19 January, 2023; v1 submitted 8 January, 2023; originally announced January 2023.

    Comments: Doctoral thesis presented and approved on the 21st of December 2022 to the University of Porto

  9. arXiv:2208.09500  [pdf, other

    cs.CV

    Causality-Inspired Taxonomy for Explainable Artificial Intelligence

    Authors: Pedro C. Neto, Tiago Gonçalves, João Ribeiro Pinto, Wilson Silva, Ana F. Sequeira, Arun Ross, Jaime S. Cardoso

    Abstract: As two sides of the same coin, causality and explainable artificial intelligence (xAI) were initially proposed and developed with different goals. However, the latter can only be complete when seen through the lens of the causality framework. As such, we propose a novel causality-inspired framework for xAI that creates an environment for the development of xAI approaches. To show its applicability… ▽ More

    Submitted 4 March, 2024; v1 submitted 19 August, 2022; originally announced August 2022.

  10. arXiv:2208.02760  [pdf, other

    cs.CV cs.LG

    OCFR 2022: Competition on Occluded Face Recognition From Synthetically Generated Structure-Aware Occlusions

    Authors: Pedro C. Neto, Fadi Boutros, Joao Ribeiro Pinto, Naser Damer, Ana F. Sequeira, Jaime S. Cardoso, Messaoud Bengherabi, Abderaouf Bousnat, Sana Boucheta, Nesrine Hebbadj, Mustafa Ekrem Erakın, Uğur Demir, Hazım Kemal Ekenel, Pedro Beber de Queiroz Vidal, David Menotti

    Abstract: This work summarizes the IJCB Occluded Face Recognition Competition 2022 (IJCB-OCFR-2022) embraced by the 2022 International Joint Conference on Biometrics (IJCB 2022). OCFR-2022 attracted a total of 3 participating teams, from academia. Eventually, six valid submissions were submitted and then evaluated by the organizers. The competition was held to address the challenge of face recognition in th… ▽ More

    Submitted 15 August, 2022; v1 submitted 4 August, 2022; originally announced August 2022.

    Comments: Accepted at International Joint Conference on Biometrics 2022

  11. arXiv:2202.07909  [pdf, other

    cs.LG cs.CV eess.SY

    Can Deep Learning be Applied to Model-Based Multi-Object Tracking?

    Authors: Juliano Pinto, Georg Hess, William Ljungbergh, Yuxuan Xia, Henk Wymeersch, Lennart Svensson

    Abstract: Multi-object tracking (MOT) is the problem of tracking the state of an unknown and time-varying number of objects using noisy measurements, with important applications such as autonomous driving, tracking animal behavior, defense systems, and others. In recent years, deep learning (DL) has been increasingly used in MOT for improving tracking performance, but mostly in settings where the measuremen… ▽ More

    Submitted 16 February, 2022; originally announced February 2022.

  12. arXiv:2110.14940  [pdf, other

    cs.CV cs.LG

    FocusFace: Multi-task Contrastive Learning for Masked Face Recognition

    Authors: Pedro C. Neto, Fadi Boutros, João Ribeiro Pinto, Naser Damer, Ana F. Sequeira, Jaime S. Cardoso

    Abstract: SARS-CoV-2 has presented direct and indirect challenges to the scientific community. One of the most prominent indirect challenges advents from the mandatory use of face masks in a large number of countries. Face recognition methods struggle to perform identity verification with similar accuracy on masked and unmasked individuals. It has been shown that the performance of these methods drops consi… ▽ More

    Submitted 1 November, 2021; v1 submitted 28 October, 2021; originally announced October 2021.

    Comments: Accepted at the 16th IEEE International Conference on Automatic Face and Gesture Recognition, FG 2021

  13. My Eyes Are Up Here: Promoting Focus on Uncovered Regions in Masked Face Recognition

    Authors: Pedro C. Neto, Fadi Boutros, João Ribeiro Pinto, Mohsen Saffari, Naser Damer, Ana F. Sequeira, Jaime S. Cardoso

    Abstract: The recent Covid-19 pandemic and the fact that wearing masks in public is now mandatory in several countries, created challenges in the use of face recognition systems (FRS). In this work, we address the challenge of masked face recognition (MFR) and focus on evaluating the verification performance in FRS when verifying masked vs unmasked faces compared to verifying only unmasked faces. We propose… ▽ More

    Submitted 18 August, 2021; v1 submitted 2 August, 2021; originally announced August 2021.

    Comments: Accepted at 20th International Conference of the Biometrics Special Interest Group (BIOSIG 2021)

  14. arXiv:2106.15288  [pdf, other

    cs.CV

    MFR 2021: Masked Face Recognition Competition

    Authors: Fadi Boutros, Naser Damer, Jan Niklas Kolf, Kiran Raja, Florian Kirchbuchner, Raghavendra Ramachandra, Arjan Kuijper, Pengcheng Fang, Chao Zhang, Fei Wang, David Montero, Naiara Aginako, Basilio Sierra, Marcos Nieto, Mustafa Ekrem Erakin, Ugur Demir, Hazim Kemal, Ekenel, Asaki Kataoka, Kohei Ichikawa, Shizuma Kubo, Jie Zhang, Mingjie He, Dan Han, Shiguang Shan , et al. (10 additional authors not shown)

    Abstract: This paper presents a summary of the Masked Face Recognition Competitions (MFR) held within the 2021 International Joint Conference on Biometrics (IJCB 2021). The competition attracted a total of 10 participating teams with valid submissions. The affiliations of these teams are diverse and associated with academia and industry in nine different countries. These teams successfully submitted 18 vali… ▽ More

    Submitted 29 June, 2021; originally announced June 2021.

    Comments: Accepted at International Join Conference on Biometrics (IJCB 2021)

  15. arXiv:2106.11447  [pdf, other

    eess.IV cs.CV cs.LG

    Encoder-Decoder Architectures for Clinically Relevant Coronary Artery Segmentation

    Authors: João Lourenço Silva, Miguel Nobre Menezes, Tiago Rodrigues, Beatriz Silva, Fausto J. Pinto, Arlindo L. Oliveira

    Abstract: Coronary X-ray angiography is a crucial clinical procedure for the diagnosis and treatment of coronary artery disease, which accounts for roughly 16% of global deaths every year. However, the images acquired in these procedures have low resolution and poor contrast, making lesion detection and assessment challenging. Accurate coronary artery segmentation not only helps mitigate these problems, but… ▽ More

    Submitted 21 June, 2021; originally announced June 2021.

  16. arXiv:2104.00734  [pdf, other

    cs.LG cs.RO

    Next Generation Multitarget Trackers: Random Finite Set Methods vs Transformer-based Deep Learning

    Authors: Juliano Pinto, Georg Hess, William Ljungbergh, Yuxuan Xia, Lennart Svensson, Henk Wymeersch

    Abstract: Multitarget Tracking (MTT) is the problem of tracking the states of an unknown number of objects using noisy measurements, with important applications to autonomous driving, surveillance, robotics, and others. In the model-based Bayesian setting, there are conjugate priors that enable us to express the multi-object posterior in closed form, which could theoretically provide Bayes-optimal estimates… ▽ More

    Submitted 4 June, 2021; v1 submitted 1 April, 2021; originally announced April 2021.

    Comments: 8 pages, 4 figures

  17. arXiv:2103.02969  [pdf, other

    eess.IV cs.CV cs.LG

    Automated Detection of Coronary Artery Stenosis in X-ray Angiography using Deep Neural Networks

    Authors: Dinis L. Rodrigues, Miguel Nobre Menezes, Fausto J. Pinto, Arlindo L. Oliveira

    Abstract: Coronary artery disease leading up to stenosis, the partial or total blocking of coronary arteries, is a severe condition that affects millions of patients each year. Automated identification and classification of stenosis severity from minimally invasive procedures would be of great clinical value, but existing methods do not match the accuracy of experienced cardiologists, due to the complexity… ▽ More

    Submitted 4 March, 2021; originally announced March 2021.

    Comments: 10 pages, 4 Figures

  18. arXiv:2011.02905  [pdf, other

    math.NA cs.CE

    Fast Solver for Quasi-Periodic 2D-Helmholtz Scattering in Layered Media

    Authors: José Pinto, Rubén Aylwin, Carlos Jerez-Hanckes

    Abstract: We present a fast spectral Galerkin scheme for the discretization of boundary integral equations arising from two-dimensional Helmholtz transmission problems in multi-layered periodic structures or gratings. Employing suitably parametrized Fourier basis and excluding Rayleigh-Wood anomalies, we rigorously establish the well-posedness of both continuous and discrete problems, and prove super-algebr… ▽ More

    Submitted 5 November, 2020; originally announced November 2020.

    MSC Class: 65N35; 65N38; 45M15; 78A45

  19. arXiv:2007.08702  [pdf, other

    cs.CV

    DACS: Domain Adaptation via Cross-domain Mixed Sampling

    Authors: Wilhelm Tranheden, Viktor Olsson, Juliano Pinto, Lennart Svensson

    Abstract: Semantic segmentation models based on convolutional neural networks have recently displayed remarkable performance for a multitude of applications. However, these models typically do not generalize well when applied on new domains, especially when going from synthetic to real data. In this paper we address the problem of unsupervised domain adaptation (UDA), which attempts to train on labelled dat… ▽ More

    Submitted 29 November, 2020; v1 submitted 16 July, 2020; originally announced July 2020.

    Comments: This paper has been accepted to WACV2021

  20. arXiv:2007.07936  [pdf, other

    cs.CV

    ClassMix: Segmentation-Based Data Augmentation for Semi-Supervised Learning

    Authors: Viktor Olsson, Wilhelm Tranheden, Juliano Pinto, Lennart Svensson

    Abstract: The state of the art in semantic segmentation is steadily increasing in performance, resulting in more precise and reliable segmentations in many different applications. However, progress is limited by the cost of generating labels for training, which sometimes requires hours of manual labor for a single image. Because of this, semi-supervised methods have been applied to this task, with varying d… ▽ More

    Submitted 29 November, 2020; v1 submitted 15 July, 2020; originally announced July 2020.

    Comments: This paper has been accepted to WACV2021

  21. arXiv:1912.06760  [pdf, other

    cs.LG stat.ML

    Bayesian Linear Regression on Deep Representations

    Authors: John Moberg, Lennart Svensson, Juliano Pinto, Henk Wymeersch

    Abstract: A simple approach to obtaining uncertainty-aware neural networks for regression is to do Bayesian linear regression (BLR) on the representation from the last hidden layer. Recent work [Riquelme et al., 2018, Azizzadenesheli et al., 2018] indicates that the method is promising, though it has been limited to homoscedastic noise. In this paper, we propose a novel variation that enables the method to… ▽ More

    Submitted 13 December, 2019; originally announced December 2019.

    Comments: 4th workshop on Bayesian Deep Learning (NeurIPS 2019), Vancouver, Canada

  22. arXiv:1911.09645  [pdf, other

    cs.SD cs.CL cs.LG eess.AS

    Prosody Transfer in Neural Text to Speech Using Global Pitch and Loudness Features

    Authors: Siddharth Gururani, Kilol Gupta, Dhaval Shah, Zahra Shakeri, Jervis Pinto

    Abstract: This paper presents a simple yet effective method to achieve prosody transfer from a reference speech signal to synthesized speech. The main idea is to incorporate well-known acoustic correlates of prosody such as pitch and loudness contours of the reference speech into a modern neural text-to-speech (TTS) synthesizer such as Tacotron2 (TC2). More specifically, a small set of acoustic features are… ▽ More

    Submitted 15 May, 2020; v1 submitted 21 November, 2019; originally announced November 2019.

    Comments: 5 pages, in review for conference publication

  23. Deploying a Top-100 Supercomputer for Large Parallel Workloads: the Niagara Supercomputer

    Authors: Marcelo Ponce, Ramses van Zon, Scott Northrup, Daniel Gruner, Joseph Chen, Fatih Ertinaz, Alexey Fedoseev, Leslie Groer, Fei Mao, Bruno C. Mundim, Mike Nolta, Jaime Pinto, Marco Saldarriaga, Vladimir Slavnic, Erik Spence, Ching-Hsing Yu, W. Richard Peltier

    Abstract: Niagara is currently the fastest supercomputer accessible to academics in Canada. It was deployed at the beginning of 2018 and has been serving the research community ever since. This homogeneous 60,000-core cluster, owned by the University of Toronto and operated by SciNet, was intended to enable large parallel jobs and has a measured performance of 3.02 petaflops, debuting at #53 in the June 201… ▽ More

    Submitted 31 July, 2019; originally announced July 2019.

    Comments: PEARC'19: "Practice and Experience in Advanced Research Computing", July 28-August 1, 2019, Chicago, IL, USA

  24. arXiv:1907.02567  [pdf, other

    eess.IV cs.CV

    DeepAAA: clinically applicable and generalizable detection of abdominal aortic aneurysm using deep learning

    Authors: Jen-Tang Lu, Rupert Brooks, Stefan Hahn, ** Chen, Varun Buch, Gopal Kotecha, Katherine P. Andriole, Brian Ghoshhajra, Joel Pinto, Paul Vozila, Mark Michalski, Neil A. Tenenholtz

    Abstract: We propose a deep learning-based technique for detection and quantification of abdominal aortic aneurysms (AAAs). The condition, which leads to more than 10,000 deaths per year in the United States, is asymptomatic, often detected incidentally, and often missed by radiologists. Our model architecture is a modified 3D U-Net combined with ellipse fitting that performs aorta segmentation and AAA dete… ▽ More

    Submitted 4 July, 2019; originally announced July 2019.

    Comments: Accepted for publication at MICCAI 2019

  25. arXiv:1903.10545  [pdf, other

    cs.AI cs.LG cs.MA cs.NE

    Winning Isn't Everything: Enhancing Game Development with Intelligent Agents

    Authors: Yunqi Zhao, Igor Borovikov, Fernando de Mesentier Silva, Ahmad Beirami, Jason Rupert, Caedmon Somers, Jesse Harder, John Kolen, Jervis Pinto, Reza Pourabolghasem, James Pestrak, Harold Chaput, Mohsen Sardari, Long Lin, Sundeep Narravula, Navid Aghdaie, Kazi Zaman

    Abstract: Recently, there have been several high-profile achievements of agents learning to play games against humans and beat them. In this paper, we study the problem of training intelligent agents in service of game development. Unlike the agents built to "beat the game", our agents aim to produce human-like behavior to help with game evaluation and balancing. We discuss two fundamental metrics based on… ▽ More

    Submitted 27 April, 2020; v1 submitted 25 March, 2019; originally announced March 2019.

    Comments: Accepted to IEEE Trans. Games

  26. arXiv:1812.10048  [pdf, other

    cs.LG q-bio.GN stat.ML

    Parallel Clustering of Single Cell Transcriptomic Data with Split-Merge Sampling on Dirichlet Process Mixtures

    Authors: Tiehang Duan, José P. Pinto, Xiaohui Xie

    Abstract: Motivation: With the development of droplet based systems, massive single cell transcriptome data has become available, which enables analysis of cellular and molecular processes at single cell resolution and is instrumental to understanding many biological processes. While state-of-the-art clustering methods have been applied to the data, they face challenges in the following aspects: (1) the clu… ▽ More

    Submitted 25 December, 2018; originally announced December 2018.

    Comments: Accepted for Bioinformatics Oxford

  27. arXiv:1803.00944  [pdf, other

    cs.RO

    Dolphin: a task orchestration language for autonomous vehicle networks

    Authors: Keila Lima, Eduardo R. B. Marques, José Pinto, João B. Sousa

    Abstract: We present Dolphin, an extensible programming language for autonomous vehicle networks. A Dolphin program expresses an orchestrated execution of tasks defined compositionally for multiple vehicles. Building upon the base case of elementary one-vehicle tasks, the built-in operators include support for composing tasks in several forms, for instance according to concurrent, sequential, or event-based… ▽ More

    Submitted 26 July, 2018; v1 submitted 2 March, 2018; originally announced March 2018.

    Comments: IEEE/RSJ IROS'18 - http://iros2018.org

  28. arXiv:1712.00095  [pdf

    physics.soc-ph cs.SI

    Modelling the Impact of Organization Structure and Whistle Blowers on Intra-Organizational Corruption Contagion

    Authors: Maziar Nekovee, Jonathan Pinto

    Abstract: We complement the rich conceptual work on organizational corruption by quantitatively modelling the spread of corruption within organizations. We systematically vary four organizational culture-related parameters, i.e., organization structure, location of bad apple, employees propensity to become corrupted (corruption probability), and number of whistle-blowers. Our simulation studies find that in… ▽ More

    Submitted 18 February, 2019; v1 submitted 4 November, 2017; originally announced December 2017.

    Journal ref: Physica A, Volume 522, 15 May 2019, pages 339-349

  29. A Gossip Algorithm based Clock Synchronization Scheme for Smart Grid Applications

    Authors: Imtiaz Parvez, Arif I. Sarwat, Jonathan Pinto, Zakaria Parvez, Mohammad Aqib Khandaker

    Abstract: The uprising interest in multi-agent based networked system, and the numerous number of applications in the distributed control of the smart grid leads us to address the problem of time synchronization in the smart grid. Utility companies look for new packet based time synchronization solutions with Global Positioning System (GPS) level accuracies beyond traditional packet methods such as Network… ▽ More

    Submitted 25 July, 2017; originally announced July 2017.

    Journal ref: 2017 North American Power Symposium (NAPS), Morgantown, WV, 2017, pp. 1-6

  30. arXiv:1601.00584  [pdf, ps, other

    cs.LO

    A Single-Assignment Translation for Annotated Programs

    Authors: Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto

    Abstract: We present a translation of While programs annotated with loop invariants into a dynamic single-assignment language with a dedicated iterating construct. We prove that the translation is sound and complete. This is a companion report to our paper Formalizing Single-assignment Program Verification: an Adaptation-complete Approach [6].

    Submitted 5 May, 2016; v1 submitted 4 January, 2016; originally announced January 2016.

  31. arXiv:1407.1891  [pdf, ps, other

    cs.CC

    On Termination of Integer Linear Loops

    Authors: Joël Ouaknine, João Sousa Pinto, James Worrell

    Abstract: A fundamental problem in program verification concerns the termination of simple linear loops of the form x := u ; while Bx >= b do {x := Ax + a} where x is a vector of variables, u, a, and c are integer vectors, and A and B are integer matrices. Assuming the matrix A is diagonalisable, we give a decision procedure for the problem of whether, for all initial integer vectors u, such a loop terminat… ▽ More

    Submitted 13 October, 2014; v1 submitted 7 July, 2014; originally announced July 2014.

    Comments: Accepted to SODA15

  32. Adaptation-Based Programming in Haskell

    Authors: Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto

    Abstract: We present an embedded DSL to support adaptation-based programming (ABP) in Haskell. ABP is an abstract model for defining adaptive values, called adaptives, which adapt in response to some associated feedback. We show how our design choices in Haskell motivate higher-level combinators and constructs and help us derive more complicated compositional adaptives. We also show an important specializ… ▽ More

    Submitted 4 September, 2011; originally announced September 2011.

    Comments: In Proceedings DSL 2011, arXiv:1109.0323

    ACM Class: D.3.3

    Journal ref: EPTCS 66, 2011, pp. 1-23

  33. arXiv:0910.3321  [pdf, other

    cs.PL

    Iterators, Recursors and Interaction Nets

    Authors: Ian Mackie, Jorge Sousa Pinto, Miguel Vilaca

    Abstract: We propose a method for encoding iterators (and recursion operators in general) using interaction nets (INs). There are two main applications for this: the method can be used to obtain a visual nota- tion for functional programs; and it can be used to extend the existing translations of the lambda-calculus into INs to languages with recursive types.

    Submitted 17 October, 2009; originally announced October 2009.

    Comments: ISBN: 978-972-9348-18-1

  34. arXiv:0803.2317  [pdf, ps, other

    cs.LO cs.SE

    Lissom, a Source Level Proof Carrying Code Platform

    Authors: Joao Gomes, Daniel Martins, Simao Melo de Sousa, Jorge Sousa Pinto

    Abstract: This paper introduces a proposal for a Proof Carrying Code (PCC) architecture called Lissom. Started as a challenge for final year Computing students, Lissom was thought as a mean to prove to a sceptic community, and in particular to students, that formal verification tools can be put to practice in a realistic environment, and be used to solve complex and concrete problems. The attractiveness o… ▽ More

    Submitted 15 March, 2008; originally announced March 2008.

    Comments: Poster presented at the International Workshop on Proof-Carrying Code (PCC 06), 2006

  35. arXiv:0802.3881  [pdf, ps, other

    cs.DS cs.LO

    Deriving Sorting Algorithms

    Authors: José Bacelar Almeida, Jorge Sousa Pinto

    Abstract: This paper proposes new derivations of three well-known sorting algorithms, in their functional formulation. The approach we use is based on three main ingredients: first, the algorithms are derived from a simpler algorithm, i.e. the specification is already a solution to the problem (in this sense our derivations are program transformations). Secondly, a mixture of inductive and coinductive arg… ▽ More

    Submitted 26 February, 2008; originally announced February 2008.

    Comments: Technical Report

    Report number: DI-PURe-06.04.01

  36. arXiv:cs/0412083  [pdf

    cs.AI cs.CV

    Line and Word Matching in Old Documents

    Authors: A. Marcolino, Vitorino Ramos, Mario Ramalho, J. R. Caldas Pinto

    Abstract: This paper is concerned with the problem of establishing an index based on word matching. It is assumed that the book was digitised as better as possible and some pre-processing techniques were already applied as line orientation correction and some noise removal. However two main factor are responsible for being not possible to apply ordinary optical character recognition techniques (OCR): the… ▽ More

    Submitted 17 December, 2004; originally announced December 2004.

    Comments: 12 pages, 7 figures, Author at http://alfa.ist.utl.pt/~cvrm/staff/vramos/ref_32.html

    ACM Class: I.2; I.5

    Journal ref: SIARP 2000 - 5th IberoAmerican Symp. on Pattern Rec., F. Muge, Moises P. and R. Caldas Pinto (Eds.), ISBN 972-97711-1-1, pp. 123-135, Lisbon, Portugal, 11-13 Sep. 2000