|
/
Browsing by Author Abreu, Salvador
Showing results 21 to 40 of 76
Issue Date | Title | Author(s) | Apr-2017 | Enlisting GPU Power for Constraint Solving | Roque, Pedro; Pedro, Vasco; Abreu, Salvador |
2014 | Enterprise Intelligence com Metadatos como Ontologia | Guimarães, Francisco; Caldeira, Carlos; Quaresma, Paulo |
7-Sep-2012 | Estratégia Hibrida de Recomendações sobre um Gestor de Conteúdos Ampliado em Ensino Formal | Madeira, Filipe; Quaresma, Rui; Abreu, Salvador |
2011 | Experiments in Parallel Constraint-Based Local Search | Caniou, Yves; Codognet, Philippe; Diaz, Daniel; Abreu, Salvador |
Jul-2014 | Extending the Finite Domain Solver of GNU Prolog | Bloemen, Vincent; Diaz, Daniel; van der Bijl, Machiel; Abreu, Salvador |
2022 | Fifty Years of Prolog and Beyond | Koerner, Philipp; Leuschel, Michael; Barbosa, João; Santos Costa, Vitor; Dahl, Verónica; Hermenegildo, Manuel; Morales, José; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador; Ciatto, Giovanni |
Mar-2014 | Flexible cooperation in parallel local search | Munera, Danny; Diaz, Daniel; Abreu, Salvador; Codognet, Philippe |
2013 | HYBRID RECOMMENDER STRATEGY IN LEARNING: AN EXPERIMENTAL INVESTIGATION | Madeira, Filipe; Abreu, Salvador; Quaresma, Rui |
2012 | A Hybrid Recommender Strategy on an Expanded Content Manager in Formal Learning | Madeira, Filipe; Quaresma, Rui; Abreu, Salvador |
Nov-2018 | Improving Constraint Solving on Parallel Hybrid Systems | Roque, Pedro; Pedro, Vasco; Diaz, Daniel; Abreu, Salvador |
Nov-2018 | Improving Constraint Solving on Parallel Hybrid Systems | Roque, Pedro; Pedro, Vasco; Diaz, Daniel; Abreu, Salvador |
2007 | Integrating Temporal Annotations in a Modular Logic Language | Nogueira, Vitor; Abreu, Salvador |
9-Apr-2022 | Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search | Correa, Camilo; Robin, Jacques; Mazo, Raul; Abreu, Salvador |
2011 | ISTO: a Language for Temporal Organisational Information Systems | Nogueira, Vitor; Abreu, Salvador |
2015 | Large-scale parallelism for constraint-based local search: the costas array case study | Caniou, Yves; Codognet, Philippe; Richoux, Florian; Diaz, Daniel; Abreu, Salvador |
Sep-2016 | Load balancing for constraint solving with GPUs | Roque, Pedro; Pedro, Vasco; Abreu, Salvador |
16-Apr-2015 | A Local Search Algorithm for SMTI and its extension to HRT Problems | Munera, Danny; Diaz, Daniel; Abreu, Salvador; Rossi, Francesca; Saraswat, Vijay; Codognet, Philippe |
2003 | A methodology to create ontology-based information retrieval systems | Saias, José; Quaresma, Paulo |
2013 | Modelling distributed network attacks with constraints | Salgueiro, Pedro; Abreu, Salvador |
20-Jan-2023 | Models and methods for the modelling of forest managing | Eloy, Eduardo Jorge Oliveira |
Showing results 21 to 40 of 76
|