Search results for "counting"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Elham Safi, Andreas Moshovos, Andreas G. Veneris	L-CBF: A Low-Power, Fast Counting Bloom Filter Architecture.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
14	Sebastian Kinder, Rolf Drechsler	Modeling and proving functional completeness in formal verification of counting heads.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF
14	Tadej Kotnik	The prime-counting function and its analytic approximations.	Adv. Comput. Math.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 11A41, 41A60, 11Y35, 65G99
14	Gilles Pesant, Claude-Guy Quimper	Counting Solutions of Knapsack Constraints.	CPAIOR	2008	DBLP DOI BibTeX RDF
14	Ilaria Bordino, Debora Donato, Aristides Gionis, Stefano Leonardi 0001	Mining Large Networks with Subgraph Counting.	ICDM	2008	DBLP DOI BibTeX RDF
14	Kui Wu 0001, Yang Xiao 0001, Jie Li 0002, Bo Sun 0001	A Distributed Algorithm for Finding Global Icebergs with Linked Counting Bloom Filters.	ICC	2008	DBLP DOI BibTeX RDF
14	Andrei A. Bulatov	The Complexity of the Counting Constraint Satisfaction Problem.	ICALP (1)	2008	DBLP DOI BibTeX RDF
14	Sergey Kitaev, Toufik Mansour, Patrice Séébold	Counting Ordered Patterns in Words Generated by Morphisms.	LATA	2008	DBLP DOI BibTeX RDF	rises, descents, patterns, inversions, repetitions, Morphisms
14	Domenico Ficara, Stefano Giordano, Gregorio Procissi, Fabio Vitucci	MultiLayer Compressed Counting Bloom Filters.	INFOCOM	2008	DBLP DOI BibTeX RDF
14	Antoni B. Chan, Zhang-Sheng John Liang, Nuno Vasconcelos	Privacy preserving crowd monitoring: Counting people without people models or tracking.	CVPR	2008	DBLP DOI BibTeX RDF
14	Xiao Yun, Milutin Stanacevic	Extended counting ADC for 32-channel neural recording headstage for small animals.	ISCAS	2008	DBLP DOI BibTeX RDF
14	Pao-Lung Chen	Jitter simulation and measurement of an all-digital clock generator with dynamic frequency counting loop.	ISCAS	2008	DBLP DOI BibTeX RDF
14	Fang Zhu, Jie Song, Ruixia Yang, Junhua Gu	Research on Counting Method of Bus Passenger Flow Based on Kinematics of Human Body.	CSSE (1)	2008	DBLP DOI BibTeX RDF
14	Lars Otten, Rina Dechter	Refined Bounds for Instance-Based Search Complexity of Counting and Other #P Problems.	CP	2008	DBLP DOI BibTeX RDF
14	Gadi Aleksandrowicz, Gill Barequet	Counting Polycubes without the Dimensionality Curse.	COCOON	2008	DBLP DOI BibTeX RDF
14	Shuji Kijima, Masashi Kiyomi, Yoshio Okamoto, Takeaki Uno	On Listing, Sampling, and Counting the Chordal Graphs with Edge Constraints.	COCOON	2008	DBLP DOI BibTeX RDF
14	Fulu Li, Kui Wu 0001	A new approach to counting broadcast trees.	CISS	2008	DBLP DOI BibTeX RDF
14	Magnus Wahlström	A Tighter Bound for Counting Max-Weight Solutions to 2SAT Instances.	IWPEC	2008	DBLP DOI BibTeX RDF
14	Ann-Katherine Carton, Christer Ullberg, Karin Lindman, Tom Francke, Andrew D. A. Maidment	Optimization of a Dual-Energy Contrast-Enhanced Technique for a Photon Counting Digital Breast Tomosynthesis System.	Digital Mammography / IWDM	2008	DBLP DOI BibTeX RDF	Contrast-Enhanced Digital Breast Tomosynthesis, Dual Energy Subtraction, vascular contrast agent, Temporal Subtraction
14	Hinata Kuba, Kazuhiro Hotta, Haruhisa Takahashi	Automatic Particle Detection and Counting by One-Class SVM from Microscope Image.	ICONIP (2)	2008	DBLP DOI BibTeX RDF
14	Ayalvadi J. Ganesh, Anne-Marie Kermarrec, Erwan Le Merrer, Laurent Massoulié	Peer counting and sampling in overlay networks based on random walks.	Distributed Comput.	2007	DBLP DOI BibTeX RDF
14	Gabriele Gianini, Ernesto Damiani	Poisson-noise removal in self-similarity studies based on packet-counting: factorial-moment/strip-integral approach.	SIGMETRICS Perform. Evaluation Rev.	2007	DBLP DOI BibTeX RDF
14	Bas Vodde, Lasse Koskela	Learning Test-Driven Development by Counting Lines.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	design, education, test-driven development, agile development, test design
14	Arnaud Durand 0001, Clemens Lautemann, Malika More	A simple proof of the polylog counting ability of first-order logic: guest column.	SIGACT News	2007	DBLP DOI BibTeX RDF
14	Marko Samer, Stefan Szeider	Algorithms for Propositional Model Counting.	LPAR	2007	DBLP DOI BibTeX RDF
14	Jean B. Lasserre, Eduardo S. Zeron	Simple Explicit Formula for Counting Lattice Points of Polyhedra.	IPCO	2007	DBLP DOI BibTeX RDF
14	Haim Kaplan, Natan Rubin, Micha Sharir, Elad Verbin	Counting colors in boxes.	SODA	2007	DBLP BibTeX RDF
14	Sebastian Kinder, Rolf Drechsler	Proving Completeness of Properties in Formal Verification of Counting Heads for Railways.	DSD	2007	DBLP DOI BibTeX RDF
14	Vinicius L. S. Silva, Elizabeth F. Wanner, Sergio A. A. G. Cerqueira, Ricardo H. C. Takahashi	A new performance metric for multiobjective optimization: the integrated sphere counting.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
14	Joffroy Beauquier, Julien Clément 0002, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy	Self-stabilizing Counting in Mobile Sensor Networks with a Base Station.	DISC	2007	DBLP DOI BibTeX RDF
14	Massimiliano Bozzoli, Luigi Cinque, Enver Sangineto	A Statistical Method for People Counting in Crowded Environments.	ICIAP	2007	DBLP DOI BibTeX RDF
14	Beat Gfeller, Matús Mihalák, Subhash Suri, Elias Vicari, Peter Widmayer	Counting Targets with Mobile Sensors in an Unknown Environment.	ALGOSENSORS	2007	DBLP DOI BibTeX RDF
14	Maciej Gebala, Marcin Kik	Counting-Sort and Routing in a Single Hop Radio Network.	ALGOSENSORS	2007	DBLP DOI BibTeX RDF
14	Carla P. Gomes, Jörg Hoffmann 0001, Ashish Sabharwal, Bart Selman	Short XORs for Model Counting: From Theory to Practice.	SAT	2007	DBLP DOI BibTeX RDF
14	Joffroy Beauquier, Julien Clément 0002, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy	Self-stabilizing counting in mobile sensor networks.	PODC	2007	DBLP DOI BibTeX RDF	fault tolerance, sensor networks, distributed algorithms, self-stabilization, mobile networks
14	Mihai Patrascu	Lower bounds for 2-dimensional range counting.	STOC	2007	DBLP DOI BibTeX RDF	cell-probe complexity, orthogonal range queries, lower bounds
14	Mohsen Bayati, David Gamarnik, Dimitriy A. Katz, Chandra Nair, Prasad Tetali	Simple deterministic approximation algorithms for counting matchings.	STOC	2007	DBLP DOI BibTeX RDF	correlation decay, matching, partition function, FPTAS
14	Anuj Dawar, David Richerby	The Power of Counting Logics on Restricted Classes of Finite Structures.	CSL	2007	DBLP DOI BibTeX RDF
14	Giorgio Ghelli, Dario Colazzo, Carlo Sartiani	Efficient Inclusion for a Class of XML Types with Interleaving and Counting.	DBPL	2007	DBLP DOI BibTeX RDF
14	Yunlong Liu 0001, Jianer Chen, Jianxin Wang 0001	A Randomized Approximation Algorithm for Parameterized 3-D Matching Counting Problem.	COCOON	2007	DBLP DOI BibTeX RDF
14	David Malone	Counting 6to4 relay routers.	Comput. Commun. Rev.	2006	DBLP DOI BibTeX RDF	IP
14	Gianluca Antonini, Jean-Philippe Thiran	Counting Pedestrians in Video Sequences Using Trajectory Clustering.	IEEE Trans. Circuits Syst. Video Technol.	2006	DBLP DOI BibTeX RDF
14	Subhash Suri, Csaba D. Tóth, Yunhong Zhou	Range Counting over Multidimensional Data Streams.	Discret. Comput. Geom.	2006	DBLP DOI BibTeX RDF
14	Cor Meenderinck, Sorin Cotofana	High-Radix Addition and Multiplication in the Electron Counting Paradigm Using Single Electron Tunneling Technology.	SAMOS	2006	DBLP DOI BibTeX RDF
14	Ivona Bezáková, Daniel Stefankovic, Vijay V. Vazirani, Eric Vigoda	Accelerating simulated annealing for the permanent and combinatorial counting problems.	SODA	2006	DBLP DOI BibTeX RDF
14	Andrea Camesi, Jarle Hulaas, Walter Binder	Continuous Bytecode Instruction Counting for CPU Consumption Estimation.	QEST	2006	DBLP DOI BibTeX RDF
14	Flavio Bonomi, Michael Mitzenmacher, Rina Panigrahy, Sushil Singh, George Varghese	An Improved Construction for Counting Bloom Filters.	ESA	2006	DBLP DOI BibTeX RDF
14	Martin E. Dyer, Leslie Ann Goldberg, Mike Paterson	On Counting Homomorphisms to Directed Acyclic Graphs.	ICALP (1)	2006	DBLP DOI BibTeX RDF
14	David Da Silva, Frédéric Boudon, Christophe Godin, O. Puech, C. Smith, Hervé Sinoquet	A Critical Appraisal of the Box Counting Method to Assess the Fractal Dimension of Tree Crowns.	ISVC (1)	2006	DBLP DOI BibTeX RDF
14	Dan Kong, Douglas Gray 0001, Hai Tao	A Viewpoint Invariant Approach for Crowd Counting.	ICPR (3)	2006	DBLP DOI BibTeX RDF
14	Aris Pagourtzis, Stathis Zachos	The Complexity of Counting Functions with Easy Decision Version.	MFCS	2006	DBLP DOI BibTeX RDF
14	Chin-Yang Lin, Ting-Wei Hou	A Lightweight Cyclic Reference Counting Algorithm.	GPC	2006	DBLP DOI BibTeX RDF
14	Francesco Archetti, Enza Messina, Daniele Toscani, Leonardo Vanneschi	Classifying and Counting Vehicles in Traffic Control Applications.	EvoWorkshops	2006	DBLP DOI BibTeX RDF
14	Toshihiko Yamakami	Regularity Analysis Using Time Slot Counting in the Mobile Clickstream.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
14	Cor Meenderinck, Sorin Cotofana	Electron counting based high-radix multiplication in single electron tunneling technology.	ISCAS	2006	DBLP DOI BibTeX RDF
14	Hao Luo, Binxing Fang, Xiao-chun Yun	A Counting-Based Method for Massive Spam Mail Classification.	ISPEC	2006	DBLP DOI BibTeX RDF
14	Oh-Heum Kwon, Ha-Joo Song	Counting-Based Distance Estimations and Localizations in Wireless Sensor Networks.	ICCSA (4)	2006	DBLP DOI BibTeX RDF
14	Ning Liu, Chengying Gao	Bi-directional Passenger Counting on Crowded Situation Based on Sequence Color Images.	ICAT	2006	DBLP DOI BibTeX RDF	frame differencing method, Computer vision, real-time, hausdorff distance
14	Argimiro Arratia, Carlos E. Ortiz	Counting Proportions of Sets: Expressive Power with Almost Order.	LATIN	2006	DBLP DOI BibTeX RDF	Proportional quantifiers, almost order, P, computational complexity, expressiveness, NL
14	Parikshit Gopalan, Venkatesan Guruswami, Richard J. Lipton	Algorithms for Modular Counting of Roots of Multivariate Polynomials.	LATIN	2006	DBLP DOI BibTeX RDF
14	Hyun Park, Hyung Lee, Seung-In Noh, Jaihie Kim	Development of a Block-Based Real-Time People Counting System.	SSPR/SPR	2006	DBLP DOI BibTeX RDF
14	Moritz Müller	Randomized Approximations of Parameterized Counting Problems.	IWPEC	2006	DBLP DOI BibTeX RDF
14	Arne Fischmann, Günther Steidle	Image Quality of a Photon-Counting Mammography System Compared to Digital Mammography Based on Amorphous Silicon with CsI-Scintillator.	Digital Mammography / IWDM	2006	DBLP DOI BibTeX RDF
14	Andrew D. A. Maidment, Christer Ullberg, Tom Francke, Lars Lindqvist, Skiff Sokolov, Karin Lindman, Leif Adelow, Per Sunden	Clinical Evaluation of a Photon-Counting Tomosynthesis Mammography System.	Digital Mammography / IWDM	2006	DBLP DOI BibTeX RDF
14	Li Yu, Kuanquan Wang, David Zhang 0001	Coarse iris classification based on box-counting method.	ICIP (3)	2005	DBLP DOI BibTeX RDF
14	Catherine Hope, Graham Hutton	Accurate Step Counting.	IFL	2005	DBLP DOI BibTeX RDF
14	Joseph J. Sharkey, Dmitry V. Ponomarev	Instruction Recirculation: Eliminating Counting Logic in Wakeup-Free Schedulers.	Euro-Par	2005	DBLP DOI BibTeX RDF
14	Predrag T. Tosic	On Counting Fixed Point Configurations in Star Networks.	IPDPS	2005	DBLP DOI BibTeX RDF
14	Fang Hao, Murali S. Kodialam, T. V. Lakshman, Hui Zhang 0002	Fast, memory-efficient traffic estimation by coincidence counting.	INFOCOM	2005	DBLP DOI BibTeX RDF
14	Tomokazu Sato, Naokazu Yokoya	New Multi-baseline Stereo by Counting Interest Points.	CRV	2005	DBLP DOI BibTeX RDF
14	Anders Gidenstam, Marina Papatriantafilou, Håkan Sundell, Philippas Tsigas	Efficient and Reliable Lock-Free Memory Reclamation Based on Reference Counting.	ISPAN	2005	DBLP DOI BibTeX RDF
14	Ernesto Wandeler, Jörn W. Janneck, Edward A. Lee, Lothar Thiele	Counting Interface Automata and their Application in Static Analysis of Actor Models.	SEFM	2005	DBLP DOI BibTeX RDF
14	David C. Banks, Stephen A. Linton, Paul K. Stockmeyer	Counting Cases in Substitope Algorithms.	IEEE Trans. Vis. Comput. Graph.	2004	DBLP DOI BibTeX RDF
14	Matthias Beck	The Partial-Fractions Method for Counting Solutions to Integral Linear Systems.	Discret. Comput. Geom.	2004	DBLP DOI BibTeX RDF	Vector partition function, Ehrhart theory, Littlewood-Richardson, Kostant partition function, BZ-triangles
14	Bart Jacobs 0001, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk	Counting Votes with Formal Methods.	AMAST	2004	DBLP DOI BibTeX RDF
14	Christophe Ritzenthaler	Point Counting on Genus 3 Non Hyperelliptic Curves.	ANTS	2004	DBLP DOI BibTeX RDF
14	Erin Parker, Siddhartha Chatterjee	An Automata-Theoretic Algorithm for Counting Solutions to Presburger Formulas.	CC	2004	DBLP DOI BibTeX RDF
14	Ming-Yee Chiu, Remi Depommier, Thomas Spindler	An Embedded Real-time Vision System for 24-hour Indoor/Outdoor Car-Counting Applications.	ICPR (3)	2004	DBLP DOI BibTeX RDF
14	Phuong Hoai Ha, Marina Papatriantafilou, Philippas Tsigas	Self-tuning Reactive Distributed Trees for Counting and Balancing.	OPODIS	2004	DBLP DOI BibTeX RDF
14	Kalev Kask, Rina Dechter, Vibhav Gogate	Counting-Based Look-Ahead Schemes for Constraint Satisfaction.	CP	2004	DBLP DOI BibTeX RDF
14	Gustav Nordh, Peter Jonsson	The Complexity of Counting Solutions to Systems of Equations over Finite Semigroups.	COCOON	2004	DBLP DOI BibTeX RDF
14	Vikraman Arvind, T. C. Vijayaraghavan	Abelian Permutation Group Problems and Logspace Counting Classes.	CCC	2004	DBLP DOI BibTeX RDF
14	Qingping Tao, Stephen Donald Scott, N. V. Vinodchandran, Thomas Takeo Osugi	SVM-based generalized multiple-instance learning via approximate box counting.	ICML	2004	DBLP DOI BibTeX RDF
14	Stephen Helmreich, David Farwell	Counting, Measuring, Ordering: Translation Problems and Solutions.	AMTA	2004	DBLP DOI BibTeX RDF
14	Jesús A. De Loera, Bernd Sturmfels	Algebraic unimodular counting.	Math. Program.	2003	DBLP DOI BibTeX RDF
14	Danny B. Yang, Héctor H. González-Baños, Leonidas J. Guibas	Counting People in Crowds with a Real-Time Network of Simple Image Sensors.	ICCV	2003	DBLP DOI BibTeX RDF
14	Denis Lugiez	Counting and Equality Constraints for Multitree Automata.	FoSSaCS	2003	DBLP DOI BibTeX RDF
14	Gaoyan Xie, Cheng Li, Zhe Dang	New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations.	CIAA	2003	DBLP DOI BibTeX RDF
14	Piotr Sankowski	Alternative Algorithms for Counting All Matchings in Graphs.	STACS	2003	DBLP DOI BibTeX RDF
14	Maurice Herlihy, Srikanta Tirthapura	Self-Stabilizing Smoothing and Counting Maurice Herlihy, Srikanta Tirthapura.	ICDCS	2003	DBLP DOI BibTeX RDF
14	Farzali A. Izadi, V. Kumar Murty	Counting Points on an Abelian Variety over a Finite Field.	INDOCRYPT	2003	DBLP DOI BibTeX RDF
14	Gabriele Kodydek, Martin Schönhacker	Si3Trenn and Si3Silb: Using the SiSiSi Word Analysis System Pre-hyphenation and Syllable Counting in German Documents.	TSD	2003	DBLP DOI BibTeX RDF
14	James D. Currie, Terry I. Visentin	Counting Endomorphisms of Crown-like Orders.	Order	2002	DBLP DOI BibTeX RDF	endomorphism, combinatorial enumeration, ordered set
14	Ziv Bar-Yossef, Ravi Kumar 0001, D. Sivakumar 0001	Reductions in streaming algorithms, with an application to counting triangles in graphs.	SODA	2002	DBLP BibTeX RDF
14	Takakazu Satoh	On p-adic Point Counting Algorithms for Elliptic Curves over Finite Fields.	ANTS	2002	DBLP DOI BibTeX RDF
14	Russell Impagliazzo, Nathan Segerlind	Bounded-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations.	ICALP	2002	DBLP DOI BibTeX RDF
14	Pierrick Gaudry	A Comparison and a Combination of SST and AGM Algorithms for Counting Points of Elliptic Curves in Characteristic 2.	ASIACRYPT	2002	DBLP DOI BibTeX RDF
14	Shirley Moore	A Comparison of Counting and Sampling Modes of Using Performance Monitoring Hardware.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
14	Jose Maria Turull Torres	Relational Databases and Homogeneity in Logics with Counting.	FoIKS	2002	DBLP DOI BibTeX RDF
14	Vilhelm Dahllöf, Peter Jonsson, Magnus Wahlström	Counting Satisfying Assignments in 2-SAT and 3-SAT.	COCOON	2002	DBLP DOI BibTeX RDF