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

• 2021
• 
  Ali Ebnenasir, Alex P. Klinkhamer:
  Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems with Constant-Space Processes. IEEE Trans. Software Eng. 47(3): 614-629 (2021)
• 2020
• 
  Daniel Angelov, Yordan Hristov, Subramanian Ramamoorthy:
  From demonstrations to task-space specifications. Using causal analysis to extract rule parameterization from demonstrations. Auton. Agents Multi Agent Syst. 34(2): 45 (2020)
• 
  Junkai Xu, Fangyuan Cao, Shi Zhan, Ming Ling, Hai Hu, Peter B. Shull:
  Mapping-Based Dosage of Gait Modification Selection for Multi-Parameter, Subject-Specific Gait Retraining. IEEE Access 8: 106354-106363 (2020)
• 
  Qianhui Sun, Cong Zhou, J. Geoffrey Chase:
  Parameter updating of a patient-specific lung mechanics model for optimising mechanical ventilation. Biomed. Signal Process. Control. 60: 102003 (2020)
• 
  Nils Lichtenberg, Pepe Eulzer, Gabriele Romano, Andreas Brcic, Matthias Karck, Kai Lawonn, Raffaele De Simone, Sandy Engelhardt:
  Mitral valve flattening and parameter mapping for patient-specific valve diagnosis. Int. J. Comput. Assist. Radiol. Surg. 15(4): 617-627 (2020)
• 
  Gaku Morio, Hiroaki Ozaki, Terufumi Morishita, Yuta Koreeda, Kohsuke Yanai:
  Towards Better Non-Tree Argument Mining: Proposition-Level Biaffine Parsing with Task-Specific Parameterization. ACL 2020: 3259-3266
• 
  Arfeen Khalid:
  BioMETA: A multiple specification parameter estimation system for stochastic biochemical models. BIBM 2020: 158-163
• 
  Eva Smijáková, Samuel Pastva, David Safránek, Lubos Brim:
  Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. CMSB 2020: 280-297
• 
  Zi Wang, Benjamin Carrión Schäfer:
  Machine Leaming to Set Meta-Heuristic Specific Parameters for High-Level Synthesis Design Space Exploration. DAC 2020: 1-6
• 
  Giulia Comunale, Francesca M. Susin, Jonathan P. Mynard:
  A female-specific cardiovascular lumped-parameter model. EMBC 2020: 2654-2657
• 
  Yuki Nanjo, Masaaki Shirase, Takuya Kusaka, Yasuyuki Nogami:
  Specific Congruence Classes of Integer Parameters for Generating BLS Curves for Fast Pairings. CANDAR (Workshops) 2020: 348-354
• 
  Bowen Li, Ke Yan, Dar-In Tai, Yuankai Huo, Le Lu, Jing Xiao, Adam P. Harrison:
  Reliable Liver Fibrosis Assessment from Ultrasound Using Global Hetero-Image Fusion and View-Specific Parameterization. MICCAI (3) 2020: 606-615
• 
  Marja Fleitmann, Hristina Uzunova, Andreas Martin Stroth, Jan Gerlach, Alexander Fürschke, Jörg Barkhausen, Arpad Bischof, Heinz Handels:
  Deep-Learning-Based Feature Encoding of Clinical Parameters for Patient Specific CTA Dose Optimization. MobiHealth 2020: 315-322
• 
  Kaiyi Ji, Jason D. Lee, Yingbin Liang, H. Vincent Poor:
  Convergence of Meta-Learning with Task-Specific Adaptation over Partial Parameters. NeurIPS 2020
• 
  Alberto Martin-Lopez, Sergio Segura, Carlos Müller, Antonio Ruiz-Cortés:
  Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs. CoRR abs/2005.03320 (2020)
• 
  Kaiyi Ji, Jason D. Lee, Yingbin Liang, H. Vincent Poor:
  Convergence of Meta-Learning with Task-Specific Adaptation over Partial Parameters. CoRR abs/2006.09486 (2020)
• 
  Daniel Angelov, Yordan Hristov, Subramanian Ramamoorthy:
  From Demonstrations to Task-Space Specifications: Using Causal Analysis to Extract Rule Parameterization from Demonstrations. CoRR abs/2006.11300 (2020)
• 
  Bowen Li, Ke Yan, Dar-In Tai, Yuankai Huo, Le Lu, Jing Xiao, Adam P. Harrison:
  Reliable Liver Fibrosis Assessment from Ultrasound using Global Hetero-Image Fusion and View-Specific Parameterization. CoRR abs/2008.03352 (2020)
• 
  Andrés Vazquez Sieber, Mónica Romero:
  Power Module (PM) core-specific parameters for a detailed design-oriented inductor model. CoRR abs/2008.13659 (2020)
• 
  Heyrim Cho, Allison L. Lewis, Kathleen M. Storey:
  Bayesian information-theoretic calibration of patient-specific radiotherapy sensitivity parameters for informing effective scanning protocols in cancer. CoRR abs/2009.02620 (2020)
• 
  Shuman Peng, Weilian Song, Martin Ester:
  Combining Domain-Specific Meta-Learners in the Parameter Space for Cross-Domain Few-Shot Classification. CoRR abs/2011.00179 (2020)
• 2019
• 
  Pascal Dolejsch, Helge Hass, Jens Timmer:
  Extensions of ℓ 1 regularization increase detection specificity for cell-type specific parameters in dynamic models. BMC Bioinform. 20(1): 395:1-395:13 (2019)
• 
  Rafael Rodriguez-Reche, Rocío Pérez de Prado, Sebastián García Galán, José Enrique Muñoz Expósito, Nicolás Ruiz-Reyes:
  Specific Parameter-Free Global Optimization to Speed Up Setting and Avoid Factors Interactions. Comput. Informatics 38(2): 265-290 (2019)
• 
  Binbin Lu, Chris Brunsdon, Martin Charlton, Paul Harris:
  A response to 'A comment on geographically weighted regression with parameter-specific distance metrics'. Int. J. Geogr. Inf. Sci. 33(7): 1300-1312 (2019)
• 
  Taylor Oshan, Levi Wolf, A. Stewart Fotheringham, Wei Kang, Ziqi Li, Hanchen Yu:
  A comment on geographically weighted regression with parameter-specific distance metrics. Int. J. Geogr. Inf. Sci. 33(7): 1289-1299 (2019)
• 
  Keishi Nomura, Aiko Murata, Yuko Yotsumoto, Shiro Kumano:
  Bayesian Item Response Model with Condition-specific Parameters for Evaluating the Differential Effects of Perspective-taking on Emotional Sharing. CogSci 2019: 3537
• 
  Adam Santorelli, Martin O'Halloran:
  Patient-Specific Debye Parameters for Human Blood. EMBC 2019: 238-242
• 
  Janusz Iskra, Michal Pietrzak, Krzysztof Przednowek:
  The Use of IMU-based Human Motion Capture to Assess Kinematic Parameters of Specific Exercises Performed by 400 M Hurdlers. icSPORTS 2019: 209-216
• 
  David Ditter, Timo Gerkmann:
  Influence of Speaker-Specific Parameters on Speech Separation Systems. INTERSPEECH 2019: 4584-4588
• 
  Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan:
  Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo. RV 2019: 27-47

skipping 234 more matches