Mestrado em Ciência da Computação.: Recent submissions

  • Eficácia no uso de aprendizagem de máquina para estimação de risco em contratos públicos e empresas. 
    http://lattes.cnpq.br/0658946296561461; MENEZES, Talita Lôbo de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2019-07-29)
    The hiring of companies by the Public Administration is a frequent and necessary process in providing services to municipalities and government agencies in several countries. By law, contracts concluded must be accompanied ...
  • Aplicações da robótica educacional para o desenvolvimento do pensamento computacional no contexto da educação básica. 
    http://lattes.cnpq.br/3347898369231680; SOUZA, Isabelle Maria Lima de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2019-07-09)
    Nowadays, the competence of solving problems is substantial for the relationship of human beings with the social environment, on this account the diverse areas encompass complex situations to be cleared up. Though, ...
  • Explorando aprendizagem ativa para reduzir o esforço manual na geração de gabaritos para resolução de entidades. 
    http://lattes.cnpq.br/2027297399918127; ARAÚJO, Diego Fernandes de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2019-05-22)
    Several methods of Entity Resolution (ER) have been developed both at academia and industry over the years, with the aim to identify duplicate entities (e.g.records) in datasets. To evaluate the efficacy of such methods, ...
  • Uma abordagem para classificação e sugestão de atualizações em máquinas de estado a partir de mudanças no código-fonte. 
    http://lattes.cnpq.br/2545984407551728; BARBOSA, Matheus de Oliveira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2019-03-07)
    During the software development process, various types of artifacts are created that represent levels of abstractions and different views. Among these artifacts, the Behavioral State Machines (SM) UML, are one of the most ...
  • Evaluating feedback tools in introductory programming classes. 
    http://lattes.cnpq.br/8460962053427361; AMORIM, Ruan Victor Bertoldo Reis de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2019-08-19)
    Aprender a programar é um desafio enfrentado pelos alunos na maioria dos cursos de introdução à programação. Por este motivo, diversas ferramentas têm sido propostas com o propósito de ajudar os alunos a superar dificuldades ...
  • Validação do formalismo TAOS para a análise da tarefa no contexto da concepção de interfaces homem-computador. 
    Muñoz, Ivette; http://lattes.cnpq.br/4609811632387529; MUÑOZ, Ivette Kafure. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2000-02-25)
    In spite of the recent advances in the human-computer interaction field, there is a lack of compatibility between the cognitive and functional representation of the user task. Therefore this work reviews the state of the ...
  • Segmentação, rastreamento de objetos e detecção de eventos primitivos com aplicação no monitoramento automático de ações humanas em vídeo. 
    COSTA, B. A. D.; http://lattes.cnpq.br/5191594240016229; COSTA, Bruno Alexandre Dias da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2008-09-26)
    Human motion analysis of human movement in digital video has been a frequent topic of research in computer vision due to the large number of promising applications, which are part of a new field, commonly referred to as ...
  • Mineração de regras de classificação com sistemas de banco de dados objeto-relacional. Estudo de caso: regras de classificação de litofácies de poços de petróleo. 
    VASCONCELOS, B. S.; http://lattes.cnpq.br/7307233509221693; VASCONCELOS, Benitz de Souza. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-10-30)
    In Data Mining applications, the quality of the induced knowledge is proportional to the volume of data available for mining. Taking this into account, the integration of Data Mining algorithms with DBMSs has been intensively ...
  • Um simulador simbólico de circuitos quânticos. 
    BARBOSA, A. A.; http://lattes.cnpq.br/9588814902346410; BARBOSA, Alexandre de Andrade. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2007-07-12)
    Quantum computation is one of the most promising current technologies, it is based on the quantum mechanics principles to supply a computational paradigm that will bring an expressive processing power. Problems considered ...
  • VideoLib: uma biblioteca digital de vídeo usando metadados Dublin Core e MPEG-7. 
    RÊGO, A. S. C.; http://lattes.cnpq.br/1582109846489096; RÊGO, Alex Sandro da Cunha. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2004-02-16)
    Recently, a large amount of digital video can be found on the Web, and this number is increasing rapidly. The video manipulation becomes complex due to the great volume, semantic heterogeneity interpreted by different ...
  • Projeto e implementação de um serviço de eventos para o desenvolvimento de aplicações baseadas em componentes. 
    COSTA NETO, A.; http://lattes.cnpq.br/1790423250842160; COSTA NETO, Alberto. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2001-08-16)
    This dissertation specifies an object-oriented framework to support the development of applications and components that communicate through events. An Event Service that eases the creation of software products that use the ...
  • Modelagem executável de sistemas distribuídos em JAVA. 
    ASSIS, Afrânio Mangueira Lima de; http://lattes.cnpq.br/2282844874223181; ASSIS, Afrânio Mangueira Lima de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2006-02-27)
    With the aim to minimize the errors in computer systems, developers try to include in their development process activities which will contribute to the increase in the quality of systems. Among these activities, one finds ...
  • Análise de protocolos de roteamento Unicast em redes Ad Hoc móveis baseada em um modelo realístico de bateria. 
    http://lattes.cnpq.br/5517372355480906; COSTA NETO, José Athayde Torres. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2011-05-06)
    Mobile Ad hoc Networks (MANETs) are characterized by their devices to operate without presence of any centralized control. Most unicast routing protocols for mobile ad hoc networks were evaluated through simulation. However, ...
  • Ferramenta para a integração e análise de dados da avaliação de interfaces. 
    BEZERRA, A. W. A.; http://lattes.cnpq.br/5046590807071039; BEZERRA, Adriano Wagner Araújo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2000-12-11)
    This dissertation presents the development of a user interface evaluation-supporting tool. The work is based upon the assumption that the analysis and diagnosis of the problems found during a product evaluation must be ...
  • Reúso de modelos em redes de petri coloridas. 
    LEMOS, A. J. P.; http://lattes.cnpq.br/1047552565537920; LEMOS, Adriano José Pinheiro. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2001-02-28)
    In this work the main concepts of software reuse are applied to the formal modelling activit ics of a software development process. More specifically, we focus the model reuse of software systems described in Coloured Petri ...
  • MHITS – um sistema tutor inteligente em harmonia musical. 
    CAMINHA, A. O.; http://lattes.cnpq.br/8112885412528720; CAMINHA, Adriano de Oliveira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2000-02-29)
  • Geração automática de testes com objetos mock baseados em interações. 
    http://lattes.cnpq.br/0595422027989879; SOUTO, Sabrina de Figueirêdo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-08-31)
    The main purpose of unit tests is to verify the correct work of software and search for defects in the smallest part of the system, in isolated way. However, this isolation not always is possible due to the relationship ...
  • Validação visual de programas Ladder baseada em modelos. 
    http://lattes.cnpq.br/8869126946646971; SAMPAIO, Leonardo Rodrigues. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2011-02-25)
    Control systems are frequently used in industry in the execution of critical tasks. Flaws in this operations may cause expensive losses and can put the plant safety at risk. Therefore, it is necessary to define techniques, ...
  • Um protocolo multicast de distribuição de conteúdo em redes ad hoc móveis. 
    Brasileiro, F.V.; http://lattes.cnpq.br/5957855817378897; DORIA, Sidney Santos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2008-08-15)
    The search for new synergies between Mobile Ad Hoc Networks (MANETs) and Peer-to- Peer (P2P) networks has engaged many researchers. Some works have tried to implement P2P content distribution networks over MANETs. However, ...
  • SALIUS - serviço de armazenamento estável com recuperação para frente baseado na replicação remota de buffers. 
    STANCHI, T. S.; http://lattes.cnpq.br/7430888359414145; STANCHI, Tatiana Simas. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2000-02-25)
    Stable storage of data is an important requirement for many applications. Traditional file systems use synchronous writing to disk as a way of guaranteeing the stability of stored data. However, synchronous writing impairs ...

Buscar DSpace


Busca avançada

Navegar

Minha conta