Search results for "counting"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens	The Regular Real-Time Languages.	ICALP	1998	DBLP DOI BibTeX RDF
19	Mircea R. Stan	Synchronous Up/Down Counter with Clock Period Independent of Counter Size.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	up/down counters, constant time counters, prescalers
19	N. V. Vinodchandran	Improved Lowness Results for Solvable Black-box Group Problems.	FSTTCS	1997	DBLP DOI BibTeX RDF
19	Gerard Tel, Friedemann Mattern	The Derivation of Distributed Termination Detection Algorithms from Garbage Collection Schemes.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	distributed termination detection, distributed algorithms, program transformations, garbage collection
19	Milena Mihail, Peter Winkler 0001	On the Number of Eularian Orientations of a Graph.	SODA	1992	DBLP BibTeX RDF
19	Noga Alon, A. K. Dewdney, Teunis J. Ott	Efficient Simulation of Finite Automata by Neural Nets.	J. ACM	1991	DBLP DOI BibTeX RDF	Mealy machines
19	Eugene E. McDonnell	Life: Nasty, Brutish, and Short.	APL	1988	DBLP DOI BibTeX RDF	APL
19	Domenick J. Pinto, Sandra K. Honda	A comparison of the effects of structured vs. non-structured and modularized vs. non-modularized programs on run time (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
19	Juris Hartmanis, Lane A. Hemachandra	Complexity Classes Without Machines: On Complete Languages for UP.	ICALP	1986	DBLP DOI BibTeX RDF
16	Khanh-Duy Nguyen, Huy H. Nguyen, Trung-Nghia Le, Junichi Yamagishi, Isao Echizen	Analysis of Fine-Grained Counting Methods for Masked Face Counting: A Comparative Study.	IEEE Access	2024	DBLP DOI BibTeX RDF
16	Muaaz Zakria, Hamza Rawal, Waqas Sultani, Mohsen Ali	Cross-region building counting in satellite imagery using counting consistency.	Neural Comput. Appl.	2023	DBLP DOI BibTeX RDF
16	Tadhg McCarthy, John Jethro Virtusio, Jose Jaena Mari Ople, Daniel Stanley Tan, Divina Amalin, Kai-Lung Hua	MACnet: Mask augmented counting network for class-agnostic counting.	Pattern Recognit. Lett.	2023	DBLP DOI BibTeX RDF
16	Antonis Achilleos, Aggeliki Chalki	Counting Computations with Formulae: Logical Characterisations of Counting Complexity Classes.	CoRR	2023	DBLP DOI BibTeX RDF
16	Thuc Nguyen-Quang, Minh-Triet Tran	Few-shot Object Counting with Low-cost Counting Phase.	SoICT	2023	DBLP DOI BibTeX RDF
16	Antonis Achilleos, Aggeliki Chalki	Counting Computations with Formulae: Logical Characterisations of Counting Complexity Classes.	MFCS	2023	DBLP DOI BibTeX RDF
16	Yiwen Zhang, Hailun Zhang, Qijun Zhao	Counting and Locating Anything: Class-agnostic Few-shot Object Counting and Localization.	ICME	2023	DBLP DOI BibTeX RDF
16	Yuanyuan Lin, Huicheng Yang, Yaocong Hu, Zhen Shuai, Wenting Li	Crowd counting in congested scene by CNN and Transformer: Crowd counting for converged networks.	EITCE	2023	DBLP DOI BibTeX RDF
16	Li Yang, Yanqun Guo, Jun Sang, Weiqun Wu, Zhongyuan Wu, Qi Liu, Xiaofeng Xia	A crowd counting method via density map and counting residual estimation.	Multim. Tools Appl.	2022	DBLP DOI BibTeX RDF
16	Francois Le Gall, Iu-Iong Ng	Quantum approximate counting for Markov chains and collision counting.	Quantum Inf. Comput.	2022	DBLP DOI BibTeX RDF
16	Sravya Vardhani Shivapuja, Ashwin Gopinath, Ayush Gupta, Ganesh Ramakrishnan, Ravi Kiran Sarvadevabhatla	Counting in the 2020s: Binned Representations and Inclusive Performance Measures for Deep Crowd Counting Approaches.	CoRR	2022	DBLP DOI BibTeX RDF
16	Bohan Li, Ye Yuan, Dingkang Liang, Xiao Liu 0040, Zhilong Ji, Jinfeng Bai, Wenyu Liu 0001, Xiang Bai	When Counting Meets HMER: Counting-Aware Network for Handwritten Mathematical Expression Recognition.	CoRR	2022	DBLP DOI BibTeX RDF
16	Qi Wang 0009, Juncheng Wang, Junyu Gao 0001, Yuan Yuan 0001, Xuelong Li 0001	Counting Like Human: Anthropoid Crowd Counting on Modeling the Similarity of Objects.	CoRR	2022	DBLP DOI BibTeX RDF
16	Justin Kay, Peter Kulits, Suzanne Stathatos, Siqi Deng, Erik Young, Sara Beery, Grant Van Horn, Pietro Perona	The Caltech Fish Counting Dataset: A Benchmark for Multiple-Object Tracking and Counting.	CoRR	2022	DBLP DOI BibTeX RDF
16	François Le Gall, Iu-Iong Ng	Quantum Approximate Counting for Markov Chains and Application to Collision Counting.	CoRR	2022	DBLP DOI BibTeX RDF
16	Qi Zhang 0041, Antoni B. Chan	Wide-Area Crowd Counting: Multi-view Fusion Networks for Counting in Large Scenes.	Int. J. Comput. Vis.	2022	DBLP DOI BibTeX RDF
16	Sagar Malhotra, Luciano Serafini	Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula.	AAAI	2022	DBLP DOI BibTeX RDF
16	Justin Kay, Peter Kulits, Suzanne Stathatos, Siqi Deng, Erik Young, Sara Beery, Grant Van Horn, Pietro Perona	The Caltech Fish Counting Dataset: A Benchmark for Multiple-Object Tracking and Counting.	ECCV (8)	2022	DBLP DOI BibTeX RDF
16	Bohan Li, Ye Yuan, Dingkang Liang, Xiao Liu 0040, Zhilong Ji, Jinfeng Bai, Wenyu Liu 0001, Xiang Bai	When Counting Meets HMER: Counting-Aware Network for Handwritten Mathematical Expression Recognition.	ECCV (28)	2022	DBLP DOI BibTeX RDF
16	Luca Ciampi, Fabio Carrara, Giuseppe Amato 0001, Claudio Gennaro	Counting or Localizing? Evaluating Cell Counting and Detection in Microscopy Images.	VISIGRAPP (4: VISAPP)	2022	DBLP DOI BibTeX RDF
16	Changtong Zan, Baodi Liu, Weili Guan, Kai Zhang 0029, Weifeng Liu 0001	Learn from Object Counting: Crowd Counting with Meta-learning.	IET Image Process.	2021	DBLP DOI BibTeX RDF
16	Guangshuai Gao, Qingjie Liu, Yunhong Wang	Counting From Sky: A Large-Scale Data Set for Remote Sensing Object Counting and a Benchmark Method.	IEEE Trans. Geosci. Remote. Sens.	2021	DBLP DOI BibTeX RDF
16	Ondrej Kuzelka	Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers.	J. Artif. Intell. Res.	2021	DBLP DOI BibTeX RDF
16	Muaaz Zakria, Hamza Rawal, Waqas Sultani, Mohsen Ali	Cross-Region Building Counting in Satellite Imagery using Counting Consistency.	CoRR	2021	DBLP BibTeX RDF
16	Sagar Malhotra, Luciano Serafini	Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula.	CoRR	2021	DBLP BibTeX RDF
16	Xinliang Zhang, Huimin Zeng, Xiang Liu 0012, Zhibin Yu 0002, Haiyong Zheng, Bing Zheng	In Situ Holothurian Noncontact Counting System: A General Framework for Holothurian Counting.	IEEE Access	2020	DBLP DOI BibTeX RDF
16	Ondrej Kuzelka	Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers.	CoRR	2020	DBLP BibTeX RDF
16	Debidatta Dwibedi, Yusuf Aytar, Jonathan Tompson, Pierre Sermanet, Andrew Zisserman	Counting Out Time: Class Agnostic Video Repetition Counting in the Wild.	CoRR	2020	DBLP BibTeX RDF
16	Bartlomiej Dudek 0001, Pawel Gawrychowski	Counting 4-Patterns in Permutations Is Equivalent to Counting 4-Cycles in Graphs.	CoRR	2020	DBLP BibTeX RDF
16	Qi Zhang, Antoni B. Chan	Wide-Area Crowd Counting: Multi-View Fusion Networks for Counting in Large Scenes.	CoRR	2020	DBLP BibTeX RDF
16	Xiyang Liu, Jie Yang, Wenrui Ding	Adaptive Mixture Regression Network with Local Counting Map for Crowd Counting.	CoRR	2020	DBLP BibTeX RDF
16	Sagar Malhotra, Luciano Serafini	Weighed Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula.	CoRR	2020	DBLP BibTeX RDF
16	Guangshuai Gao, Qingjie Liu, Yunhong Wang	Counting from Sky: A Large-scale Dataset for Remote Sensing Object Counting and A Benchmark Method.	CoRR	2020	DBLP BibTeX RDF
16	Cassio P. de Campos, Georgios Stamoulis, Dennis Weyland	A structured view on weighted counting with relations to counting, quantum computation and applications.	Inf. Comput.	2020	DBLP DOI BibTeX RDF
16	He Li, Shihui Zhang, Weihang Kong	Bilateral counting network for single-image object counting.	Vis. Comput.	2020	DBLP DOI BibTeX RDF
16	Pedro Reviriego, Jorge Martínez 0001, Salvatore Pontarelli	Improving Packet Flow Counting With Fingerprint Counting.	IEEE Commun. Lett.	2020	DBLP DOI BibTeX RDF
16	Bartlomiej Dudek 0001, Pawel Gawrychowski	Counting 4-Patterns in Permutations Is Equivalent to Counting 4-Cycles in Graphs.	ISAAC	2020	DBLP DOI BibTeX RDF
16	Debidatta Dwibedi, Yusuf Aytar, Jonathan Tompson, Pierre Sermanet, Andrew Zisserman	Counting Out Time: Class Agnostic Video Repetition Counting in the Wild.	CVPR	2020	DBLP BibTeX RDF
16	Xiyang Liu, Jie Yang, Wenrui Ding, Tieqiang Wang, Zhijin Wang, Junjun Xiong	Adaptive Mixture Regression Network with Local Counting Map for Crowd Counting.	ECCV (24)	2020	DBLP DOI BibTeX RDF
16	Maryam Rahnemoonfar, Dugan Dobbs, Masoud Yari, Michael J. Starek	DisCountNet: Discriminating and Counting Network for Real-Time Counting and Localization of Sparse Objects in High-Resolution UAV Imagery.	Remote. Sens.	2019	DBLP DOI BibTeX RDF
16	Di Kang, Zheng Ma 0007, Antoni B. Chan	Beyond Counting: Comparisons of Density Maps for Crowd Analysis Tasks - Counting, Detection, and Tracking.	IEEE Trans. Circuits Syst. Video Technol.	2019	DBLP DOI BibTeX RDF
16	Sebastian Ullrich 0002, Leonardo de Moura 0001	Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming.	CoRR	2019	DBLP BibTeX RDF
16	Yael Hitron, Merav Parter	Counting to Ten with Two Fingers: Compressed Counting with Spiking Neurons.	CoRR	2019	DBLP BibTeX RDF
16	Sebastian Ullrich 0002, Leonardo de Moura 0001	Counting immutable beans: reference counting optimized for purely functional programming.	IFL	2019	DBLP DOI BibTeX RDF
16	Yael Hitron, Merav Parter	Counting to Ten with Two Fingers: Compressed Counting with Spiking Neurons.	ESA	2019	DBLP DOI BibTeX RDF
16	Supachaya Prathan, Sansanee Auephanwiriyakul, Nipon Theera-Umpon, Sanparith Marukatat	Image-Based Silkworm Egg Classification and Counting Using Counting Neural Network.	ICMLSC	2019	DBLP DOI BibTeX RDF
16	Shohei Kumagai, Kazuhiro Hotta, Takio Kurita	Mixture of Counting CNNs: Adaptive Integration of CNNs Specialized to Specific Appearance for Crowd Counting.	CoRR	2017	DBLP BibTeX RDF
16	Joseph Paul Cohen, Henry Z. Lo, Yoshua Bengio	Count-ception: Counting by Fully Convolutional Redundant Counting.	CoRR	2017	DBLP BibTeX RDF
16	Di Kang, Zheng Ma 0007, Antoni B. Chan	Beyond Counting: Comparisons of Density Maps for Crowd Analysis Tasks - Counting, Detection, and Tracking.	CoRR	2017	DBLP BibTeX RDF
16	Cassio P. de Campos, Georgios Stamoulis, Dennis Weyland	A Structured View on Weighted Counting with Relations to Counting, Quantum Computation and Applications.	CoRR	2017	DBLP BibTeX RDF
16	Leszek J. Chmielewski, Arkadiusz Orlowski, Grzegorz Gawdzik	Segment Counting Versus Prime Counting in the Ulam Square.	ACIIDS (2)	2017	DBLP DOI BibTeX RDF
16	Joseph Paul Cohen, Geneviève Boucher, Craig A. Glastonbury, Henry Z. Lo, Yoshua Bengio	Count-ception: Counting by Fully Convolutional Redundant Counting.	ICCV Workshops	2017	DBLP DOI BibTeX RDF
16	Eleni Bakali	Self-reducible with easy decision version counting problems admit additive error approximation. Connections to counting complexity, exponential time complexity, and circuit lower bounds.	CoRR	2016	DBLP BibTeX RDF
16	Mayan Murray, Melissa L. Hill, Kela Liu, James G. Mainprize, Martin J. Yaffe	Non-uniform object counting method in large-format pyramid images applied to CD31 vessel counting in whole-mount digital pathology sections.	Medical Imaging: Digital Pathology	2016	DBLP DOI BibTeX RDF
16	Andreas Gkompel Magkakis	Counting, modular counting and graph homomorphisms.		2016	RDF
16	Tomaz Hocevar	Counting stars: pattern counting in networks.	XRDS	2015	DBLP DOI BibTeX RDF
16	Bakthavachalam Elango, Periyaswamy Rajendran	Whole counting vs. whole-normalized counting: A country level comparative study of internationally collaborated papers on Tribology.	CoRR	2014	DBLP BibTeX RDF
16	Rajeev Goré, Thomas Meumann	Proving the monotonicity criterion for a plurality vote-counting program as a step towards verified vote-counting.	EVOTE	2014	DBLP DOI BibTeX RDF
16	Neboja T. Miloevic, Nemanja Rajkovic, Herbert F. Jelinek, Dusan Ristanovic	Richardson's Method of Segment Counting versus Box-Counting.	CSCS	2013	DBLP DOI BibTeX RDF
16	Hassan Jameel Asghar, Shujun Li, Ron Steinfeld, Josef Pieprzyk	Does Counting Still Count? Revisiting the Security of Counting based User Authentication Protocols against Statistical Attacks.	NDSS	2013	DBLP BibTeX RDF
16	Hassan Jameel Asghar, Shujun Li, Ron Steinfeld, Josef Pieprzyk	Does Counting Still Count? Revisiting the Security of Counting based User Authentication Protocols against Statistical Attacks.	IACR Cryptol. ePrint Arch.	2012	DBLP BibTeX RDF
16	Andrei A. Bulatov, Amir Hedayaty	Counting Predicates, Subset Surjective Functions, and Counting CSPs.	ISMVL	2012	DBLP DOI BibTeX RDF
16	Mu-Hsuan Huang, Chi-Shiou Lin, Dar-Zen Chen	Counting methods, country rank changes, and counting inflation in the assessment of national research productivity and impact.	J. Assoc. Inf. Sci. Technol.	2011	DBLP DOI BibTeX RDF
16	Aaron Crug, Rochel Gelman	Counting is a Piece of Cake: Yet Another Counting Task.	CogSci	2011	DBLP BibTeX RDF
16	Timothy M. Chan, Mihai Patrascu	Counting Inversions, Offline Orthogonal Range Counting, and Related Problems.	SODA	2010	DBLP DOI BibTeX RDF
16	Zhijian Yuan, Yingwen Chen, Yan Jia 0001, Shuqiang Yang	Counting Evolving Data Stream Based on Hierarchical Counting Bloom Filter.	CIS (1)	2008	DBLP DOI BibTeX RDF
16	Jean Cardinal, Sébastien Collette, Stefan Langerman	Region Counting Distances and Region Counting Circles.	CCCG	2005	DBLP BibTeX RDF
16	Roger Wattenhofer, Peter Widmayer	The counting pyramid: an adaptive distributed counting scheme.	J. Parallel Distributed Comput.	2004	DBLP DOI BibTeX RDF
16	Oleg Kiselyov	Secure Counting: counting members of a subset without revealing their identities	CoRR	2001	DBLP BibTeX RDF
16	J. Marotz, C. Lübbert, W. Eisenbeiß	Effective object recognition for automated counting of colonies in Petri dishes (automated colony counting).	Comput. Methods Programs Biomed.	2001	DBLP DOI BibTeX RDF
16	Russell Impagliazzo, Nathan Segerlind	Counting Axioms Do Not Polynomially Simulate Counting Gates.	FOCS	2001	DBLP DOI BibTeX RDF
16	Jörg Rothe	Immunity and simplicity for exact counting and other counting classes.	RAIRO Theor. Informatics Appl.	1999	DBLP DOI BibTeX RDF
16	Jörg Rothe	Immunity and Simplicity for Exact Counting and Other Counting Classes	CoRR	1998	DBLP BibTeX RDF
16	Roger Wattenhofer, Peter Widmayer	The counting pyramid: an adaptive distributed counting scheme.	SIROCCO	1998	DBLP BibTeX RDF
14	Chao Li 0003, Michael Hay, Vibhor Rastogi, Gerome Miklau, Andrew McGregor 0001	Optimizing linear counting queries under differential privacy.	PODS	2010	DBLP DOI BibTeX RDF	output perturbation, semidefinite program, differential privacy, private data analysis
14	Jakub Pawlewicz, Mihai Patrascu	Order Statistics in the Farey Sequences in Sublinear Time and Counting Primitive Lattice Points in Polygons.	Algorithmica	2009	DBLP DOI BibTeX RDF	Möbius inversion, Mertens function, Primitive lattice points, Farey sequence
14	André Gronemeier, Martin Sauerhoff	Applying Approximate Counting for Computing the Frequency Moments of Long Data Streams.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF
14	Gianni Antichi, Domenico Ficara, Stefano Giordano, Gregorio Procissi, Fabio Vitucci	Counting bloom filters for pattern matching and anti-evasion at the wire speed.	IEEE Netw.	2009	DBLP DOI BibTeX RDF
14	Peyman Afshani, Timothy M. Chan	On Approximate Range Counting and Depth.	Discret. Comput. Geom.	2009	DBLP DOI BibTeX RDF	Statistical depth, Approximation algorithms, Data structures, Randomized algorithms, Range searching
14	Stefan Heinz 0001, Martin Sachenbacher	Using Model Counting to Find Optimal Distinguishing Tests.	CPAIOR	2009	DBLP DOI BibTeX RDF
14	Gerth Stølting Brodal, Allan Grønlund Jørgensen, Gabriel Moruz, Thomas Mølhave	Counting in the Presence of Memory Faults.	ISAAC	2009	DBLP DOI BibTeX RDF
14	Yakov Nekrich	Data Structures for Approximate Orthogonal Range Counting.	ISAAC	2009	DBLP DOI BibTeX RDF
14	Aiyou Chen, Jin Cao	Distinct Counting with a Self-Learning Bitmap.	ICDE	2009	DBLP DOI BibTeX RDF
14	Silvio Valenti, Dario Rossi 0001, Michela Meo, Marco Mellia, Paola Bermolen	Accurate, Fine-Grained Classification of P2P-TV Applications by Simply Counting Packets.	TMA	2009	DBLP DOI BibTeX RDF
14	Grégory Nuel	Counting Patterns in Degenerated Sequences.	PRIB	2009	DBLP DOI BibTeX RDF	Expectation-Maximization algorithmn, Markov chain embedding, Deterministic Finite state Automaton, Forward-Backward algorithm
14	Shuxing Cheng, Carl K. Chang, Liang-Jie Zhang	An Efficient Service Discovery Algorithm for Counting Bloom Filter-Based Service Registry.	ICWS	2009	DBLP DOI BibTeX RDF
14	Mrinmoy Ghosh, Emre Özer 0001, Simon Ford, Stuart Biles, Hsien-Hsin S. Lee	Way guard: a segmented counting bloom filter approach to reducing energy for set-associative caches.	ISLPED	2009	DBLP DOI BibTeX RDF	low power, bloom filter
14	Virginia Vassilevska, Ryan Williams 0001	Finding, minimizing, and counting weighted subgraphs.	STOC	2009	DBLP DOI BibTeX RDF	3sum, cliques, paths, subgraph isomorphism, weighted graph
14	Giuseppe Primiero, Joke Meheus	Majority merging by adaptive counting.	Synth.	2008	DBLP DOI BibTeX RDF	Majority merging, Dynamic reasoning, Multi-agent reasoning, Belief merging, Adaptive logics
14	Michael L. B. Riediger, Robert Schober, Lutz H.-J. Lampe	Multiple-symbol detection for photon-counting MIMO free-space optical communications.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
14	Giorgos Dimitrakopoulos, Costas Galanopoulos, Christos Mavrokefalidis, Dimitris Nikolos	Low-Power Leading-Zero Counting and Anticipation Logic for High-Speed Floating Point Units.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF