• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 507 matches

• 2023
• 
  Juan José Gamboa-Montero, Fernando Alonso-Martín, Sara Marques-Villarroya, João Sequeira, Miguel A. Salichs:
  Asynchronous federated learning system for human-robot touch interaction. Expert Syst. Appl. 211: 118510 (2023)
• 
  João Serrano, João Marques, Shakib Shahidian, Emanuel Carreira, José Rafael Marques da Silva, Luis Paixão, Luís Lorenzo Paniagua, Francisco Jesús Moral, Isabel Ferraz de Oliveira, Elvira Sales-Baptista:
  Sensing and Mapping the Effects of Cow Trampling on the Soil Compaction of the Montado Mediterranean Ecosystem. Sensors 23(2): 888 (2023)
• 
  João Marques Silva, Nuno Souto:
  A Secured 5G Network Slices Auction Broker. Emerging Trends in Cybersecurity Applications 2023: 123-136
• 
  Xuanxiang Huang, João Marques-Silva:
  The Inadequacy of Shapley Values for Explainability. CoRR abs/2302.08160 (2023)
• 2022
• 
  Pedro Mimoso Silva, João N. C. Gonçalves, Tiago M. Martins, Luís C. Marques, Miguel Oliveira, Marcelo I. Reis, Luís Araújo, Daniela Correia, José Telhada, Lino A. Costa, João M. Fernandes:
  A hybrid bi-objective optimization approach for joint determination of safety stock and safety time buffers in multi-item single-stage industrial supply chains. Comput. Ind. Eng. 168: 108095 (2022)
• 
  Bernardo Marques, António Teixeira, Samuel Silva, João Alves, Paulo Dias, Beatriz Sousa Santos:
  A critical analysis on remote collaboration mediated by Augmented Reality: Making a case for improved characterization and evaluation of the collaborative process. Comput. Graph. 102: 619-633 (2022)
• 
  Yacine Izza, Alexey Ignatiev, João Marques-Silva:
  On Tackling Explanation Redundancy in Decision Trees. J. Artif. Intell. Res. 75: 261-321 (2022)
• 
  Igor Marques, Isadora Salles, João M. M. Couto, Breno C. Pimenta, Samuel Assis, Julio C. S. Reis, Ana Paula Couto da Silva, Jussara Marques de Almeida, Fabrício Benevenuto:
  A Comprehensive Dataset of Brazilian Fact-Checking Stories. J. Inf. Data Manag. 13(1) (2022)
• 
  Anna S. Levin, Maristela P. Freire, Maura Salaroli de Oliveira, Ana Catharina S. Nastri, Leila S. Harima, Lauro Vieira Perdigão-Neto, Marcello M. Magri, Gabriel Fialkovitz, Pedro H. M. F. Figueiredo, Rinaldo Focaccia Siciliano, Ester C. Sabino, Danilo P. N. Carlotti, Davi Silva Rodrigues, Fátima L. S. Nunes, João Eduardo Ferreira, Geraldo Busatto Filho, Eloisa Bonfá, Edivaldo Utiyama, Aluisio Segurado, Beatriz Perondi, Anna M. Morais, Amanda Montal, Solange Fusco, Marjorie Fregonesi, Marcelo Rocha, Izabel Marcilio, Izabel C. Rios, Fabiane, Y. O. Kawano, M. Amelia de Jesus, Esper G. Kallas, Carolina Marmo, Clarice Tanaka, Heraldo P. de Souza, Julio F. M. Marchini, Carlos Carvalho, Juliana C. Ferreira, Thais Guimaraes, Carolina S. Lazari, Alberto J. S. Duarte, M. Cristina Braido, P. B. Francisco, Silvia F. Costa:
  Correlating drug prescriptions with prognosis in severe COVID-19: first step towards resource management. BMC Medical Informatics Decis. Mak. 22(1): 246 (2022)
• 
  Davi Silva Rodrigues, Ana Catharina S. Nastri, Marcello M. Magri, Maura Salaroli de Oliveira, Ester C. Sabino, Pedro H. M. F. Figueiredo, Anna S. Levin, Maristela P. Freire, Leila S. Harima, Fátima L. S. Nunes, João Eduardo Ferreira, Geraldo F. Busatto, Eloisa Bonfá, Edivaldo Utiyama, Aluisio Segurado, Beatriz Perondi, Anna M. Morais, Amanda Montal, Solange Fusco, Marjorie Fregonesi, Marcelo Rocha, Izabel Marcilio, Izabel C. Rios, Fabiane Y. O. Kawano, M. Amelia de Jesus, Esper G. Kallas, Carolina Marmo, Clarice Tanaka, Heraldo P. de Souza, Julio F. M. Marchini, Carlos Carvalho, Juliana C. Ferreira, Thais Guimaraes, Carolina S. Lazari, Alberto J. S. Duarte, M. Cristina P. B. Francisco, Silvia F. Costa:
  Predicting the outcome for COVID-19 patients by applying time series classification to electronic health records. BMC Medical Informatics Decis. Mak. 22(1): 187 (2022)
