Search results for "counting"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Fausto Borghetti, Lorenzo Farina, Piero Malcovati, Franco Maloberti	A high speed and low power CMOS current comparator for photon counting systems.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
21	Rina Dechter, Robert Mateescu	The Impact of AND/OR Search Spaces on Constraint Satisfaction and Counting.	CP	2004	DBLP DOI BibTeX RDF
21	J. B. Wells, Boris Yakobowski	Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis.	LOPSTR	2004	DBLP DOI BibTeX RDF
21	Fabrice Noilhan, Miklos Santha	Semantical Counting Circuits.	Theory Comput. Syst.	2003	DBLP DOI BibTeX RDF
21	Peter Bürgisser, Felipe Cucker	Counting Complexity Classes over the Reals I: The Additive Case.	ISAAC	2003	DBLP DOI BibTeX RDF
21	Eisaku Furukawa, Mitsuru Kawazoe, Tetsuya Takahashi 0001	Counting Points for Hyperelliptic Curves of Type y2= x5 + ax over Finite Prime Fields.	Selected Areas in Cryptography	2003	DBLP DOI BibTeX RDF
21	Jae-Won Kim, Kang-Sun Choi, Byeong-Doo Choi, Jae Yong Lee, Sung-Jea Ko	Real-Time System for Counting the Number of Passing People Using a Single Camera.	DAGM-Symposium	2003	DBLP DOI BibTeX RDF
21	Dirk Thierens	Convergence Time Analysis for the Multi-objective Counting Ones Problem.	EMO	2003	DBLP DOI BibTeX RDF
21	Marek Wojciechowski 0001, Maciej Zakrzewicz	Evaluation of Common Counting Method for Concurrent Data Mining Queries.	ADBIS	2003	DBLP DOI BibTeX RDF
21	Costas Busch, Maurice Herlihy	Sorting and Counting Networks of Arbitrary Width and Small Depth.	Theory Comput. Syst.	2002	DBLP DOI BibTeX RDF
21	Kazuto Matsuo, Jinhui Chao, Shigeo Tsujii	An Improved Baby Step Giant Step Algorithm for Point Counting of Hyperelliptic Curves over Finite Fields.	ANTS	2002	DBLP DOI BibTeX RDF
21	Catherine McCartin	Parameterized Counting Problems.	MFCS	2002	DBLP DOI BibTeX RDF
21	Wilhelm Barth, Michael Jünger, Petra Mutzel	Simple and Efficient Bilayer Cross Counting.	GD	2002	DBLP DOI BibTeX RDF
21	Rafael Dueire Lins	Efficient Cyclic Weighted Reference Counting.	SBAC-PAD	2002	DBLP DOI BibTeX RDF
21	Luc Moreau 0001, Jean Duprat	A construction of distributed reference counting.	Acta Informatica	2001	DBLP DOI BibTeX RDF
21	Salvatore Orlando 0001, Paolo Palmerini, Raffaele Perego 0001	Enhancing the Apriori Algorithm for Frequent Set Counting.	DaWaK	2001	DBLP DOI BibTeX RDF
21	Nipon Theera-Umpon, Paul D. Gader	Training Neural Networks to Count White Blood Cells via a Minimum Counting Error Objective Function.	ICPR	2000	DBLP DOI BibTeX RDF
21	Miki Hermann, Laurent Juban, Phokion G. Kolaitis	On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System.	LPAR	1999	DBLP DOI BibTeX RDF
21	Sabine Broda, Luís Damas	Counting a Type's Principal Inhabitants.	TLCA	1999	DBLP DOI BibTeX RDF
21	Ulrich Hertrampf	Generalized Regular Counting Classes.	MFCS	1999	DBLP DOI BibTeX RDF
21	Rong Lin, Koji Nakano, Stephan Olariu, Albert Y. Zomaya	An Efficient VLSI Architecture Parallel Prefix Counting With Domino Logic.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF	Special-purpose parallel architectures, digital signal processing, computer arithmetic, VLSI design, domino logic
21	Kostas P. Hatzis, George P. Pentaris, Paul G. Spirakis, Basil Tampakas	Counting in Mobile Networks: Theory and Experimentation.	WAE	1999	DBLP DOI BibTeX RDF
21	Rodrigue Byrne	Determining Aliasing Probabilities in BIST by Counting Strings.	J. Electron. Test.	1997	DBLP DOI BibTeX RDF	response analysis architectures, compression techniques, aliasing probabilities, deterministic finite automata
21	Kouichi Sakurai, Souichi Furuya	Improving Linear Cryptanalysis of LOKI91 by Probabilistic Counting Method.	FSE	1997	DBLP DOI BibTeX RDF
21	William W. Pugh	Counting Solutions to Presburger Formulas: How and Why.	PLDI	1994	DBLP DOI BibTeX RDF
21	Albrecht Hoene, Arfst Nickelsen	Counting, Selecting, adn Sorting by Query-Bounded Machines.	STACS	1993	DBLP DOI BibTeX RDF
21	Gerhard Buntrock, Lane A. Hemachandra, Dirk Siefkes	Using Inductive Counting to Simulate Nondeterministic Computation.	MFCS	1990	DBLP DOI BibTeX RDF
21	Emo Welzl	Partition Trees for Triangle Counting and Other Range Searching Problems.	SCG	1988	DBLP DOI BibTeX RDF
20	YunMei Dong	Linear algorithm for lexicographic enumeration of CFG parse trees.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	hierarchical construction of set of parse trees, lexicographic enumeration of parse trees, counting of parse trees
20	Don Blaheta	Democracy in the classroom: an exercise for the first days of CS1.	ITiCSE	2009	DBLP DOI BibTeX RDF	first day exercise, vote counting, CS1
20	Nayantara Bhatnagar, Dana Randall, Vijay V. Vazirani, Eric Vigoda	Random Bichromatic Matchings.	Algorithmica	2008	DBLP DOI BibTeX RDF	Markov chains, Sampling, Matchings, Approximate counting
20	Frédéric Koriche	Learning to assign degrees of belief in relational domains.	Mach. Learn.	2008	DBLP DOI BibTeX RDF	Learning to reason, Relational probabilistic reasoning, Exponentiated gradient learning, Weighted model counting, Online learning, Markov networks
20	Manuel Rubio-Sánchez	An introduction to problem equivalence with combinatorics.	ITiCSE	2008	DBLP DOI BibTeX RDF	problem equivalence, NP-completeness, recursion, combinatorics, counting problems, fibonacci numbers
20	Daw-Tung Lin, Li-Wei Liu	Real-Time Detection of Passing Objects Using Virtual Gate and Motion Vector Analysis.	UIC	2008	DBLP DOI BibTeX RDF	three step search, motion vector analysis, motion estimation, video surveillance, People counting
20	Luciano Telesca, Rosa Coluzzi, Rosa Lasaponara	Temporal Variation of Urban Pattern Morphology in Southern Italy Explored by Using Landsat Data.	ICCSA (1)	2008	DBLP DOI BibTeX RDF	Urban morphology, box-counting, fractal dimension
20	Sándor Imre	Quantum Existence Testing and Its Application for Finding Extreme Values in Unsorted Databases.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	quantum existence testing, Search, counting
20	Rangaraj M. Rangayyan, Thanh M. Nguyen	Fractal Analysis of Contours of Breast Masses in Mammograms.	J. Digit. Imaging	2007	DBLP DOI BibTeX RDF	Box counting method, breast masses, ruler method, signatures of contours, shape analysis, breast cancer, fractal dimension, fractal analysis, contour analysis, breast tumors
20	Sergio Hernandez-Marin, Andrew M. Wallace, Gavin J. Gibson	Bayesian Analysis of Lidar Signals with Multiple Returns.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	burst illumination laser, delayed rejection, photon counting, 3D reconstruction, Lidar, reversible jump MCMC
20	David Gay, Robert Ennals, Eric A. Brewer	Safe manual memory management.	ISMM	2007	DBLP DOI BibTeX RDF	C, safety, memory management, reference counting
20	Noga Alon, Shai Gutner	Balanced Families of Perfect Hash Functions and Their Applications.	ICALP	2007	DBLP DOI BibTeX RDF	approximate counting of subgraphs, perfect hashing, color-coding
20	Dorothea Baumeister, Jörg Rothe	Satisfiability Parsimoniously Reduces to the TantrixTM Rotation Puzzle Problem.	MCU	2007	DBLP DOI BibTeX RDF	rotation puzzle, tiling of the plane, parsimonious reduction, computational complexity, counting problem
20	Sergio Hernandez-Marin, Andrew M. Wallace, Gavin J. Gibson	Creating Multi-layered 3D Images Using Reversible Jump MCMC Algorithms.	ISVC (2)	2006	DBLP DOI BibTeX RDF	3D ranging and imaging, reversible jump Markov chain Monte Carlo, multi-layered image, time-correlated single photon counting, burst illumination laser, Markov random fields
20	Pierrick Gaudry, François Morain	Fast algorithms for computing the eigenvalue in the Schoof-Elkies-Atkin algorithm.	ISSAC	2006	DBLP DOI BibTeX RDF	SEA algorithm, point counting, elliptic curves
20	Frederik Stork, Marc Uetz	On the generation of circuits and minimal forbidden sets.	Math. Program.	2005	DBLP DOI BibTeX RDF	Independence system, Forbidden set, Circuit, Enumeration, Resource constraints, Project scheduling, Counting
20	Dankmar Böhning, Ekkehart Dietz, Ronny Kuhnert, Dieter Schön	Mixture models for capture-recapture count data.	Stat. Methods Appl.	2005	DBLP DOI BibTeX RDF	Counting Distribution Model, truncated count distribution, finite mixture models, capture-recapture
20	Weifeng Chen 0001, Yong Huang, Bruno F. Ribeiro, Kyoungwon Suh, Honggang Zhang 0003, Edmundo de Souza e Silva, James F. Kurose, Donald F. Towsley	Exploiting the IPID Field to Infer Network Path and End-System Characteristics.	PAM	2005	DBLP DOI BibTeX RDF	IPID field, one-way delay difference, traffic activity, load-balanced server counting, estimation
20	Guillermo Morales-Luna	Geometric Aspects Related to Solutions of #kSAT.	MICAI	2005	DBLP DOI BibTeX RDF	Hypercube Geometry, SAT, Hypergraphs, Counting
20	Marcin Peczarski	New Results in Minimum-Comparison Sorting.	Algorithmica	2004	DBLP DOI BibTeX RDF	Optimal sorting, The Ford-Johnson algorithm, Counting linear extensions
20	Stephen M. Blackburn, Perry Cheng, Kathryn S. McKinley	Myths and realities: the performance impact of garbage collection.	SIGMETRICS	2004	DBLP DOI BibTeX RDF	semi-space, java, generational, reference counting, mark-sweep
20	Witawas Srisa-an, Chia-Tien Dan Lo, J. Morris Chang	Performance Enhancements to the Active Memory System.	ICCD	2002	DBLP DOI BibTeX RDF	Java, embedded system, garbage collection, reference counting, hardware support
20	Leonid Libkin	Logics capturing local properties.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	locality, logic, counting
20	Wim H. Hesselink, Jan Friso Groote	Wait-free concurrent memory management by Create and Read until Deletion (CaRuD).	Distributed Comput.	2001	DBLP DOI BibTeX RDF	Shared memory, Consensus, Wait-free, Reference counting, Concurrent garbage collection, Terms
20	Ben Morris, Alistair Sinclair	Random Walks on Truncated Cubes and Sampling 0-1 Knapsack Solutions.	FOCS	1999	DBLP DOI BibTeX RDF	0-1 knapsack problem, balanced almost uniform permutations, the hypercube, Markov chains, Random walks, multicommodity flow, approximate counting, random permutations, rapid mixing
20	Samuel R. Buss, Dima Grigoriev, Russell Impagliazzo, Toniann Pitassi	Linear Gaps Between Degrees for the Polynomial Calculus Modulo Distinct Primes (Abstract).	CCC	1999	DBLP DOI BibTeX RDF	counting principles, graph tautologies, algebraic proof systems, binomial proofs, Nullstellensatz proofs, polynomial calculus proofs, propositional logic, Proof complexity
20	Russ Bubley, Martin E. Dyer	Path Coupling: A Technique for Proving Rapid Mixing in Markov Chains.	FOCS	1997	DBLP DOI BibTeX RDF	P-hard counting, path coupling, combinatorial difficulty, hard combinatorial problems, TWICE-SAT, complexity, Markov chains, theorem proving, graph colouring, algorithm design, Markov chain Monte Carlo method, rapid mixing
20	Kazuaki Rokusawa, Akihiko Nakase, Takashi Chikayama	Quiescence Detection in a Distributed KLIC Implementation.	Euro-Par	1995	DBLP DOI BibTeX RDF	quiescence detection, distributed implementation, weighted reference counting, termination detection, concurrent logic programming
20	Chris F. Kemerer, Benjamin S. Porter	Improving the Reliability of Function Point Measurement: An Empirical Study.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	function point measurement, nonsource line of code metric, systems development product, function point counting, reliability, complexity, information systems, software quality, software metrics, software reliability, size, user-oriented, software complexity measures
20	Warren H. Debany Jr., Carlos R. P. Hartmann	Bounds on the sizes of irredundant test sets and sequences for combinational logic networks.	J. Electron. Test.	1991	DBLP DOI BibTeX RDF	Digital logic testing, irredundant tests, test complexity, test counting
20	Maurice Milgram, Thierry de Saint Pierre	Boundary Detection and Skeletonization with a Massively Parallel Architecture.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	TOSCA, edge pixel detection, token propagation, counting devices, local processing, parallel architectures, computerised pattern recognition, computerised pattern recognition, skeletonization, cellular automaton, boundary detection, massively parallel architecture, Chamfer distance
20	Wade H. Shaw Jr., James W. Howatt, Robert S. Maness, Dennis M. Miller	A Software Science Model of Compile Time.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	software science model, Halstead theory of software science, compilation process, compiler performance index, Ada compilers, fundamental relation, program modularity, counting strategy, significant relationships, program characteristics, predictive power, compiler performance, discrimination rate, performance index, performance evaluation, program compilers, data collection, complexity measures, nonlinear model, compile time
19	Jibonananda Sanyal, Song Zhang 0004, Gargi Bhattacharya, Philip Amburn, Robert J. Moorhead	A User Study to Compare Four Uncertainty Visualization Methods for 1D and 2D Datasets.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
19	Mira Gonen, Yuval Shavitt	Approximating the Number of Network Motifs.	WAW	2009	DBLP DOI BibTeX RDF
19	Feifei Ma, Sheng Liu, Jian Zhang 0001	Volume Computation for Boolean Combination of Linear Arithmetic Constraints.	CADE	2009	DBLP DOI BibTeX RDF
19	Dario Colazzo, Giorgio Ghelli, Carlo Sartiani	Efficient asymmetric inclusion between regular expression types.	ICDT	2009	DBLP DOI BibTeX RDF	language inclusion, XML, regular expressions
19	Moshe Schwartz 0001, Jehoshua Bruck	Constrained Codes as Networks of Relations.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
19	Venkateshwara R. Kanchumarthy, R. Viswanathan 0002, M. Madishetty	Impact of Channel Errors on Decentralized Detection Performance of Wireless Sensor Networks: A Study of Binary Modulations, Rayleigh-Fading and Nonfading Channels, and Fusion-Combiners.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
19	Suman Nath, Phillip B. Gibbons, Srinivasan Seshan, Zachary R. Anderson	Synopsis diffusion for robust aggregation in sensor networks.	ACM Trans. Sens. Networks	2008	DBLP DOI BibTeX RDF	synopsis diffusion, Sensor networks, query processing
19	Tianzhou Chen, Zhenwei Zheng, Nan Zhang, Jian Chen	Heterogeneous Multi-core Design for Information Retrieval Efficiency on the Vector Space Model.	FSKD (5)	2008	DBLP DOI BibTeX RDF
19	Fujio Tsutsumi, Yutaka Tateda	A Method to Recognize and Count Leaves on the Surface of a River Using User's Knowledge about Color of Leaves.	PAKDD Workshops	2008	DBLP DOI BibTeX RDF	Video Image Processing, Interactive Machine Learning, Environmental Monitoring, Color Image Processing
19	Décio Krause, Steven French	Quantum sortal predicates.	Synth.	2007	DBLP DOI BibTeX RDF	Sortal predication, Quantum predicates, Sortal logic, Intensional semantics
19	Giuseppe Baruffa, Gianluca Reali	A Fast Algorithm to Find Generic Odd and Even Order Intermodulation Products.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
19	Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin	How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited.	LPAR	2007	DBLP DOI BibTeX RDF
19	Hassan H. Malik, John R. Kender	Optimizing Frequency Queries for Data Mining Applications.	ICDM	2007	DBLP DOI BibTeX RDF
19	Raphael Yuster, Uri Zwick	Maximum matching in graphs with an excluded minor.	SODA	2007	DBLP BibTeX RDF
19	C. Y. Ho, W. Y. Lo, Anthony S. Fong	Memory Garbage Collection for an Object-Oriented Processor.	ITNG	2007	DBLP DOI BibTeX RDF
19	Yan Guo, Bei Hua, Lihua Yue	Energy-Based Target Numeration in Wireless Sensor Networks.	FGCN (2)	2007	DBLP DOI BibTeX RDF
19	Amos Korman, Shay Kutten	Controller and estimator for dynamic networks.	PODC	2007	DBLP DOI BibTeX RDF	distributed algorithms, labeling schemes, asynchronous protocols
19	Yong Xia 0001, David Dagan Feng, Rongchun Zhao	Morphology-based multifractal estimation for texture segmentation.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
19	Mingzhong Zhou, Jian Gong, Wei Ding 0001	A New Algorithm for Long Flows Statistics-MGCBF.	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF
19	Chien-Liang Wu, Jia-Ling Koh, Pao-Ying An	Improved Sequential Pattern Mining Using an Extended Bitmap Representation.	DEXA	2005	DBLP DOI BibTeX RDF
19	Penny E. Haxell, Brendan Nagle, Vojtech Rödl	An Algorithmic Version of the Hypergraph Regularity Method.	FOCS	2005	DBLP DOI BibTeX RDF
19	Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson	Permission accounting in separation logic.	POPL	2005	DBLP DOI BibTeX RDF	concurrency, logic, separation, permissions
19	Raimund Seidel, Nicola Wolpert	On the exact computation of the topology of real algebraic curves.	SCG	2005	DBLP DOI BibTeX RDF	computational geometry, robustness, algebraic curves, exact geometric computation
19	António Morgado 0001, João Marques-Silva 0001	Good Learning and Implicit Model Enumeration.	ICTAI	2005	DBLP DOI BibTeX RDF
19	Suman Nath, Phillip B. Gibbons, Srinivasan Seshan, Zachary R. Anderson	Synopsis diffusion for robust aggregation in sensor networks.	SenSys	2004	DBLP DOI BibTeX RDF	synopsis diffusion, sensor networks, query processing
19	Guizhen Yang	The complexity of mining maximal frequent itemsets and maximal frequent patterns.	KDD	2004	DBLP DOI BibTeX RDF	maximal frequent pattern, data mining, complexity, theory, maximal frequent itemset
19	Viktor Kuncak, Martin C. Rinard	Generalized Records and Spatial Conjunction in Role Logic.	SAS	2004	DBLP DOI BibTeX RDF
19	Morgan Deters, Nicholas A. Leidenfrost, Matthew P. Hampton, James C. Brodman, Ron Cytron	Automated Reference-Counted Object Recycling for Real-Time Jav.	IEEE Real-Time and Embedded Technology and Applications Symposium	2004	DBLP DOI BibTeX RDF
19	Holger Spakowski, Mayur Thakur, Rahul Tripathi	Quantum and Classical Complexity Classes: Separations, Collapses, and Closure Properties.	FSTTCS	2003	DBLP DOI BibTeX RDF
19	Bin Fang, Wynne Hsu, Mong-Li Lee	Tumor cell identification using features rules.	KDD	2002	DBLP DOI BibTeX RDF	dynamic water immersion, features rules, local adaptive thresholding, meta classifier, identification, majority vote, weighted vote
19	Laurel King	The Relationship between Scene and Eye Movements.	HICSS	2002	DBLP DOI BibTeX RDF	visual strategies, visual task, neural networks, eye tracking, human factors
19	Ola Angelsmark, Peter Jonsson, Svante Linusson, Johan Thapper	Determining the Number of Solutions to Binary CSP Instances.	CP	2002	DBLP DOI BibTeX RDF
19	Mary Cryan, Martin E. Dyer	A polynomial-time algorithm to approximately count contingency tables when the number of rows is constant.	STOC	2002	DBLP DOI BibTeX RDF
19	Mitsunori Ogihara, Seinosuke Toda	The Complexity of Computing the Number of Self-Avoiding Walks in Two-Dimensional Grid Graphs and in Hypercube Graphs.	MFCS	2001	DBLP DOI BibTeX RDF
19	Fred Brown	Incremental Garbage Collection in Massive Object Stores.	ACSC	2001	DBLP DOI BibTeX RDF
19	Panagiota Fatourou, Maurice Herlihy	Adding Networks.	DISC	2001	DBLP DOI BibTeX RDF
19	Stephen Alstrup, Gerth Stølting Brodal, Theis Rauhe	Optimal static range reporting in one dimension.	STOC	2001	DBLP DOI BibTeX RDF
19	Manoj Plakal, Charles N. Fischer	Concurrent Garbage Collection Using Program Slices on Multithreaded Processors.	ISMM	2000	DBLP DOI BibTeX RDF
19	Pierre McKenzie, Heribert Vollmer, Klaus W. Wagner	Arithmetic Circuits and Polynomial Replacement Systems.	FSTTCS	2000	DBLP DOI BibTeX RDF
19	René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson	Abstract Interpretation of Mobile Ambients.	SAS	1999	DBLP DOI BibTeX RDF