Skip to main content

Showing 1–6 of 6 results for author: Braga, C

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

    cs.CV

    EvalGIM: A Library for Evaluating Generative Image Models

    Authors: Melissa Hall, Oscar Mañas, Reyhane Askari-Hemmat, Mark Ibrahim, Candace Ross, Pietro Astolfi, Tariq Berrada Ifriqi, Marton Havasi, Yohann Benchetrit, Karen Ullrich, Carolina Braga, Abhishek Charnalia, Maeve Ryan, Mike Rabbat, Michal Drozdzal, Jakob Verbeek, Adriana Romero-Soriano

    Abstract: As the use of text-to-image generative models increases, so does the adoption of automatic benchmarking methods used in their evaluation. However, while metrics and datasets abound, there are few unified benchmarking libraries that provide a framework for performing evaluations across many datasets and metrics. Furthermore, the rapid introduction of increasingly robust benchmarking methods require… ▽ More

    Submitted 18 December, 2024; v1 submitted 13 December, 2024; originally announced December 2024.

    Comments: For code, see https://github.com/facebookresearch/EvalGIM/tree/main

  2. arXiv:2108.07878  [pdf, other

    cs.SE cs.LO

    B Maude: A formal executable environment for Abstract Machine Notation Descriptions

    Authors: Christiano Braga, Narciso Martí-Oliet

    Abstract: We propose B Maude, a prototype executable environment for the Abstract Machine Notation implemented in the Maude language. B Maude is formally defined and results from the implementation of the semantics of AMN as denotations in the $π$ Framework, a realization of Mosses' Component-based Semantics and Plotkin's Interpreting Automata. B Maude endows the B method with execution by rewriting, symbol… ▽ More

    Submitted 17 August, 2021; originally announced August 2021.

  3. arXiv:2103.13516  [pdf, other

    cs.CV

    Tracking Pedestrian Heads in Dense Crowd

    Authors: Ramana Sundararaman, Cedric De Almeida Braga, Eric Marchand, Julien Pettre

    Abstract: Tracking humans in crowded video sequences is an important constituent of visual scene understanding. Increasing crowd density challenges visibility of humans, limiting the scalability of existing pedestrian trackers to higher crowd densities. For that reason, we propose to revitalize head tracking with Crowd of Heads Dataset (CroHD), consisting of 9 sequences of 11,463 frames with over 2,276,838… ▽ More

    Submitted 24 March, 2021; originally announced March 2021.

  4. arXiv:1805.04650  [pdf, other

    cs.PL

    π: Towards a Simple Formal Semantic Framework for Compiler Construction

    Authors: Christiano Braga

    Abstract: This paper proposes π, a formal semantic framework for compiler construction together with program validation. π is comprised by π Lib, a set of programming languages constructs inspired by Peter Mosses' Component-Based Semantics and π Automata, an automata-based formalism to describe the operational semantics of programming languages, that generalizes Gordon Plotkin's Interpreting Automata.

    Submitted 31 July, 2018; v1 submitted 12 May, 2018; originally announced May 2018.

  5. arXiv:1803.03173  [pdf, other

    cs.LO

    Towards the Modular Specification and Validation of Cyber-Physical Systems

    Authors: Andre Metelo, Christiano Braga, Diego Brandão

    Abstract: Cyber-Physical Systems (CPS) are systems controlled by one or more computer-based components tightly integrated with a set of physical components, typically described as sensors and actuators, that can either be directly attached to the computer components, or at a remote location, and accessible through a network connection. The modeling and verification of such systems is a hard task and error p… ▽ More

    Submitted 8 March, 2018; originally announced March 2018.

  6. arXiv:1709.02018  [pdf, ps, other

    cs.LO

    Modeling Normative Multi-Agent Systems from a Kelsenian Perspective

    Authors: Christiano Braga, Edward Hermann Haeusler, Jéssica S. Santos

    Abstract: Standard Deontic Logic (SDL) has been used as the underlying logic to model and reason over Multi-Agent Systems governed by norms (NorMAS). It is known that SDL is not able to represent contrary-to-duty (CTD) scenarios in a consistent way. That is the case, for example, of the so-called Chisholm paradox, which models a situation in which a conditional obligation that specifies what must be done wh… ▽ More

    Submitted 26 March, 2018; v1 submitted 6 September, 2017; originally announced September 2017.

    Comments: (A revision of "Normative Multi-Agent Systems and Kelsenian Jurisprudence")