• 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 769 matches

• 2021
• 
  Benjamin Kloesel, Bethany Juhnke, Laura Irvine, James V. Donadio, Arthur G. Erdman, Kumar Belani:
  Computer-Generated Three-Dimensional Airway Models as a Decision-Support Tool for Preoperative Evaluation and Procedure-Planning in Pediatric Anesthesiology. J. Medical Syst. 45(2): 21 (2021)
• 
  Alexander Lochmann, Aart Middeldorp, Fabian Mitterwallner, Bertram Felgenhauer:
  A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems. CPP 2021: 250-263
• 
  Katherine Cordwell, Yong Kiam Tan, André Platzer:
  A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm. CoRR abs/2102.03003 (2021)
• 2020
• 
  Benjamin Farinier:
  Decision procedures for vulnerability analysis. (Procédures de décision pour l'analyse de vulnérabilités). Grenoble Alpes University, France, 2020
• 
  Lucia Reis Peixoto Roselli, Leydiana de Sousa Pereira, Anderson Lucas Carneiro de Lima da Silva, Adiel Teixeira de Almeida, Danielle Costa Morais, Ana Paula Cabral Seixas Costa:
  Neuroscience experiment applied to investigate decision-maker behavior in the tradeoff elicitation procedure. Ann. Oper. Res. 289(1): 67-84 (2020)
• 
  Mehtap Dursun, Nazli Göker, Hakan Mutlu:
  A cognitive map integrated intuitionistic fuzzy decision-making procedure for provider selection in project management. J. Intell. Fuzzy Syst. 39(5): 6645-6655 (2020)
• 
  Nazli Göker, Mehtap Dursun, Y. Esra Albayrak:
  An integrated group decision making procedure for agile supplier evaluation. J. Intell. Fuzzy Syst. 39(5): 6497-6505 (2020)
• 
  Nazli Göker, Mehtap Dursun, Michele Cedolin:
  A novel IFCM integrated distance based hierarchical intuitionistic decision making procedure for agile supplier selection. J. Intell. Fuzzy Syst. 38(1): 653-662 (2020)
• 
  Ana I. de Castro, José M. Peña, Jorge Torres-Sánchez, Francisco M. Jiménez-Brenes, Francisco Valencia-Gredilla, Jordi Recasens, Francisca López-Granados:
  Mapping Cynodon Dactylon Infesting Cover Crops with an Automatic Decision Tree-OBIA Procedure and UAV Imagery for Precision Viticulture. Remote. Sens. 12(1): 56 (2020)
• 
  Rajeev Kumar, Abhishek Kumar Pandey, Abdullah Baz, Hosam Alhakami, Wajdi Alhakami, Alka Agrawal, Raees Ahmad Khan:
  Fuzzy-Based Symmetrical Multi-Criteria Decision-Making Procedure for Evaluating the Impact of Harmful Factors of Healthcare Information Security. Symmetry 12(4): 664 (2020)
• 
  Xinfeng Shu, Zhenhua Duan, Hongwei Du:
  A decision procedure and complete axiomatization for projection temporal logic. Theor. Comput. Sci. 819: 50-84 (2020)
• 
  Xinfeng Shu, Nan Zhang, Xiaobing Wang, Liang Zhao:
  Efficient decision procedure for propositional projection temporal logic. Theor. Comput. Sci. 838: 1-16 (2020)
• 
  Geoffrey Pettet, Ayan Mukhopadhyay, Mykel J. Kochenderfer, Yevgeniy Vorobeychik, Abhishek Dubey:
  On Algorithmic Decision Procedures in Emergency Response Systems in Smart and Connected Communities. AAMAS 2020: 1046-1054
• 
  Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu:
  A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. ATVA 2020: 325-342
• 
  Maria Paola Bonacina, Sarah Winkler:
  SGGS Decision Procedures. IJCAR (1) 2020: 356-374
• 
  Andrew Reynolds, Andres Nötzli, Clark W. Barrett, Cesare Tinelli:
  A Decision Procedure for String to Code Point Conversion. IJCAR (1) 2020: 218-237
• 
  Ruotong Wang, F. Maxwell Harper, Haiyi Zhu:
  Factors Influencing Perceived Fairness in Algorithmic Decision-Making: Algorithm Outcomes, Development Procedures, and Individual Differences. CHI 2020: 1-14
• 
  Masaomi Yamaguchi, Takahito Aoto:
  A Fast Decision Procedure For Uniqueness of Normal Forms w.r.t. Conversion of Shallow Term Rewriting Systems. FSCD 2020: 11:1-11:23
• 
  Ray-Ming Chen:
  A Decision Procedure for Countable Metrics. ICCDE 2020: 99-102
• 
  Nizar Chatti, Khaoula Tidriri, Tarun Kumar Bera:
  Dynamic Bayesian Network Decision Model for Improving Fault Detection Procedure. IEEM 2020: 1006-1011
• 
  Friso G. Heslinga, Hendrik Koffijberg, Robert H. Geelkerken, Robbert Meerwaldt, Thijs G. ter Mors, Carine J. M. Doggen, Marjan Hummel:
  Value based decision support to prioritize development of innovative technologies for image-guided vascular surgery in the hybrid operating theater. Medical Imaging: Image-Guided Procedures 2020: 1131525
• 
  Tanveer F. Syeda-Mahmood, Klaus Drechsler, Hayit Greenspan, Anant Madabhushi, Alexandros Karargyris, Marius George Linguraru, Cristina Oyarzun Laura, Raj Shekhar, Stefan Wesarg, Miguel Ángel González Ballester, Marius Erdt:
  Multimodal Learning for Clinical Decision Support and Clinical Image-Based Procedures - 10th International Workshop, ML-CDS 2020, and 9th International Workshop, CLIP 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4-8, 2020, Proceedings. Lecture Notes in Computer Science 12445, Springer 2020, ISBN 978-3-030-60945-0 [contents]
• 
  Geoffrey Pettet, Ayan Mukhopadhyay, Mykel J. Kochenderfer, Yevgeniy Vorobeychik, Abhishek Dubey:
  On Algorithmic Decision Procedures in Emergency Response Systems in Smart and Connected Communities. CoRR abs/2001.07362 (2020)
• 
  Ruotong Wang, F. Maxwell Harper, Haiyi Zhu:
  Factors Influencing Perceived Fairness in Algorithmic Decision-Making: Algorithm Outcomes, Development Procedures, and Individual Differences. CoRR abs/2001.09604 (2020)
• 
  Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu:
  A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. CoRR abs/2007.06913 (2020)
• 
  Jeffrey W. Herrmann, Kunal Mehta:
  Lookahead and Hybrid Sample Allocation Procedures for Multiple Attribute Selection Decisions. CoRR abs/2007.16119 (2020)
• 2019
• 
  Martin Bromberger:
  Decision Procedures for Linear Arithmetic. (Quelques procédures de décision pour l'arithmétique linéaire). Saarland University, Saarbrücken, Germany, 2019
• 
  Abderrahmen Mediouni, Nicolas Zufferey, Nachiappan Subramanian, Naoufel Cheikhrouhou:
  Fit between humanitarian professionals and project requirements: hybrid group decision procedure to reduce uncertainty in decision-making. Ann. Oper. Res. 283(1-2): 471-496 (2019)
• 
  José Luis García-Lapresta, Raquel González del Pozo:
  An ordinal multi-criteria decision-making procedure under imprecise linguistic assessments. Eur. J. Oper. Res. 279(1): 159-167 (2019)
• 
  Jie Tang, Fanyong Meng, Francisco Javier Cabrerizo, Enrique Herrera-Viedma:
  A procedure for group decision making with interval-valued intuitionistic linguistic fuzzy preference relations. Fuzzy Optim. Decis. Mak. 18(4): 493-527 (2019)

skipping 739 more matches