|
/
Browsing by Author Abreu, Salvador
Showing results 18 to 37 of 76
Issue Date | Title | Author(s) | 2007 | Distributed multi-threading in GNU prolog | Morgadinho, Nuno Eduardo Quaresma |
4-Jul-2017 | Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies | Seipel, Dietmar; Nogatz, Falco; Abreu, Salvador |
2007 | DSM-PM2 adequacy for distributed constraint programming | Almas, Luís Pedro Parreira Galito Pimenta |
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 |
Showing results 18 to 37 of 76
|