Search results for "counting"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
34	Haim Kaplan, Micha Sharir	Randomized incremental constructions of three-dimensional convex hulls and planar voronoi diagrams, and approximate range counting.	SODA	2006	DBLP DOI BibTeX RDF
34	Sunil Arya, Theocharis Malamatos, David M. Mount	Space-time tradeoffs for approximate spherical range counting.	SODA	2005	DBLP BibTeX RDF
34	Wei Wei 0040, Bart Selman	A New Approach to Model Counting.	SAT	2005	DBLP DOI BibTeX RDF
34	Srikanta Tirthapura	Adaptive Counting Networks.	ICDCS	2005	DBLP DOI BibTeX RDF
34	Osmar R. Zaïane	Relevance of Counting in Data Mining Tasks.	ADMA	2005	DBLP DOI BibTeX RDF
34	Robert M. Hierons	Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
34	Stefan Andrei, Wei-Ngan Chin	Incremental Satisfiability Counting for Real-Time Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2004	DBLP DOI BibTeX RDF
34	Ola Angelsmark, Peter Jonsson	Improved Algorithms for Counting Solutions in Constraint Satisfaction Problems.	CP	2003	DBLP DOI BibTeX RDF
34	Vikraman Arvind, Venkatesh Raman 0001	Approximation Algorithms for Some Parameterized Counting Problems.	ISAAC	2002	DBLP DOI BibTeX RDF
34	Fabrice Noilhan, Miklos Santha	Semantical Counting Circuits.	CIAC	2000	DBLP DOI BibTeX RDF
34	Leonid Libkin	Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries.	LICS	1999	DBLP DOI BibTeX RDF
34	Peter Kirschenhofer, Helmut Prodinger, Wojciech Szpankowski	How to Count Quickly and Accurately: A Unified Analysis of Probabilistic Counting and Other Related Problems.	ICALP	1992	DBLP DOI BibTeX RDF
34	Richard Beigel, John Gill, Ulrich Hertrampf	Counting Classes: Thresholds, Parity, Mods, and Fewness.	STACS	1990	DBLP DOI BibTeX RDF
34	Jacobo Torán	Succinct Representations of Counting Problems.	AAECC	1988	DBLP DOI BibTeX RDF
34	Ramsey W. Haddad, Jeffrey F. Naughton	Counting Methods for Cyclic Relations.	PODS	1988	DBLP DOI BibTeX RDF
34	Vivek Sarkar	Synchronization using counting semaphores.	ICS	1988	DBLP DOI BibTeX RDF
34	Craig A. Rich	The Complexity of a Counting Finite-State Automaton.	FSTTCS	1988	DBLP DOI BibTeX RDF
32	Harel Paz, David F. Bacon, Elliot K. Kolodner, Erez Petrank, V. T. Rajan	An efficient on-the-fly cycle collection.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	concurrent cycle collection, Programming languages, garbage collection, memory management, runtime systems, reference counting
32	Fang-Wei Fu 0001, Harald Niederreiter, Ming Su	The Characterization of 2n-Periodic Binary Sequences with Fixed 1-Error Linear Complexity.	SETA	2006	DBLP DOI BibTeX RDF	Stream cipher systems, Counting function, Fast algorithms, Linear complexity, Periodic sequences, k-Error linear complexity
32	Sorin Dan Cotofana, Casper Lageweg, Stamatis Vassiliadis	Addition Related Arithmetic Operations via Controlled Transport of Charge.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	single electron technology, electron counting, multiplication, SET, addition
32	Charles R. Tolle, Timothy R. McJunkin, David J. Gorisch	Suboptimal Minimum Cluster Volume Cover-Based Method for Measuring Fractal Dimension.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	suboptimal cover, box counting, clustering, texture analysis, Fuzzy-C means, Fractal dimension
32	Dina Thomas, Rajesh Bordawekar, Charu C. Aggarwal, Philip S. Yu	On Efficient Query Processing of Stream Counts on the Cell Processor.	ICDE	2009	DBLP DOI BibTeX RDF
32	Kamel Aouiche, Daniel Lemire	A comparison of five probabilistic view-size estimation techniques in OLAP.	DOLAP	2007	DBLP DOI BibTeX RDF	random hashing, view-size estimation, data warehouse, OLAP, materialized views
32	Paul A. Griffin, Witawas Srisa-an, J. Morris Chang	On designing a low-power garbage collector for java embedded devices: a case study.	SAC	2005	DBLP DOI BibTeX RDF	Java, embedded systems, garbage collection, power awareness
32	Jon Bondy	Uninitialized Modula-2 Abstract Object Instances, Yet Again.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	Modula-2
29	Krists Zutis, Jesse Hoey	Who's Counting? Real-Time Blackjack Monitoring for Card Counting Detection.	ICVS	2009	DBLP DOI BibTeX RDF
29	Charalampos E. Tsourakakis	Fast Counting of Triangles in Large Real Networks without Counting: Algorithms and Laws.	ICDM	2008	DBLP DOI BibTeX RDF
29	Zhijian Yuan, Jiajia Miao, Yan Jia 0001, Le Wang 0001	Counting Data Stream Based on Improved Counting Bloom Filter.	WAIM	2008	DBLP DOI BibTeX RDF
28	Saswata Shannigrahi, Sudebkumar Prasant Pal	Efficient Prüfer-Like Coding and Counting Labelled Hypertrees.	Algorithmica	2009	DBLP DOI BibTeX RDF	Hypertree, Prüfer code, r-uniform, Coding, Counting
28	Yunlong Liu 0001, Jianer Chen, Jianxin Wang 0001	On Counting 3-D Matchings of Size k.	Algorithmica	2009	DBLP DOI BibTeX RDF	3-D matching, Counting complexity, Approximation algorithm, Randomized algorithm, Parameterized algorithm
28	Jian Wang, Brian D. Davison 0001	Counting ancestors to estimate authority.	SIGIR	2009	DBLP DOI BibTeX RDF	probabilistic counting, link analysis, PageRank
28	José A. Joao, Onur Mutlu, Yale N. Patt	Flexible reference-counting-based hardware acceleration for garbage collection.	ISCA	2009	DBLP DOI BibTeX RDF	garbage collection, reference counting
28	Parikshit Gopalan, Venkatesan Guruswami, Richard J. Lipton	Algorithms for Modular Counting of Roots of Multivariate Polynomials.	Algorithmica	2008	DBLP DOI BibTeX RDF	Modular counting, Polynomials, Reed-Solomon codes
28	Hong Zhang, Lei Liu	An Abstract Interpretation Frame of the Calculus of Boxed Ambients Based on the Ambient Occurrence Counting.	ISECS	2008	DBLP DOI BibTeX RDF	Boxed Ambients, the ambient occurrence counting, abstract interpretation
28	Baltasar Trancón y Widemann	A reference-counting garbage collection algorithmfor cyclical functional programming.	ISMM	2008	DBLP DOI BibTeX RDF	functional programming, garbage collection, memory management, cycles, reference counting
28	David Sheldon, Frank Vahid	Don't forget memories: a case study redesigning a pattern counting ASIC circuit for FPGAs.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	BRAM, high-throughput design, pattern counting, redesigning circuit, FPGA, design patterns, stream, memory, ASIC
28	Tao Jiang 0002, Daiming Qu	On minimum sensing error with spectrum sensing using counting rule in cognitive radio networks.	WICON	2008	DBLP DOI BibTeX RDF	cooperative spectrum sensing, counting rule, sensing error, optimization, cognitive radio, error, spectrum sensing
28	Hui Wang 0001, Zhiwei Lin 0002	A Time Weighted Neighbourhood Counting Similarity for Time Series Analysis.	RSKT	2008	DBLP DOI BibTeX RDF	time weighting, neighbourhood counting, time series analysis, time dependency
28	Pramod G. Joisha	A principled approach to nondeferred reference-counting garbage collection.	VEE	2008	DBLP DOI BibTeX RDF	static analysis, instrumentation, reference counting
28	Pramod G. Joisha	Overlooking roots: a framework for making nondeferred reference-counting garbage collection fast.	ISMM	2007	DBLP DOI BibTeX RDF	static analysis, reference counting
28	Peyman Afshani, Timothy M. Chan	On approximate range counting and depth.	SCG	2007	DBLP DOI BibTeX RDF	data depth, computational geometry, approximation, approximate counting
28	Peter Damaschke	The Union of Minimal Hitting Sets: Parameterized Combinatorial Bounds and Counting.	STACS	2007	DBLP DOI BibTeX RDF	combinatorial inference, algorithms, parameterization, counting, hypergraph transversals
28	Qing Ai, Yan-Song Li, Gui-Lu Long 0001	Influences of Gate Operation Errors in the Quantum Counting Algorithm.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	quantum counting, Grover algorithm, gate error analysis
28	Stefan Porschen	Counting All Solutions of Minimum Weight Exact Satisfiability.	CIAC	2006	DBLP DOI BibTeX RDF	Minimum weight exact satisfiability, minimum weight set partition, counting problem, maximum weight independent set
28	Elham Safi, Andreas Moshovos, Andreas G. Veneris	L-CBF: a low-power, fast counting bloom filter architecture.	ISLPED	2006	DBLP DOI BibTeX RDF	counting bloom filters, energy per operation, delay, processors
28	Peter Bürgisser, Felipe Cucker, Martin Lotz	Counting Complexity Classes for Numeric Computations. III: Complex Projective Sets.	Found. Comput. Math.	2005	DBLP DOI BibTeX RDF	Complexity classes, Counting problems, Euler characteristic
28	Mary Cryan, Martin E. Dyer, Dana Randall	Approximately counting integral flows and cell-bounded contingency tables.	STOC	2005	DBLP DOI BibTeX RDF	integral flows, contingency tables, approximate counting
28	Martin E. Dyer, Leslie Ann Goldberg, Catherine S. Greenhill, Mark Jerrum	The Relative Complexity of Approximate Counting Problems.	Algorithmica	2004	DBLP DOI BibTeX RDF	Computational complexity, Approximate counting
28	Stefan Andrei	Counting for Satisfiability by Inverting Resolution.	Artif. Intell. Rev.	2004	DBLP DOI BibTeX RDF	counting truth assignments, algorithms, satisfiability
28	Esther Ezra, Micha Sharir	Counting and representing intersections among triangles in three dimensions.	SCG	2004	DBLP DOI BibTeX RDF	3SUM-hard problems, counting intersections, curve-sensitive cuttings, triangles in three dimensions, arrangements
28	Subhash Suri, Csaba D. Tóth, Yunhong Zhou	Range counting over multidimensional data streams.	SCG	2004	DBLP DOI BibTeX RDF	?-approximation, range counting, data streams
28	Juan Humberto Sossa Azuela, Giovanni Guzmán, Oleksiy B. Pogrebnyak, Francisco Cuevas de la Rosa	Object Counting without Conglomerate Separation.	ENC	2003	DBLP DOI BibTeX RDF	Object counting, Image skeletonization, Image segmentation, Image analysis
28	David Detlefs, Paul Alan Martin, Mark Moir, Guy L. Steele Jr.	Lock-free reference counting.	Distributed Comput.	2002	DBLP DOI BibTeX RDF	Lockfree synchronization, Memory management, Reference counting, Dynamic data structures
27	Evangelos Bampas, Andreas-Nikolas Göbel, Aris Pagourtzis, Aris Tentes	On the Connection between Interval Size Functions and Path Counting.	TAMC	2009	DBLP DOI BibTeX RDF
27	Jin-yi Cai, Pinyan Lu, Mingji Xia	A Computational Proof of Complexity of Some Restricted Counting Problems.	TAMC	2009	DBLP DOI BibTeX RDF
27	Kristoffer Arnsfelt Hansen	Depth Reduction for Circuits with a Single Layer of Modular Counting Gates.	CSR	2009	DBLP DOI BibTeX RDF
27	Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar	Verifying Reference Counting Implementations.	TACAS	2009	DBLP DOI BibTeX RDF
27	Jin-yi Cai, Pinyan Lu, Mingji Xia	Holant problems and counting CSP.	STOC	2009	DBLP DOI BibTeX RDF	holant problem, holographic reduction, CSP, polynomial interpolation
27	R. Ryan Williams	Time-Space Tradeoffs for Counting NP Solutions Modulo Integers.	Comput. Complex.	2008	DBLP DOI BibTeX RDF	68Q17, Subject classification. 68Q15
27	Giorgio Ghelli, Dario Colazzo, Carlo Sartiani	Linear time membership in a class of regular expressions with interleaving and counting.	CIKM	2008	DBLP DOI BibTeX RDF	xml, regular expressions, xml schema
27	Antonios G. Alexiou, Christos Bouras, Evangelos Rekkas	A Novel Power Counting Mechanism for Enhanced MBMS Performance in UMTS Networks.	MWCN/PWC	2008	DBLP DOI BibTeX RDF
27	Yao-Chung Fan, Arbee L. P. Chen	Efficient and robust sensor data aggregation using linear counting sketches.	IPDPS	2008	DBLP DOI BibTeX RDF
27	Nutan Limaye, Meena Mahajan, Antoine Meyer	On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata.	CSR	2008	DBLP DOI BibTeX RDF
27	Ahmed Metwally 0001, Divyakant Agrawal, Amr El Abbadi	Why go logarithmic if we can go linear?: Towards effective distinct counting of search traffic.	EDBT	2008	DBLP DOI BibTeX RDF
27	Günter Krampen, Ralf Becker, Ute Wahner, Leo Montada	On the validity of citation counting in science evaluation: Content analyses of references and citations in psychological publications.	Scientometrics	2007	DBLP DOI BibTeX RDF
27	David Gamarnik, Dmitriy Katz	Correlation decay and deterministic FPTAS for counting list-colorings of a graph.	SODA	2007	DBLP BibTeX RDF
27	Albert Atserias, Andrei A. Bulatov, Anuj Dawar	Affine Systems of Equations and Counting Infinitary Logic.	ICALP	2007	DBLP DOI BibTeX RDF
27	Mahmood Ahmadi, Stephan Wong	A Cache Architecture for Counting Bloom Filters.	ICON	2007	DBLP DOI BibTeX RDF
27	Stefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea	Approximate Satisfiability Counting.	SYNASC	2007	DBLP DOI BibTeX RDF
27	Ryan Williams 0001	Time-Space Tradeoffs for Counting NP Solutions Modulo Integers.	CCC	2007	DBLP DOI BibTeX RDF
27	I Nengah Suparta, A. J. van Zanten	Balanced Maximum Counting Sequences.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
27	Nikos Ntarmos, Peter Triantafillou, Gerhard Weikum	Counting at Large: Efficient Cardinality Estimation in Internet-Scale Data Networks.	ICDE	2006	DBLP DOI BibTeX RDF
27	Feng Liu, Fengzhan Tian, QiLiang Zhu	Frequent Itemset Mining Based on Heuristic Two Level Counting.	ICICIC (2)	2006	DBLP DOI BibTeX RDF
27	Feng Xian, Witawas Srisa-an, Hong Jiang 0001	Evaluating Hardware Support for Reference Counting Using Software Configurable Processors.	ASAP	2006	DBLP DOI BibTeX RDF
27	Predrag T. Tosic, Gul A. Agha	On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata.	UC	2005	DBLP DOI BibTeX RDF	Cellular and graph automata, sequential and synchronous dynamical systems, configuration space properties, #P-completeness, computational complexity
27	Ronen Shaltiel, Christopher Umans	Pseudorandomness for Approximate Counting and Sampling.	CCC	2005	DBLP DOI BibTeX RDF
27	Joseph F. JáJá, Christian Worm Mortensen, Qingmin Shi	Space-Efficient and Fast Algorithms for Multidimensional Dominance Reporting and Counting.	ISAAC	2004	DBLP DOI BibTeX RDF
27	Josep Díaz, Maria J. Serna, Dimitrios M. Thilikos	Fixed Parameter Algorithms for Counting and Deciding Bounded Restrictive List H-Colorings.	ESA	2004	DBLP DOI BibTeX RDF
27	Andrei A. Bulatov, Víctor Dalmau	Towards a Dichotomy Theorem for the Counting Constraint Satisfaction Problem.	FOCS	2003	DBLP DOI BibTeX RDF
27	Vilhelm Dahllöf, Peter Jonsson	An algorithm for counting maximum weighted independent sets and its applications.	SODA	2002	DBLP BibTeX RDF
27	Salvatore Orlando 0001, Paolo Palmerini, Raffaele Perego 0001, Fabrizio Silvestri	An Efficient Parallel and Distributed Algorithm for Counting Frequent Sets.	VECPAR	2002	DBLP DOI BibTeX RDF
27	Bernard Boigelot, Louis Latour	Counting the Solutions of Presburger Equations without Enumerating Them.	CIAA	2001	DBLP DOI BibTeX RDF
27	Catherine S. Greenhill	The complexity of counting colourings and independent sets in sparse graphs and hypergraphs.	Comput. Complex.	2000	DBLP DOI BibTeX RDF	#P-completeness, interpolation, independent sets, Graph colourings
27	Hirotaka Yamamoto, Kenjiro Taura, Akinori Yonezawa	Comparing Reference Counting and Global Mark-and-Sweep on Parallel Computers.	LCR	1998	DBLP DOI BibTeX RDF
27	Ulrich Hertrampf	The Inherent Dimension of Bounded Counting Classes.	COCOON	1998	DBLP DOI BibTeX RDF
27	Leonid Libkin, Juha Nurmonen	Counting and Locality over Finite Structures: A Survey.	ESSLLI	1997	DBLP DOI BibTeX RDF
27	Hans-Jörg Burtschick	Comparing Counting Classes for Logspace, One-way Logspace, and First-order.	MFCS	1995	DBLP DOI BibTeX RDF
27	Ulrich Hertrampf	Classes of Bounded Counting Type and their Inclusion Relations.	STACS	1995	DBLP DOI BibTeX RDF
27	Nikos Hardavellas, Damianos G. Karakos, Marios Mavronicolas	Notes on Sorting and Counting Networks (Extended Abstract).	WDAG	1993	DBLP DOI BibTeX RDF
27	Sergio Greco, Carlo Zaniolo	Optimization of Linear Logic Programs Using Counting Methods.	EDBT	1992	DBLP DOI BibTeX RDF
27	Kyu-Young Whang, Brad T. Vander Zanden, Howard M. Taylor	A Linear-Time Probabilistic Counting Algorithm for Database Applications.	ACM Trans. Database Syst.	1990	DBLP DOI BibTeX RDF
27	Marek Piotrów	ATIME(N) is Closed Under Counting.	MFCS	1990	DBLP DOI BibTeX RDF
27	Jacobo Torán	A Combinatorial Technique for Separating Counting Complexity Classes.	ICALP	1989	DBLP DOI BibTeX RDF
27	Domenico Saccà, Carlo Zaniolo	Magic Counting Methods.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF
26	Martin E. Dyer, David Richerby	On the complexity of #CSP.	STOC	2010	DBLP DOI BibTeX RDF	complexity dichotomy, constraint satisfaction problem, counting problems
26	Abderrazak Zahour, Bruno Taconet, Laurence Likforman-Sulem, Wafa Boussellaa	Overlapping and multi-touching text-line segmentation by Block Covering analysis.	Pattern Anal. Appl.	2009	DBLP DOI BibTeX RDF	Block covering, Text-line segmentation, Overlapping and multi-touching lines, Block Counting, Ancient Arabic documents
26	Giuseppe Bianchi 0001, Simone Teofili, Matteo Pomposini	New directions in privacy-preserving anomaly detection for network traffic.	NDA	2008	DBLP DOI BibTeX RDF	counting bloom filters, anomaly detection, privacy-preserving, traffic measurement
26	Chin-Yang Lin, Ting-Wei Hou	A simple and efficient algorithm for cycle collection.	ACM SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	cycle collection, Java, garbage collection, reference counting
26	Matthew Might, Benjamin Chambers, Olin Shivers	Model Checking Via GammaCFA.	VMCAI	2007	DBLP DOI BibTeX RDF	abstract counting, abstract garbage collection, ?CFA, static analysis, Abstract interpretation, higher-order languages
26	Öznur Özkasap, Emine Sule Yazici, Selda Küçükçifçi, Mine Çaglar	Exact Performance Measures for Peer-to-Peer Epidemic Information Diffusion.	ISCIS	2006	DBLP DOI BibTeX RDF	anti-entropy, peer-to-peer, Markov chain, counting, epidemic