The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Counting with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1952-1963 (15) 1965-1974 (16) 1975-1978 (24) 1979-1980 (16) 1981-1982 (30) 1983-1984 (18) 1985 (17) 1986 (20) 1987 (33) 1988 (43) 1989 (38) 1990 (43) 1991 (42) 1992 (61) 1993 (64) 1994 (62) 1995 (64) 1996 (81) 1997 (92) 1998 (92) 1999 (98) 2000 (119) 2001 (125) 2002 (142) 2003 (164) 2004 (223) 2005 (240) 2006 (310) 2007 (323) 2008 (358) 2009 (323) 2010 (239) 2011 (263) 2012 (303) 2013 (319) 2014 (361) 2015 (362) 2016 (419) 2017 (466) 2018 (530) 2019 (713) 2020 (730) 2021 (711) 2022 (785) 2023 (799) 2024 (199)
Publication types (Num. hits)
article(5456) book(7) data(4) incollection(45) inproceedings(4887) phdthesis(95) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1953 occurrences of 1282 keywords

Results
Found 10495 publication records. Showing 10495 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
84Cristian Estan, George Varghese, Mike Fisk Counting the number of active flows on a high speed link. Search on Bibsonomy Comput. Commun. Rev. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
78Benjamin Goldberg Generational Reference Counting: A Reduced-Communication Distributed Storage Reclamation Scheme. Search on Bibsonomy PLDI The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
66Yoshio Okamoto, Takeaki Uno, Ryuhei Uehara Linear-Time Counting Algorithms for Independent Sets in Chordal Graphs. Search on Bibsonomy WG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF # P-completeness, NP-completeness, polynomial time algorithm, enumeration, independent set, Chordal graph, counting
65Slawomir Pilarski, Kevin James Wiebe Counter-based compaction: An analysis for BIST. Search on Bibsonomy J. Electron. Test. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF compaction by counter, edge counting, one's counting, transition counting, built-in self-test, linear feedback shift register, signature analysis, Aliasing probability, test response compaction
63Marianne Gauffriau, Peder Olesen Larsen, Isabelle Maye, Anne Roulin-Perriard, Markus von Ins Publication, cooperation and productivity measures in scientific research. Search on Bibsonomy Scientometrics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
60Maurice Herlihy, Beng-Hong Lim, Nir Shavit Scalable Concurrent Counting. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF combining trees, counting networks
59Takeshi Mizumoto, Ryu Takeda, Kazuyoshi Yoshii, Kazunori Komatani, Tetsuya Ogata, Hiroshi G. Okuno A robot listens to music and counts its beats aloud by separating music from counting voice. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
59Srikanta Tirthapura, Costas Busch Concurrent counting is harder than queuing. Search on Bibsonomy IPDPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
56Peter Bürgisser, Leslie Ann Goldberg, Mark Jerrum 10481 Executive Summary - Computational Counting. Search on Bibsonomy Computational Counting The full citation details ... 2010 DBLP  BibTeX  RDF
56Peter Bürgisser, Leslie Ann Goldberg, Mark Jerrum 10481 Abstracts Collection - Computational Counting. Search on Bibsonomy Computational Counting The full citation details ... 2010 DBLP  BibTeX  RDF
53Jaime Dalla Valle, Luiz E. Soares de Oliveira, Alessandro L. Koerich, Alceu de Souza Britto Jr. People Counting in Low Density Video Sequences. Search on Bibsonomy PSIVT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Computer Vision, Tracking, People Counting
53Cristian Estan, George Varghese, Michael E. Fisk Bitmap algorithms for counting active flows on high-speed links. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF counting distinct elements, traffic measurements
53Mingzhong Zhou, Jian Gong, Wei Ding 0001, Guang Cheng 0001 Multi-Granularities Counting Bloom Filter. Search on Bibsonomy HPCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Counting Bloom Filter, Multi-Granularities Bloom Filter(MGCBF), Bloom Filter, heavy-tailed distribution
53Rafael Dueire Lins New Algorithms and Applications of Cyclic Reference Counting. Search on Bibsonomy ICGT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF cyclic graphs, webpage management, process management, reference counting
53Cristian Estan, George Varghese, Mike Fisk Bitmap algorithms for counting active flows on high speed links. Search on Bibsonomy Internet Measurement Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF counting flows, network traffic measurement
53Omid Amini, Fedor V. Fomin, Saket Saurabh 0001 Counting Subgraphs via Homomorphisms. Search on Bibsonomy ICALP (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
53Peyman Afshani, Chris H. Hamilton, Norbert Zeh A general approach for cache-oblivious range reporting and approximate range counting. Search on Bibsonomy SCG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF data structures, memory hierarchies, range searching, cache-obliviousness
53Jörg Flum, Martin Grohe The Parameterized Complexity of Counting Problems. Search on Bibsonomy FOCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
52Cheng Hong Lim, Chu Keong Lee ICADL: The Prolific Contributors. Search on Bibsonomy ICADL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF whole counting, fractional counting, Scientometrics
51JuHum Kwon, Chee-Yang Song, Chang-Joo Moon, Doo-Kwon Baik Bridging Real World Semantics to Model World Semantics for Taxonomy Based Knowledge Representation System. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF context-based similarity, edge counting, semantic coupling, weighting attributes, WordNet, semantic similarity
51David F. Bacon, Perry Cheng, V. T. Rajan A unified theory of garbage collection. Search on Bibsonomy OOPSLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF mark-and-sweep, graph algorithms, tracing, reference counting
48Peter Bürgisser, Leslie Ann Goldberg, Mark Jerrum (eds.) Computational Counting, 28.11. - 03.12.2010 Search on Bibsonomy Computational Counting The full citation details ... 2010 DBLP  BibTeX  RDF
47David Beymer Person Counting Using Stereo. Search on Bibsonomy Workshop on Human Motion The full citation details ... 2000 DBLP  DOI  BibTeX  RDF retail data processing, person counting, real-time stereo vision, stores, shopping malls, shopper volume tracking, door, stereo pixel selection, 3D volume of interest, torsos, adult shoppers, stereo disparity remapping, enter/exit events, counting error rate, occupancy map, orthographic map, real-time systems, image segmentation, image reconstruction, Gaussian mixture model, stereo image processing, video signal processing, optical tracking, scene segmentation, heads, stereo camera, person modeling, 3D image reconstruction
47Noga Alon, Shai Gutner Balanced Hashing, Color Coding and Approximate Counting. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Approximate counting of subgraphs, derandomization, expanders, perfect hashing, color-coding, k-wise independence
47Marios Mavronicolas, Michael Merritt, Gadi Taubenfeld Sequentially consistent versus linearizable counting networks. Search on Bibsonomy Distributed Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Balancing networks, Inconsistency fractions, Sequential consistency, Linearizability, Counting networks
47Peter Bürgisser, Felipe Cucker Counting complexity classes for numeric computations II: algebraic and semialgebraic sets. Search on Bibsonomy STOC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF counting complexity classes, geometric degree, semialgebraic sets, completeness, Betti numbers, Euler characteristic
47Andreas Schmid 0002, Olaf Kandel, Christoph Steigner Avoiding Counting to Infinity in Distance Vector Routing. Search on Bibsonomy ICN (1) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Routing Information Protocol, Counting to Infinity, Internet, Protocol Design
47Janos Simon, Shi-Chun Tsai A Note on the Bottleneck Counting Argument. Search on Bibsonomy CCC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF bottleneck counting method, lower bound, approximation method, Monotone circuit
47James Aspnes, Maurice Herlihy, Nir Shavit Counting Networks. Search on Bibsonomy J. ACM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF hot-sports, parallel processing, network routing, counting networks
46Wouter Gelade, Marc Gyssens, Wim Martens Regular Expressions with Counting: Weak versus Strong Determinism. Search on Bibsonomy MFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
46Xenofontas A. Dimitropoulos, Paul Hurley, Andreas Kind Probabilistic lossy counting: an efficient algorithm for finding heavy hitters. Search on Bibsonomy Comput. Commun. Rev. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF data streams, heavy hitters
46Marianne Gauffriau, Peder Olesen Larsen Counting methods are decisive for rankings based on publication and citation studies. Search on Bibsonomy Scientometrics The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
46Piotr Sankowski Multisampling: A New Approach to Uniform Sampling and Approximate Counting. Search on Bibsonomy ESA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
46Hezi Azatchi, Erez Petrank Integrating Generations with Advanced Reference Counting Garbage Collectors. Search on Bibsonomy CC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Garbage collection, Memory management, Runtime systems, Generational Garbage Collection
46Marios Mavronicolas, Marina Papatriantafilou, Philippas Tsigas The Impact of Timing on Linearizability in Counting Networks. Search on Bibsonomy IPPS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
46Miki Hermann, Phokion G. Kolaitis The Complexity of Counting Problems in Equational Matching. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
46Zhixiang Chen 0001, Steven Homer On Learning Counting Functions with Queries. Search on Bibsonomy COLT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
41Guillermo De Ita Luna, Aurelio López-López A Worst-Case Time Upper Bound for Counting the Number of Independent Sets. Search on Bibsonomy CAAN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Counting the Number of Independent Sets, Exact Counting, Graph Theory
41J. S. Massa, Manickam Umasuthan, Andrew M. Wallace, Gerald S. Buller, Andrew C. Walker Rangefinder using Time Correlated Single Photon Counting. Search on Bibsonomy 3DIM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF photon counting, time-correlated single photon counting, TCSPC, prototype sensor, data analysis, range data, rangefinding
41Juha Kontinen A logical characterization of the counting hierarchy. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Counting hierarchy, majority quantifiers, the 0-1 law, quantifier elimination
41Yurong Xu, James Ford, Eric Becker, Fillia Makedon A BP-Neural Network Improvement to Hop-Counting for Localization in Wireless Sensor Networks. Search on Bibsonomy Tools and Applications with Artificial Intelligence The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Neural Networks, Measurement, Localization, Embedded Computation, Hop-counting
41Everardo Bárcenas, Pierre Genevès, Nabil Layaïda On the analysis of queries with counting constraints. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2009 DBLP  DOI  BibTeX  RDF counting constraints, modal logics, xpath, xml, type checking
41Andrej Cvetkovski An algorithm for approximate counting using limited memory resources. Search on Bibsonomy SIGMETRICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF data streaming, network monitoring, approximate counting
41Hui Wang 0001 Nearest Neighbors by Neighborhood Counting. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF neighborhood counting measure, machine learning, Pattern recognition, similarity, nearest neighbors, distance
41Yossi Levanoni, Erez Petrank An on-the-fly reference-counting garbage collector for java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Programming languages, garbage collection, memory management, reference-counting
41Nicole Schweikardt Arithmetic, first-order logic, and counting quantifiers. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Counting quantifiers, first-order logic, quantifier elimination, Presburger arithmetic
41Ken'ichi Kawanishi On the Counting Process for a Class of Markovian Arrival Processes with an Application to a Queueing System. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF counting process, explicit solution, Baker-Hausdorff lemma, automatic call distribution, Markovian arrival process, Lie algebra
41Lars Arge, Gerth Stølting Brodal, Rolf Fagerberg, Morten Laustsen Cache-oblivious planar orthogonal range searching and counting. Search on Bibsonomy SCG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF range counting, semi-group range queries, cache-oblivious, orthogonal range searching
41Hans-Juergen Boehm The space cost of lazy reference counting. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF garbage collection, memory allocation, space complexity, reference counting
41Rafael Dueire Lins An Efficient Multi-processor Architecture for Parallel Cyclic Reference Counting. Search on Bibsonomy VECPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF cyclic graphs, garbage collection, Memory management, reference counting
41Matthias Ruhl Counting and Addition Cannot Express Deterministic Transitive Closure. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Counting quantifiers, circuit complexity, finite model theory, descriptive complexity theory
41Thomas Ball Efficient Counting Program Events with Support for On-Line Queries. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF instrumentation, control-flow graph, counting
41José M. Piquer Indirect Reference Counting: A Distributed Garbage Collection Algorithm. Search on Bibsonomy PARLE (1) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Distributed Systems, Garbage Collection, Reference Counting
40Slawomir Pilarski, Kevin James Wiebe Counter-Based Compaction: Delay and Stuck-Open Faults. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1995 DBLP  DOI  BibTeX  RDF edge counting, ones counting, transition counting, built-in self-test, Aliasing probability, test response compaction
40Charalampos E. Tsourakakis, U Kang, Gary L. Miller, Christos Faloutsos DOULION: counting triangles in massive graphs with a coin. Search on Bibsonomy KDD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF social networks, hadoop, triangles, sparsification
40Hui Wang 0001, Fionn Murtagh A Study of the Neighborhood Counting Similarity. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Clustering, Decision support, classification and association rules
40Tarek Yahiaoui, Cyril Meurie, Louahdi Khoudour, François Cabestaing A People Counting System Based on Dense and Close Stereovision. Search on Bibsonomy ICISP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Marc Thurley Kernelizations for Parameterized Counting Problems. Search on Bibsonomy TAMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Lev Reyzin, Nikhil Srivastava Learning and Verifying Graphs Using Queries with a Focus on Edge Counting. Search on Bibsonomy ALT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40António Morgado 0001, Paulo J. Matos, Vasco M. Manquinho, João Marques-Silva 0001 Counting Models in Integer Domains. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Thomas Schank, Dorothea Wagner Finding, Counting and Listing All Triangles in Large Graphs, an Experimental Study. Search on Bibsonomy WEA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Jirí Srba On Counting the Number of Consistent Genotype Assignments for Pedigrees. Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Martin E. Dyer, Leslie Ann Goldberg, Mark Jerrum Counting and Sampling H-Colourings. Search on Bibsonomy RANDOM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
40Arnaud Durand 0001, Miki Hermann, Phokion G. Kolaitis Subtractive Reductions and Complete Problems for Counting Complexity Classes. Search on Bibsonomy MFCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
39Martin Fürer Efficient Computation of the Characteristic Polynomial of a Tree and Related Tasks. Search on Bibsonomy ESA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF counting matchings, counting independent sets, bounded tree-width, efficient algorithms, characteristic polynomial
39Cesar Augusto Cardoso Caetano, Liliane Ventura, Sidney J. F. Sousa, Roberto de Alencar Lotufo Identification and Segmentation of Cells in Images of Donated Corneas using Mathematical Morphology. Search on Bibsonomy SIBGRAPI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF cell identification, donated corneas, optical evaluation method, endothelial cell counting, slit lamp, dedicated software, interactive counting method, image segmentation, mathematical morphology, correlation coefficient, eye
39Jaspreet Singh, Upamanyu Madhow, Rajesh Kumar 0003, Subhash Suri, Richard E. Cagley Tracking multiple targets using binary proximity sensors. Search on Bibsonomy IPSN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF binary sensing, counting resolution, sensor networks, particle filters, target tracking
39Nir Shavit, Asaph Zemach Diffracting Trees. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF index distribution, contention, wait free, lock free, counting networks
35Stephen M. Blackburn, Kathryn S. McKinley Ulterior reference counting: fast garbage collection without a long wait. Search on Bibsonomy OOPSLA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF generational hybrid, ulterior reference counting, Java, reference counting, copying
34Daniel Stefankovic, Santosh S. Vempala, Eric Vigoda Adaptive simulated annealing: A near-optimal connection between sampling and counting. Search on Bibsonomy J. ACM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF simulated annealing, Markov chain Monte Carlo, Counting
34Alessandro Zanarini, Gilles Pesant Solution counting algorithms for constraint-centered search heuristics. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Solution counting, Regular constraint, Alldifferent constraint, Heuristic search
34Josep Sanjuàs-Cuxart, Pere Barlet-Ros, Josep Solé-Pareta Counting Flows over Sliding Windows in High Speed Networks. Search on Bibsonomy Networking The full citation details ... 2009 DBLP  DOI  BibTeX  RDF counting active flows, sliding windows, traffic measurement
34Roland Wen, Richard Buckland Minimum Disclosure Counting for the Alternative Vote. Search on Bibsonomy VoteID The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Preferential voting, alternative vote, instant runoff voting, online elections, counting schemes
34Chengcui Zhang, Wei-bang Chen, Wen-Lin Liu, Chi-Bang Chen An Automated Bacterial Colony Counting System. Search on Bibsonomy SUTC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Biomedical image mining, colony counting
34Byeoung-su Kim, Gwang-Gook Lee, Ja-Young Yoon, Jae-Jun Kim, Whoi-Yul Kim A Method of Counting Pedestrians in Crowded Scenes. Search on Bibsonomy ICIC (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Pedestrian flow, Visual surveillance, People counting
34Vincent T'kindt, Karima Bouibede-Hocine, Carl Esswein Counting and enumeration complexity with application to multicriteria scheduling. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Complexity, Enumeration, Counting, Multicriteria scheduling
34Martin E. Dyer, Leslie Ann Goldberg, Mike Paterson On counting homomorphisms to directed acyclic graphs. Search on Bibsonomy J. ACM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF directed acyclic graphs, homomorphisms, Counting
34Ankush Mittal, Ankur Jain, Ganesh K. Agarwal Audio-Video based People Counting and Security Framework for Traffic Crossings. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF accident detection, crowd detection, pitch detection, road traffic control, image processing, phase correlation, people counting
34Brenton D. Walker, Joel K. Glenn, T. Charles Clancy Analysis of simple counting protocols for delay-tolerant networks. Search on Bibsonomy Challenged Networks The full citation details ... 2007 DBLP  DOI  BibTeX  RDF carrier fraction, intermediate immunity, localized random walk, simple counting, time-weighted network storage, delay-tolerant networks, epidemic routing
34Russell Impagliazzo, Nathan Segerlind Constant-depth Frege systems with counting axioms polynomially simulate Nullstellensatz refutations. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Modular counting axioms, Nullstellensatz refutations, propositional proof complexity
34Saswata Shannigrahi, Sudebkumar Prasant Pal Efficient Prüfer-Like Coding and Counting Labelled Hypertrees. Search on Bibsonomy ISAAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hypertree, Prüfer code, r-uniform, coding, counting
34Pramod G. Joisha Compiler optimizations for nondeferred reference-counting garbage collection. Search on Bibsonomy ISMM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF static analyses, reference counting
34Matthew Might, Olin Shivers Improving flow analyses via GammaCFA: abstract garbage collection and counting. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF abstract counting, abstract garbage collection, environment analysis, gamma-CFA, superbeta, program analysis, continuations, lambda calculus, functional languages, flow analysis, CPS, inlining
34Dror Weitz Counting independent sets up to the tree threshold. Search on Bibsonomy STOC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Glauber dynamics, hard-core model, strong spatial mixing, independent sets, approximate counting
34Gadi Aleksandrowicz, Gill Barequet Counting d-Dimensional Polycubes and Nonrectangular Planar Polyominoes. Search on Bibsonomy COCOON The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Polycubes, lattice animals, subgraph counting
34Vincent T'kindt, Karima Bouibede-Hocine, Carl Esswein Counting and enumeration complexity with application to multicriteria scheduling. Search on Bibsonomy 4OR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF complexity, enumeration, counting, Multicriteria scheduling
34Ian Pratt-Hartmann Complexity of the Two-Variable Fragment with Counting Quantifiers. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Abstract two-variable fragment, counting quantifiers, complexity, logic
34Sven Laur, Helger Lipmaa, Taneli Mielikäinen Private Itemset Support Counting. Search on Bibsonomy ICICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF private frequent itemset mining, private itemset support counting, private subset inclusion test, privacy-preserving data mining
34David R. Kohel The AGM-X0(N) Heegner Point Lifting Algorithm and Elliptic Curve Point Counting. Search on Bibsonomy ASIACRYPT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF modular curves, point counting, Elliptic curve cryptography
34Carson Kai-Sang Leung, Raymond T. Ng, Heikki Mannila OSSM: A Segmentation Approach to Optimize Frequency Counting. Search on Bibsonomy ICDE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF support counting, Data mining, performance analysis, data structure, frequent patterns
34Hae Young Kim, Jung Youl Park, Jung Hee Cheon, Je Hong Park, Jae Heon Kim, Sang Geun Hahn Fast Elliptic Curve Point Counting Using Gaussian Normal Basis. Search on Bibsonomy ANTS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF order counting, elliptic curve, Gaussian normal basis
34Alberto Bertoni, Massimiliano Goldwurm, Massimo Santini 0001 Random Generation and Approximate Counting of Ambiguously Described Combinatorial Structures. Search on Bibsonomy STACS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF uniform random generation, auxiliary pushdown automata, rational trace languages, inherent ambiguity, context-free languages, approximate counting
34Kiyoshi Muto, Haruo Miyazaki, Yoichi Seki, Yoshihiro Kimura, Yukio Shibata Lattice path counting andM/M/c queueing systems. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF M/M/c queue, transient solution, lattice path counting, depth of path
34Peter W. Glynn, Ward Whitt Large deviations behavior of counting processes and their inverses. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Gärtner-Ellis theorem, counting processes, cumulant generating function, small-tail asymptotics, Large deviations, point processes, waiting-time distribution
34Arun Raghavan, Colin Blundell, Milo M. K. Martin Token tenure: PATCHing token counting using directory-based cache coherence. Search on Bibsonomy MICRO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Martin Fürer, Shiva Prasad Kasiviswanathan Approximately Counting Embeddings into Random Graphs. Search on Bibsonomy APPROX-RANDOM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Miki Hermann, Reinhard Pichler Complexity of Counting the Optimal Solutions. Search on Bibsonomy COCOON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Harel Paz, Erez Petrank Using Prefetching to Improve Reference-Counting Garbage Collectors. Search on Bibsonomy CC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Na-Na Li, Jie Song, Rui-Ying Zhou, Jun-Hua Gu A People-Counting System Based on BP Neural Network. Search on Bibsonomy FSKD (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Byungrak Son, Yong-Sork Her, Kyuwon Shim, Jung-Gyu Kim Development of an Automatic People-Counting and Environment Monitoring System Based on Wireless Sensor Network in Real Time; To realize in Korea Mountains. Search on Bibsonomy MUE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 10495 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license