• 
  Bernardo Marques, Samuel S. Silva, João Alves, Tiago Araújo, Paulo Dias, Beatriz Sousa Santos:
  A Conceptual Model and Taxonomy for Collaborative Augmented Reality. IEEE Trans. Vis. Comput. Graph. 28(12): 5113-5133 (2022)
• 
  João Marques-Silva, Alexey Ignatiev:
  Delivering Trustworthy AI through Formal XAI. AAAI 2022: 12342-12350
• 
  Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin C. Cooper, Nicholas Asher, João Marques-Silva:
  Tractable Explanations for d-DNNF Classifiers. AAAI 2022: 5719-5728
• 
  Alexey Ignatiev, Yacine Izza, Peter J. Stuckey, João Marques-Silva:
  Using MaxSAT for Efficient Explanations of Tree Ensembles. AAAI 2022: 3776-3785
• 
  Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi:
  Constraint-Driven Explanations for Black-Box ML Models. AAAI 2022: 8304-8314
• 
  Rodrigo Brandão, Cristina Oliveira, Sarajane Marques Peres, Leôncio da Silva Junior, Marco Papp, João Paulo Cândia Veiga, Rubens Beçak, Laura Camargo:
  Artificial Intelligence, Algorithmic Transparency and Public Policies: The Case of Facial Recognition Technologies in the Public Transportation System of Large Brazilian Municipalities. BRACIS (1) 2022: 565-579
• 
  Bruno Silva, Ruben Marques, Tiago Santos, João Sousa, Guillem Alenyà:
  Relevant Parameters Identification in Traditional & Stretch and Blow Thermoplastics Injection Molding. CIVEMSA 2022: 1-6
• 
  João Antunes, Miguel L. Pardal, Luísa Coheur:
  A Study on the Best Way to Compress Natural Language Processing Models. FUZZ-IEEE 2022: 1-8
• 
  Pedro Marques, Luís Pádua, Anabela Fernandes-Silva, Joaquim João Sousa:
  UAV Flight Configuration Impact on the Estimation of Dendrometric Parameters in Olive Trees. IGARSS 2022: 4384-4387
• 
  Leandro Araújo, Luiz Felipe Nery, Isadora C. Rodrigues, João M. M. Couto, Julio C. S. Reis, Ana P. C. Silva, Jussara M. Almeida, Fabrício Benevenuto:
  Identificando Websites de Desinformação no Brasil. SBBD 2022: 355-360
• 
  Xuanxiang Huang, João Marques-Silva:
  On Deciding Feature Membership in Explanations of SDD & Related Classifiers. CoRR abs/2202.07553 (2022)
• 
  Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva:
  Provably Precise, Succinct and Efficient Explanations for Decision Trees. CoRR abs/2205.09569 (2022)
• 
  Yacine Izza, Alexey Ignatiev, João Marques-Silva:
  On Tackling Explanation Redundancy in Decision Trees. CoRR abs/2205.09971 (2022)
• 
  Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva:
  Eliminating The Impossible, Whatever Remains Must Be True. CoRR abs/2206.09551 (2022)
• 
  Yacine Izza, João Marques-Silva:
  On Computing Relevant Features for Explaining NBCs. CoRR abs/2207.04748 (2022)
• 
  Nuno Souto, João Carlos Silva:
  Optimizing the Achievable Rate in MIMO Systems Assisted by Multiple Reconfigurable Intelligent Surfaces. CoRR abs/2207.12047 (2022)
• 
  Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva:
  Feature Necessity & Relevancy in ML Classifier Explanations. CoRR abs/2210.15675 (2022)
• 
  João Marques-Silva:
  Logic-Based Explainability in Machine Learning. CoRR abs/2211.00541 (2022)
• 
  Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva:
  On Computing Probabilistic Abductive Explanations. CoRR abs/2212.05990 (2022)
• 2021
• 
  Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, António Morgado, João Marques-Silva:
  Propositional proof systems based on maximum satisfiability. Artif. Intell. 300: 103552 (2021)

skipping 477 more matches