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

• 2021
• 
  Andreas Galanis, Leslie Ann Goldberg, Kuan Yang:
  Approximating partition functions of bounded-degree Boolean counting Constraint Satisfaction Problems. J. Comput. Syst. Sci. 115: 187-213 (2021)
• 
  Ester Livshits, Benny Kimelfeld, Jef Wijsen:
  Counting subset repairs with functional dependencies. J. Comput. Syst. Sci. 117: 154-164 (2021)
• 
  Daniel Lokshtanov, Saket Saurabh, Meirav Zehavi:
  Efficient Computation of Representative Weight Functions with Applications to Parameterized Counting (Extended Version). SODA 2021: 179-198
• 2020
• 
  Ana Salagean, Ferruh Özbudak:
  Counting Boolean functions with faster points. Des. Codes Cryptogr. 88(9): 1867-1883 (2020)
• 
  Dorine C. Duives, Tim P. van Oijen, Serge P. Hoogendoorn:
  Enhancing Crowd Monitoring System Functionality through Data Fusion: Estimating Flow Rate from Wi-Fi Traces and Automated Counting System Data. Sensors 20(21): 6032 (2020)
• 
  Yusuke Kometani, Koichiro Yonemaru, Naoto Hikawa, Kyosuke Takahashi, Naka Gotoda, Takayuki Kunieda, Rihito Yaegashi:
  Development of a Prototyping Support Tool for a Data Utilization Skill-Development Program - Development and Evaluation of a Camera Sensor Pod with an AI-Based People-Counting Function. HCI (5) 2020: 469-478
• 
  Wei Xia, Danny Ho, Luiz Fernando Capretz, Faheem Ahmed:
  Updating Weight Values for Function Point Counting. CoRR abs/2005.11218 (2020)
• 
  Haoyue Bai, S.-H. Gary Chan:
  CNN-based Single Image Crowd Counting: Network Design, Loss Function and Supervisory Signal. CoRR abs/2012.15685 (2020)
• 2019
• 
  Dongyuan Liu, Bingyuan Wang, Tiantian Pan, Jiao Li, Zhuanping Qin, Limin Zhang, Zhongxing Zhou, Feng Gao:
  Toward Quantitative Near Infrared Brain Functional Imaging: Lock-In Photon Counting Instrumentation Combined With Tomographic Reconstruction. IEEE Access 7: 86829-86842 (2019)
• 
  Oscar H. Ibarra, Ian McQuillan, Bala Ravikumar:
  On counting functions and slenderness of languages. Theor. Comput. Sci. 777: 356-378 (2019)
• 
  Adam P. Greeley, Thomas A. Neumann, Nathan T. Kurtz, Thorsten Markus, Anthony J. Martino:
  Characterizing the System Impulse Response Function From Photon-Counting LiDAR Data. IEEE Trans. Geosci. Remote. Sens. 57(9): 6542-6551 (2019)
• 
  Marcos de Freitas Jr., Marcelo Fantinato, Violeta Sun, Lucinéia Heloisa Thom, Vanja Garaj:
  Function Point Tree-Based Function Point Analysis: Improving Reproducibility Whilst Maintaining Accuracy in Function Point Counting. ICEIS (Revised Selected Papers) 2019: 182-209
• 
  Kishore Rajendran, Shengzhen Tao, Amy Benike, Shuai Leng, Cynthia H. McCollough:
  Quantitative cartilage imaging using spectral photon-counting detector based computed tomography. Medical Imaging: Biomedical Applications in Molecular, Structural, and Functional Imaging 2019: 109531A
• 
  A. Shankar, Jordan Krebs, Daniel R. Bednarek, Stephen Rudin:
  Rapid sequence angiography with a 3D printed aneurysm phantom and an ultra-high frame rate imaging photon counting detector (PCD). Medical Imaging: Biomedical Applications in Molecular, Structural, and Functional Imaging 2019: 109530A
• 
  A. Shankar, Jordan Krebs, Alexander R. Podgorsak, Ciprian N. Ionita, Daniel R. Bednarek, Stephen Rudin:
  Rapid cone-beam computed tomography (CBCT) using an ultra-high frame rate imaging photon counting detector (PCD) with 100 μm resolution. Medical Imaging: Biomedical Applications in Molecular, Structural, and Functional Imaging 2019: 1095302
• 
  Oscar H. Ibarra, Ian McQuillan, Bala Ravikumar:
  On counting functions and slenderness of languages. CoRR abs/1903.03504 (2019)
• 
  Pietro Rotondo, Marco Cosentino Lagomarsino, Marco Gherardi:
  Counting the learnable functions of structured data. CoRR abs/1903.12021 (2019)
• 
  Sebastian Ullrich, Leonardo de Moura:
  Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming. CoRR abs/1908.05647 (2019)
• 2018
• 
  Chunliang Feng, Benjamin Becker, Wenhao Huang, Xia Wu, Simon B. Eickhoff, Taolin Chen:
  Neural substrates of the emotion-word and emotional counting Stroop tasks in healthy and clinical populations: A meta-analysis of functional brain imaging studies. NeuroImage 173: 258-274 (2018)
• 
  Oscar H. Ibarra, Ian McQuillan, Bala Ravikumar:
  On Counting Functions of Languages. DLT 2018: 429-440
• 
  Xiaolong Yang, Mengce Zheng, Honggang Hu:
  Generic Generating Functions for the Counting Functions of Quadratic Functions with Prescribed Walsh Spectrum. DSC 2018: 84-91
• 2017
• 
  Georgios Kourtis:
  Path-functional dependencies and the two-variable guarded fragment with counting. University of Manchester, UK, 2017
• 
  Evangelos Bampas, Andreas-Nikolas Göbel, Aris Pagourtzis, Aris Tentes:
  On the connection between interval size functions and path counting. Comput. Complex. 26(2): 421-467 (2017)
• 
  Ana Salagean, Matei Mandache-Salagean:
  Counting and characterising functions with "fast points" for differential attacks. Cryptogr. Commun. 9(2): 217-239 (2017)
• 
  Georgios Kourtis, Ian Pratt-Hartmann:
  Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting. Log. Methods Comput. Sci. 13(4) (2017)
• 
  Andreas Galanis, Leslie Ann Goldberg, Kuan Yang:
  Approximating Partition Functions of Bounded-Degree Boolean Counting Constraint Satisfaction Problems. ICALP 2017: 27:1-27:14
• 
  Vaishak Belle:
  Weighted Model Counting With Function Symbols. UAI 2017
• 2016
• 
  Thomas W. Cusick, Pantelimon Stanica:
  Counting equivalence classes for monomial rotation symmetric Boolean functions with prime dimension. Cryptogr. Commun. 8(1): 67-81 (2016)
• 
  Canan Kasikci, Wilfried Meidl, Alev Topuzoglu:
  Spectra of a class of quadratic functions: Average behaviour and counting functions. Cryptogr. Commun. 8(2): 191-214 (2016)
• 
  Christian Axler:
  New Bounds for the Prime Counting Function. Integers 16: A22 (2016)

skipping 110 more matches