Search results for "counting"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Anuj Dawar, Martin Grohe, Bjarki Holm, Bastian Laubner	Logics with Rank Operators.	LICS	2009	DBLP DOI BibTeX RDF
13	Ioannis Koutis, Ryan Williams 0001	Limits and Applications of Group Algebras for Parameterized Problems.	ICALP (1)	2009	DBLP DOI BibTeX RDF
13	Irénée Briquel, Pascal Koiran	A Dichotomy Theorem for Polynomial Evaluation.	MFCS	2009	DBLP DOI BibTeX RDF
13	Riccardo Franco	Quantum Amplitude Amplification Algorithm: An Explanation of Availability Bias.	QI	2009	DBLP DOI BibTeX RDF
13	Hüseyin Ates, Ömer Nezih Gerek	An image-processing based automated bacteria colony counter.	ISCIS	2009	DBLP DOI BibTeX RDF
13	Baris Sertkaya	Some Computational Problems Related to Pseudo-intents.	ICFCA	2009	DBLP DOI BibTeX RDF
13	James Aspnes, Hagit Attiya, Keren Censor	Max registers, counters, and monotone circuits.	PODC	2009	DBLP DOI BibTeX RDF	max registers, distributed computing, shared memory, counters, monotone circuits
13	Luigi Lavazza, Carla Garavaglia	Using function points to measure and estimate real-time and embedded software: Experiences and guidelines.	ESEM	2009	DBLP DOI BibTeX RDF
13	Xin Wang, Nicolas D. Georganas	GLCM texture based fractal method for evaluating fabric surface roughness.	CCECE	2009	DBLP DOI BibTeX RDF
13	Masashi Kiyomi, Toshiki Saitoh, Ryuhei Uehara	Reconstruction of Interval Graphs.	COCOON	2009	DBLP DOI BibTeX RDF	the graph reconstruction conjecture, polynomial time algorithm, interval graphs
13	Nur Izura Udzir, Sileshi Demesie, Hamidah Ibrahim	Garbage collection in LINDACAP.	iiWAS	2009	DBLP DOI BibTeX RDF	LINDA coordination, multicapabilties, garbage collection, capabilities
13	Maytham Safar, Hisham Farahat, Khaled Mahdi	Analysis of dynamic social network: e-mail messages exchange network.	iiWAS	2009	DBLP DOI BibTeX RDF	cyclic entropy, email analysis, undirected, graphs, cycles, directed
13	Marios Mavronicolas, Thomas Sauerwald	A randomized, o(log w)-depth 2 smoothing network.	SPAA	2009	DBLP DOI BibTeX RDF	smoothing network, load balancing, probabilistic analysis
13	Peixiang Zhao 0002, Jeffrey Xu Yu	Fast Frequent Free Tree Mining in Graph Databases.	World Wide Web	2008	DBLP DOI BibTeX RDF	structural pattern mining, free tree, graph database
13	Jin-yi Cai, Pinyan Lu	Basis Collapse in Holographic Algorithms.	Comput. Complex.	2008	DBLP DOI BibTeX RDF	68Q25, Subject classification. 68Q17
13	Stefan Felsner, Florian Zickfeld	Schnyder Woods and Orthogonal Surfaces.	Discret. Comput. Geom.	2008	DBLP DOI BibTeX RDF	Schnyder woods, Orthogonal surfaces, Graph drawing, Planar graphs, Order dimension
13	Gloria Haro, Gregory Randall, Guillermo Sapiro	Translated Poisson Mixture Model for Stratification Learning.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	Stratification learning, Dimension estimation, Translated Poisson, Clustering, Mixture models, Manifold learning, Density estimation
13	Benjamin Aminof, Orna Kupferman, Omer Lev	On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata.	LPAR	2008	DBLP DOI BibTeX RDF
13	Mario Boley, Henrik Grosskreutz	A Randomized Approach for Approximating the Number of Frequent Sets.	ICDM	2008	DBLP DOI BibTeX RDF
13	Janet C. Read	What you see is what you worry about: errors -- real and imagined.	BCS HCI (2)	2008	DBLP DOI BibTeX RDF	children, handwriting recognition, errors, text input, tolerance, digital ink
13	Arthur Ward, Diane J. Litman	Semantic Cohesion and Learning.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF
13	Haiting Tian, Shakith Fernando, Hock Wei Soon, Yajun Ha, Nanguang Chen	Design of a high speed pseudo-random bit sequence based time resolved single photon counter on FPGA.	FPL	2008	DBLP DOI BibTeX RDF
13	Eelis van der Weegen, James McKinna	A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq.	TYPES	2008	DBLP DOI BibTeX RDF
13	Chen Qian 0001, Hoilun Ngan, Yunhao Liu 0001	Cardinality Estimation for Large-scale RFID Systems.	PerCom	2008	DBLP DOI BibTeX RDF	Multi-reader, Estimation, RFID Systems
13	Miki Hermann, Baris Sertkaya	On the Complexity of Computing Generators of Closed Sets.	ICFCA	2008	DBLP DOI BibTeX RDF
13	Luigi Buglione, Olga Ormandjieva, Maya Daneva	Using PSU for Early Prediction of COSMIC Size of Functional and Non-functional Requirements.	IWSM/Metrikon/Mensura	2008	DBLP DOI BibTeX RDF	Project Size, Project Size Unit (PSU), Functional User Requirements (FUR), Prediction, Non-Functional Requirements (NFR), COSMIC
13	Nikhil Bansal 0001, Rohit Khandekar, Viswanath Nagarajan	Additive guarantees for degree bounded directed network design.	STOC	2008	DBLP DOI BibTeX RDF	approximation algorithms, directed graphs, network design
13	Shariq Bashir, Zahid Halim, Abdul Rauf Baig	Mining fault tolerant frequent patterns using pattern growth approach.	AICCSA	2008	DBLP DOI BibTeX RDF
13	Trung-Nghia Vu, Syng-Yup Ohn, Chul-Woo Kim	RISC: A New Filter Approach for Feature Selection from Proteomic Data.	ICMB	2008	DBLP DOI BibTeX RDF
13	Peter Bürgisser, Martin Lotz	The Complexity of Computing the Hilbert Polynomial of Smooth Equidimensional Complex Projective Varieties.	Found. Comput. Math.	2007	DBLP DOI BibTeX RDF
13	Martin Beaudry, Markus Holzer 0001	The Complexity of Tensor Circuit Evaluation.	Comput. Complex.	2007	DBLP DOI BibTeX RDF	Subject classification. 15A69, 68Q70, 68Q17, 68Q15, 68Q05
13	Stefan Porschen	On variable-weighted exact satisfiability problems.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03B05, 68Q25, 05C85
13	Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov	Solution and Optimization of Systems of Pseudo-Boolean Constraints.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Pseudo Boolean (PB), Max-ONE, Global Routing, Conjunctive Normal Form (CNF), Backtrack Search, Integer Linear Programming (ILP), Max-SAT, Boolean Satisfiability (SAT)
13	Chunyi Peng 0001, Guobin Shen, Yongguang Zhang, Yanlin Li, Kun Tan	BeepBeep: a high accuracy acoustic ranging system using COTS mobile devices.	SenSys	2007	DBLP DOI BibTeX RDF	acoustic ranging, ranging systems, localization, ranging, proximity detection
13	Daniele Audino, Federico Baronti, Andrea Lazzeri, Roberto Roncella, Roberto Saletti	FPGA/DSP-based Configurable Multi-Channel Counter.	DSD	2007	DBLP DOI BibTeX RDF
13	Barry Irwin, Jean-Pierre van Riel	Using InetVis to Evaluate Snort and Bro Scan Detection on a Network Telescope.	VizSEC	2007	DBLP DOI BibTeX RDF
13	Herwin van Welbergen, Zsófia Ruttkay	On the Parametrization of Clapping.	Gesture Workshop	2007	DBLP DOI BibTeX RDF
13	MinTzu Wang, Ping Yu Hsu 0001, K. C. Lin, ShiuannShuoh Chen	Clustering Transactions with an Unbalanced Hierarchical Product Structure.	DaWaK	2007	DBLP DOI BibTeX RDF	similarity (distance) measure, data mining, clustering, hierarchy
13	Andrew W. Senior, Lisa M. Brown, Arun Hampapur, Chiao-Fe Shu, Yun Zhai, Rogério Schmidt Feris, Ying-li Tian, Sergio Borger, Christopher R. Carlson	Video analytics for retail.	AVSS	2007	DBLP DOI BibTeX RDF
13	Iuri Frosio, Mirko Lucchese, N. Alberto Borghese	A new and reliable Poisson noise estimator for radiographic images.	ICIAP	2007	DBLP DOI BibTeX RDF
13	MinTzu Wang, PingYu Hsu 0001, K. C. Lin, Jason Hung	A Calculation Mechanism for Similarity Measure with Clustering an Unbalanced Hierarchical Terminology Structure.	ICPP Workshops	2007	DBLP DOI BibTeX RDF	Data Mining, Clustering, Similarity Measure, Hierarchy
13	Nutan Limaye, Meena Mahajan, B. V. Raghavendra Rao	Arithmetizing Classes Around NC 1 and L.	STACS	2007	DBLP DOI BibTeX RDF
13	Chengcui Zhang, Wei-bang Chen	An Effective and Robust Method for Automatic Bacterial Colony Enumeration.	ICSC	2007	DBLP DOI BibTeX RDF
13	C. J. Rose, Samantha J. Mills, J. P. B. O'Connor, Giovanni A. Buonaccorsi, Caleb Roberts, Yvonne Watson, Brandon J. Whitcher, Gordon C. Jayson, Alan Jackson, Geoffrey J. M. Parker	Quantifying Heterogeneity in Dynamic Contrast-Enhanced MRI Parameter Maps.	MICCAI (2)	2007	DBLP DOI BibTeX RDF
13	Maged Marghany, Mazlan Hashim, Arthur P. Cracknell	Fractal Dimension Algorithm for Detecting Oil Spills Using RADARSAT-1 SAR.	ICCSA (1)	2007	DBLP DOI BibTeX RDF	Fractal algorithm, Probability Density Function (PDF), RADARSAT-1 SAR image, look-alikes, oil spill
13	Jin-yi Cai, Pinyan Lu	Holographic algorithms: from art to science.	STOC	2007	DBLP DOI BibTeX RDF	matchgates, signatures, holographic algorithms
13	Mohsen Bayati, Jeong Han Kim, Amin Saberi	A Sequential Algorithm for Generating Random Graphs.	APPROX-RANDOM	2007	DBLP DOI BibTeX RDF
13	Subramanian Rajagopalan, Shabbir H. Batterywala	A 3-dimensional FEM Based Resistance Extraction.	VLSI Design	2007	DBLP DOI BibTeX RDF
13	Mark Braverman, Raghav Kulkarni, Sambuddha Roy	Parity Problems in Planar Graphs.	CCC	2007	DBLP DOI BibTeX RDF
13	Jin-yi Cai, Pinyan Lu	Bases Collapse in Holographic Algorithms.	CCC	2007	DBLP DOI BibTeX RDF
13	Neeraj Kayal, Nitin Saxena 0001	Complexity of Ring Morphism Problems.	Comput. Complex.	2006	DBLP DOI BibTeX RDF	13P99, Subject classification. 68Q15
13	R. M. Muthukumar, D. Janakiram	Yama: A Scalable Generational Garbage Collector for Java in Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	on-the-fly garbage collection, Java, programming languages, Garbage collection, memory management, Java virtual machine
13	Isabel Beichl, Francis Sullivan	The Other Monte Carlo Method.	Comput. Sci. Eng.	2006	DBLP DOI BibTeX RDF	algorithm, Markov chains, randomness, Monte Carlo
13	Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh	The Range Constraint: Algorithms and Implementation.	CPAIOR	2006	DBLP DOI BibTeX RDF
13	Michael L. Nelson, Joan A. Smith, Ignacio Garcia del Campo	Efficient, automatic web resource harvesting.	WIDM	2006	DBLP DOI BibTeX RDF	mod_oai, web crawling, OAI-PMH
13	Ivona Bezáková, Nayantara Bhatnagar, Eric Vigoda	Sampling binary contingency tables with a greedy start.	SODA	2006	DBLP DOI BibTeX RDF
13	Florentin Ipate	Bounded Sequence Testing from Non-deterministic Finite State Machines.	TestCom	2006	DBLP DOI BibTeX RDF
13	Ana Maria Marques da Silva, Cecil Chow Robilotta	Attenuation correction in cardiac SPECT using consistency conditions.	ISBI	2006	DBLP DOI BibTeX RDF
13	Leslie G. Valiant	Accidental Algorithms.	FOCS	2006	DBLP DOI BibTeX RDF
13	Mrinmoy Ghosh, Emre Özer 0001, Stuart Biles, Hsien-Hsin S. Lee	Efficient System-on-Chip Energy Management with a Segmented Bloom Filter.	ARCS	2006	DBLP DOI BibTeX RDF
13	Martin Grohe, Oleg Verbitsky 0001	Testing Graph Isomorphism in Parallel by Playing a Game.	ICALP (1)	2006	DBLP DOI BibTeX RDF
13	Tarsem S. Purewal Jr.	Revisiting a limit on efficient quantum computation.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	computational complexity, quantum computing
13	Ahmed Bayyari, M. Eduard Tudoreanu	The impact of immersive virtual reality displays on the understanding of data visualization.	VRST	2006	DBLP DOI BibTeX RDF	evaluation, virtual reality, information visualization, immersion
13	Ondrej Klíma 0001, Benoît Larose, Pascal Tesson	Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture.	MFCS	2006	DBLP DOI BibTeX RDF
13	Marek Wojciechowski 0001, Krzysztof Galecki, Krzysztof Gawronek	Three Strategies for Concurrent Processing of Frequent Itemset Queries Using FP-Growth.	KDID	2006	DBLP DOI BibTeX RDF
13	Edith Cohen, Nadav Grossaug, Haim Kaplan	Processing top k queries from samples.	CoNEXT	2006	DBLP DOI BibTeX RDF
13	Mark Chavira, Adnan Darwiche	Encoding CNFs to Empower Component Analysis.	SAT	2006	DBLP DOI BibTeX RDF
13	Stefan Felsner, Florian Zickfeld	Schnyder Woods and Orthogonal Surfaces.	GD	2006	DBLP DOI BibTeX RDF
13	Yanbing Peng, Jian Gong, Wang Yang, Weijiang Liu	Disclosing the Element Distribution of Bloom Filter.	International Conference on Computational Science (1)	2006	DBLP DOI BibTeX RDF
13	Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh	The ROOTS Constraint.	CP	2006	DBLP DOI BibTeX RDF
13	Fulufhelo V. Nelwamondo, Unathi Mahola, Tshilidzi Marwala	Improving Speaker Identification Rate Using Fractals.	IJCNN	2006	DBLP DOI BibTeX RDF
13	Wei-Chuan Liu, Ken-Hao Liu, Ming-Syan Chen	Hardware Enhanced Mining for Association Rules.	PAKDD	2006	DBLP DOI BibTeX RDF	Hardware enhanced mining, association rules
13	Veli Mäkinen, Gonzalo Navarro 0001	Position-Restricted Substring Searching.	LATIN	2006	DBLP DOI BibTeX RDF
13	Eric Allender, Peter Bürgisser, Johan Kjeldgaard-Pedersen, Peter Bro Miltersen	On the Complexity of Numerical Analysis.	CCC	2006	DBLP DOI BibTeX RDF
13	Stavros Garoufalidis, Martin Loebl	Random Walks And The Colored Jones Function.	Comb.	2005	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 57N10, 57M25
13	Daniel J. Katz	p-Adic valuation of weights in Abelian codes over ℤ(pd).	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
13	Youngchul Sung, Lang Tong, Ananthram Swami	Asymptotic locally optimal detector for large-scale sensor networks under the Poisson regime.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
13	Pablo Barceló, Leonid Libkin	Temporal Logics over Unranked Trees.	LICS	2005	DBLP DOI BibTeX RDF
13	Harel Paz, Erez Petrank, David F. Bacon, Elliot K. Kolodner, V. T. Rajan	An Efficient On-the-Fly Cycle Collection.	CC	2005	DBLP DOI BibTeX RDF
13	Fuzan Chen, Minqiang Li	An Efficiently Algorithm Based on Itemsets-Lattice and Bitmap Index for Finding Frequent Itemsets.	FSKD (2)	2005	DBLP DOI BibTeX RDF
13	Shimin Li, Lawrence W. Dobrucki, Albert J. Sinusas, Yi-Hwa Liu	A New Method for SPECT Quantification of Targeted Radiotracers Uptake in the Myocardium.	MICCAI (2)	2005	DBLP DOI BibTeX RDF
13	Chihang Yau, Yiyu Tan, Anthony S. Fong, Wing Shing Yu	Hardware Concurrent Garbage Collection for Short-Lived Objects in Mobile Java Devices.	EUC	2005	DBLP DOI BibTeX RDF
13	K. K. Loo, Ivy Tong, Ben Kao	Online Algorithms for Mining Inter-stream Associations from Large Sensor Networks.	PAKDD	2005	DBLP DOI BibTeX RDF
13	Qing-Huai Ding, J. Qian, Wai Wan Tsang, Cao An Wang	Randomly Generating Triangulations of a Simple Polygon.	COCOON	2005	DBLP DOI BibTeX RDF
13	Kai Chen 0010, Stephen R. Schach, Liguo Yu, A. Jefferson Offutt, Gillian Z. Heller	Open-Source Change Logs.	Empir. Softw. Eng.	2004	DBLP DOI BibTeX RDF	change log, GNUJSP, GCC-g++, Jikes, Open-source software
13	Amir Rajabzadeh, Seyed Ghassem Miremadi, Mirzad Mohandespour	Error Detection Enhancement in COTS Superscalar Processors with Performance Monitoring Features.	J. Electron. Test.	2004	DBLP DOI BibTeX RDF	COTS processors, fault injection, performance monitoring, analytical evaluation, watchdog processor, error detection coverage
13	Markus Frick	Generalized Model-Checking over Locally Tree-Decomposable Classes.	Theory Comput. Syst.	2004	DBLP DOI BibTeX RDF
13	Ángel Navia-Vázquez, Fernando Pérez-Cruz, Antonio Artés-Rodríguez, Aníbal R. Figueiras-Vidal	Advantages of Unbiased Support Vector Classifiers for Data Mining Applications.	J. VLSI Signal Process.	2004	DBLP DOI BibTeX RDF	unbiased, error count, data mining, classifier, support vector, weighted least squares, empirical risk minimization
13	Andrei A. Bulatov, Martin Grohe	The Complexity of Partition Functions.	ICALP	2004	DBLP DOI BibTeX RDF
13	Cristian Estan, Ken Keys, David Moore 0001, George Varghese	Building a better NetFlow.	SIGCOMM	2004	DBLP DOI BibTeX RDF	network monitoring, traffic measurement, data summarization
13	Chiara Epifanio, Filippo Mignosi, Jeffrey O. Shallit, Ilaria Venturini	Sturmian Graphs and a Conjecture of Moser.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
13	Michael Bauland, Philippe Chapdelaine, Nadia Creignou, Miki Hermann, Heribert Vollmer	An Algebraic Approach to the Complexity of Generalized Conjunctive Queries.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
13	Bulent Buyukbozkirli, Erik D. Goodman	A Statistical Model of GA Dynamics for the OneMax Problem.	GECCO (1)	2004	DBLP DOI BibTeX RDF
13	Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe	Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations.	CASES	2004	DBLP DOI BibTeX RDF	Barvinok's decomposition, Ehrhart polynomial, parametric polytope, quasi-polynomial, signed unimodular decomposition, polyhedral model, compiler analysis
13	Bernhard Schwarz	The Complexity of Satisfiability Problems over Finite Lattices.	STACS	2004	DBLP DOI BibTeX RDF
13	Nianjun Liu, Richard I. A. Davis, Brian C. Lovell, Peter J. Kootsookos	Effect of Initial HMM Choices in Multiple Sequence Training for Gesture Recognition.	ITCC (1)	2004	DBLP DOI BibTeX RDF
13	Amir Rajabzadeh, Mirzad Mohandespour, Seyed Ghassem Miremadi	Error Detection Enhancement in COTS Superscalar Processors with Event Monitoring Features.	PRDC	2004	DBLP DOI BibTeX RDF
13	Yoshiharu Kohayakawa	Advances in the Regularity Method.	LATIN	2004	DBLP DOI BibTeX RDF
13	Alina Beygelzimer, Mitsunori Ogihara	The (Non)Enumerability of the Determinant and the Rank.	Theory Comput. Syst.	2003	DBLP DOI BibTeX RDF
13	Matthias Beck, Dennis Pixton	The Ehrhart Polynomial of the Birkhoff Polytope.	Discret. Comput. Geom.	2003	DBLP DOI BibTeX RDF