Filters (1)
Download Results
324 research outcomes, page 3 of 33
  • publication . Article . 2021
    Open Access English
    Authors:
    Alhomsi, Riham; Santarosa Vivacqua, Adriana;
    Persistent Identifiers
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    Providing explanations to the business process, its decisions and its activities, is an important key factor for the process in order to achieve the business objectives of the business process, and to minimize and deal with the ambiguity of the business process that cau...

    Add to ORCID
  • publication . Article . 2020
    Open Access English
    Authors:
    Gonçalves, Luan Luiz; Schiavoni, Flávio Luiz;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    Music has been influenced by digital technology over the last few decades. With the computer and the Digital Musical Instruments, the musical composition could trespass the use of acoustic instruments demanding to musicians and composers a sort of computer programming s...

    Add to ORCID
  • publication . Article . Other literature type . 2019
    Open Access English
    Authors:
    Antônio Carlos da Rocha Costa;
    Persistent Identifiers
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    This paper formally characterizes the  elementary economic systems  of material agent societies, on the bases of the notions of (individual and group)  elementary economic behavior ,  elementary economic exchange  and  elementary economic process . The  equilibrium  of ...

    Add to ORCID
  • publication . Article . 2020
    Open Access English
    Authors:
    Pereira Júnior, Paulo César; Monteiro, Alexandre; Ribeiro, Rafael da Luz; Sobieranski, Antonio Carlos; von Wangenheim, Aldo;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    In this paper, we present a comparison between convolutional neural networks and classicalcomputer vision approaches, for the specific precision agriculture problem of weed mapping on sugarcane fields aerial images. A systematic literature review was conducted to find w...

    Add to ORCID
  • publication . Article . 2020
    Open Access English
    Authors:
    Guimarães, Almir Pereira; Rodrigues, Dênis da Silva; Nogueira, Bruno Costa e Silva;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    In the last years, the transmission of voice services in converged networks has experienced a huge growth. However, there are still some questions considering the ability of these networks to deliver voice services with acceptable quality. In this paper, we applied anal...

    Add to ORCID
  • publication . Article . 2016
    Open Access Portuguese
    Authors:
    Diego Nunes Molinos; Daniel Gomes Mesquita; Debora Nayar Hoff;
    Persistent Identifiers
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    <jats:p>Devido ao volume de trabalhos publicados nos veículos de divulgação científica, ferramentas de análise de dados textuais tornam-se importantes para diversas áreas de conhecimento. Utilitários dessa natureza oferecem ao usuário funcionalidadestanto em âmbito quan...

    Add to ORCID
  • publication . Article . 2010
    Open Access English
    Authors:
    Julio Cesar Damasceno; Hamid Reza Motahari Nezhad; Jun Li; Caio Northfleet; Bryan Stephenson; André Ricardo da Silva Souza; Robson Wagner Albuquerque de Medeiros; Bruno Silva; Fernando Antonio Aires Lins; Nelson Souto Rosa; ...
    Persistent Identifiers
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    <jats:p>This paper presents an approach for binding security requirements to different BPMN task types to create secure executable business processes.</jats:p>

    Add to ORCID
  • publication . Article . 2010
    Open Access English
    Authors:
    Mirel Cosulschi; Roberto De Virgilio; Tommaso Di Noia; Roberto Mirizzi;
    Persistent Identifiers
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    An important aspect of research for Web information extraction relates to the inference of complex reasoning and correlation based on distributed information available in many different Web data sources. By defining the semantics of information and services available on...

    Add to ORCID
  • publication . Article . 2020
    Open Access English
    Authors:
    Alfio Ricardo de Brito Martini;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    <jats:p>Hoare Logic has a long tradition in formal verification and has been continuously developed and used to verify a broad class of programs, including sequential, object-oriented and concurrent programs. The purpose of this work is to provide a detailed and accessi...

    Add to ORCID
  • publication . Article . 2013
    Open Access Portuguese
    Authors:
    George Souza Oliveira; Anderson Faustino da Silva;
    Persistent Identifiers
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    A principal motivacao para o uso de programacao em logica e permitir que os programadores descrevam o que eles querem separadamente de como alcancar este objetivo. Neste contexto Prolog e a linguagem de programacao em logica mais popular, tendo a maquina abstrata de War...

    Add to ORCID
324 research outcomes, page 3 of 33