Search results for "enumeration"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Hristo Ganchev	Exact Pair Theorem for the omega -Enumeration Degrees.	CiE	2007	DBLP DOI BibTeX RDF	969, enumeration degrees, enumeration degrees, exact pair, jump
4	Leonid Khachiyan, Endre Boros, Konrad Borys, Khaled M. Elbassioni, Vladimir Gurvich	Generating all vertices of a polyhedron is hard.	SODA	2006	DBLP DOI BibTeX RDF	enumeration problem, facet enumeration, feasible system, negative cycle, polytope-polyhedron problem, vertex enumeration, graph, cycle, face, polytope, polyhedron, facet, vertex, linear inequalities
4	Roberto Aringhieri, Pierre Hansen, Federico Malucelli	Chemical trees enumeration algorithms.	4OR	2003	DBLP DOI BibTeX RDF	Exact enumeration problems, enumeration of graphs and maps, applications, trees, generating functions
3	Ghassan Shobaki, Kent D. Wilken, Mark Heffernan	Optimal trace scheduling using enumeration.	TACO	2009	DBLP DOI BibTeX RDF	branch-and-bound enumeration, global instruction scheduling, optimal instruction scheduling, compiler optimizations, instruction-level parallelism, Instruction scheduling, trace scheduling
3	Steffen Rebennack, Josef Kallrath, Panos M. Pardalos	Column enumeration based decomposition techniques for a class of non-convex MINLP problems.	J. Global Optimization	2009	DBLP DOI BibTeX RDF	Column enumeration, Decomposition, Packing, MINLP
3	YunMei Dong	Linear algorithm for lexicographic enumeration of CFG parse trees.	Science in China Series F: Information Sciences	2009	DBLP DOI BibTeX RDF	hierarchical construction of set of parse trees, lexicographic enumeration of parse trees, counting of parse trees
3	Mohammad S. Sabbagh, Richard M. Soland	An improved partial enumeration algorithm for integer programming problems.	Annals OR	2009	DBLP DOI BibTeX RDF	Partial enumeration speedup, Integer programming
3	Toshiki Saitoh, Katsuhisa Yamanaka, Masashi Kiyomi, Ryuhei Uehara	Random Generation and Enumeration of Proper Interval Graphs.	WALCOM	2009	DBLP DOI BibTeX RDF	proper interval graphs, unit interval graphs, enumeration, Counting, random generation
3	Toshiki Saitoh, Yota Otachi, Katsuhisa Yamanaka, Ryuhei Uehara	Random Generation and Enumeration of Bipartite Permutation Graphs.	ISAAC	2009	DBLP DOI BibTeX RDF	Bipartite permutation graph, Dyck path, Motzkin path, enumeration, counting, random generation
3	Brent ByungHoon Kang, Eric Chan-Tin, Christopher P. Lee, James Tyra, Hun Jeong Kang, Chris Nunnery, Zachariah Wadler, Greg Sinclair, Nicholas Hopper, David Dagon, Yongdae Kim	Towards complete node enumeration in a peer-to-peer botnet.	ASIACCS	2009	DBLP DOI BibTeX RDF	infected hosts enumeration, storm, P2P, botnet
3	William Hendrix, Matthew C. Schmidt, Paul Breimyer, Nagiza F. Samatova	On perturbation theory and an algorithm for maximal clique enumeration in uncertain and noisy graphs.	KDD Workshop on Knowledge Discovery from Uncertain Data	2009	DBLP DOI BibTeX RDF	graph perturbation theory, maximal clique enumeration, graph algorithms, biological applications
3	Yannick Vimont, Sylvain Boussier, Michel Vasquez	Reduced costs propagation in an efficient implicit enumeration for the 01 multidimensional knapsack problem.	J. Comb. Optim.	2008	DBLP DOI BibTeX RDF	Implicit enumeration, Variable fixing, Reduced costs, Constraint propagation, Multidimensional knapsack problem
3	Hans Raj Tiwary, Khaled M. Elbassioni	On the complexity of checking self-duality of polytopes and its relations to vertex enumeration and graph isomorphism.	Symposium on Computational Geometry	2008	DBLP DOI BibTeX RDF	vertex enumeration, computational geometry, graph isomorphism, polytopes, isomorphism, self-duality
3	Naoki Katoh, Shin-ichi Tanigawa	Fast enumeration algorithms for non-crossing geometric graphs.	Symposium on Computational Geometry	2008	DBLP DOI BibTeX RDF	non-crossing geometric graphs, triangulation, enumeration
3	Hiroki Arimura, Takeaki Uno	An efficient polynomial space and polynomial delay algorithm for enumeration of maximal motifs in a sequence.	J. Comb. Optim.	2007	DBLP DOI BibTeX RDF	Maximal motif, Data mining, Algorithm, Delay, Polynomial time, Pattern discovery, Enumeration, Motif, Sequence mining, Closed pattern, Closed itemset
3	Vincent T'Kindt, Karima Bouibede-Hocine, Carl Esswein	Counting and enumeration complexity with application to multicriteria scheduling.	Annals OR	2007	DBLP DOI BibTeX RDF	Complexity, Enumeration, Counting, Multicriteria scheduling
3	David DeHaan, Frank Wm. Tompa	Optimal top-down join enumeration.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	join enumeration, dynamic programming, query optimization, branch-and-bound, memoization, top-down
3	Margareta Ackerman, Jeffrey Shallit	Efficient Enumeration of Regular Languages.	CIAA	2007	DBLP DOI BibTeX RDF	nondeterministic finite automaton, radix order, enumeration, regular language, lexicographical order
3	Tushar S. Kulkarni, Bernd S. W. Schröder	An Enumeration Problem in Ordered Sets Leads to Possible Benchmarks for Run-Time Prediction Algorithms.	ICFCA	2006	DBLP DOI BibTeX RDF	search, constraint satisfaction, enumeration
3	Peiyi Tang, Markus P. Turkia	Mining frequent itemsets with partial enumeration.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	k-prefix partitioning, conditional databases, partial enumeration, frequent itemsets
3	D. Kebbal	Automatic Flow Analysis Using Symbolic Execution and Path Enumeration.	ICPP Workshops	2006	DBLP DOI BibTeX RDF	static WCET analysis, automatic parametric flow analysis, block-based symbolic execution, path enumeration, hard real-time systems
3	Vincent T'Kindt, Karima Bouibede-Hocine, Carl Esswein	Counting and enumeration complexity with application to multicriteria scheduling.	4OR	2005	DBLP DOI BibTeX RDF	complexity, enumeration, counting, Multicriteria scheduling
3	Ghassan Shobaki, Kent D. Wilken	Optimal Superblock Scheduling Using Enumeration.	MICRO	2004	DBLP DOI BibTeX RDF	global instruction scheduling, compiler optimizations, enumeration, optimal scheduling, superblock
3	Ivan T. Bowman, G. N. Paulley	Join Enumeration in a Memory-Constrained Environment.	ICDE	2000	DBLP DOI BibTeX RDF	join enumeration, branch-and-bound techniques, Sybase SQL Anywhere, left-deep processing tree, relational databases, Query optimization
3	Subhamoy Maitra, Palash Sarkar	Enumeration of Correlation Immune Boolean Functions.	ACISP	1999	DBLP DOI BibTeX RDF	Boolean Function, Stream Cipher, Symmetry, Nonlinearity, Enumeration, Balancedness, Correlation Immunity, Nondegeneracy
3	Alioune Ngom, Corina Reischer, Ivan Stojmenovic	Classification of Functions and Enumeration of Bases of Set Logic under Boolean Compositions. (PDF / PS)	ISMVL	1995	DBLP DOI BibTeX RDF	set logic bases enumeration, functions classification, Boolean compositions, r-valued set logic, n-tuples, B-maximal sets, set logic, one-place example function, one-place set logic functions, B-Sheffer functions, Boolean functions, Boolean functions, set theory, multivalued logic
2	Benjamin A. Burton	The complexity of the normal surface solution space.	Symposium on Computational Geometry	2010	DBLP DOI BibTeX RDF	3-manifolds, normal surfaces, vertex enumeration, complexity, computational topology
2	Benny Kimelfeld, Christopher Ré	Transducing Markov sequences.	PODS	2010	DBLP DOI BibTeX RDF	Markov sequences, ranked query evaluation, hidden Markov models, probabilistic databases, enumeration, transducers
2	James Cheng, Yiping Ke, Ada Wai-Chee Fu, Jeffrey Xu Yu, Linhong Zhu	Finding maximal cliques in massive networks by H*-graph.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	h*-graph, massive networks, maximal clique enumeration, scale-free networks, h-index
2	Zhaoshui He, Andrzej Cichocki, Shengli Xie, Kyuwan Choi	Detecting the Number of Clusters in n-Way Probabilistic Clustering.	IEEE Trans. Pattern Anal. Mach. Intell.	2010	DBLP DOI BibTeX RDF	Multiway clustering, parallel factor analysis (PARAFAC), model order selection, multiway array, higher order tensor, supersymmetric tensors, affinity arrays, enumeration of clusters, estimation of PARAFAC components, principal components enumeration, hypergraph, probabilistic clustering
2	WenYing Zhang, ChuanKun Wu, XiangZhong Liu	Construction and enumeration of Boolean functions with maximum algebraic immunity.	Science in China Series F: Information Sciences	2009	DBLP DOI BibTeX RDF	cryptography, Boolean function, algebraic attack, algebraic immunity
2	Jianxin Wang, Beiwei Chen, Qilong Feng, Jianer Chen	An Efficient Fixed-Parameter Enumeration Algorithm for Weighted Edge Dominating Set.	FAW	2009	DBLP DOI BibTeX RDF
2	Taiga Takata, Yusuke Matsunaga	An efficient cut enumeration for depth-optimum technology mapping for LUT-based FPGAs.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	FPGA, logic synthesis, technology mapping
2	Andrea Sorbi, Guohua Wu, Yue Yang	High Minimal Pairs in the Enumeration Degrees.	TAMC	2009	DBLP DOI BibTeX RDF
2	Jianxin Wang, Guohong Jiang	A Fixed-Parameter Enumeration Algorithm for the Weighted FVS Problem.	TAMC	2009	DBLP DOI BibTeX RDF
2	Katsuhisa Yamanaka, Yota Otachi, Shin-Ichi Nakano	Efficient Enumeration of Ordered Trees with kLeaves (Extended Abstract).	WALCOM	2009	DBLP DOI BibTeX RDF	family tree, algorithm, graph, enumeration, ordered tree
2	Tao Li, Zhigang Sun, Wu Jigang, Xicheng Lu	Fast enumeration of maximal valid subgraphs for custom-instruction identification.	CASES	2009	DBLP DOI BibTeX RDF	ISE identification, custom processors, maximal subgraph
2	Martin Gebser, Benjamin Kaufmann, Torsten Schaub	Solution Enumeration for Projected Boolean Search Problems.	CPAIOR	2009	DBLP DOI BibTeX RDF
2	Margareta Ackerman, Erkki Mäkinen	Three New Algorithms for Regular Language Enumeration.	COCOON	2009	DBLP DOI BibTeX RDF
2	Hristo Ganchev	Definability in the Local Theory of the omega-Enumeration Degrees.	CiE	2009	DBLP DOI BibTeX RDF
2	Elisabeth Georgii, Koji Tsuda, Bernhard Schölkopf	Multi-way set enumeration in real-valued tensors.	KDD Workshop on Data Mining using Matrices and Tensors	2009	DBLP DOI BibTeX RDF
2	Katta G. Murty	A problem in enumerating extreme points, and an efficient algorithm for one class of polytopes.	Optimization Letters	2009	DBLP DOI BibTeX RDF	Convex polytopes and their dual polytopes, FCFs (facetal constraint functions), Enumeration of extreme points, Mukkas, Mukkadvayams, Central problem and strategy for its solution, Nearest points, Linear and convex quadratic programs, Segments, Adjacency
2	Lei Zhang 0020, Anamitra Makur	Enumeration of Downsampling Lattices in Two-Dimensional Multirate Systems.	IEEE Transactions on Signal Processing	2008	DBLP DOI BibTeX RDF
2	Lei Huang, Teng Long, Shunjun Wu	Source Enumeration for High-Resolution Array Processing Using Improved Gerschgorin Radii Without Eigendecomposition.	IEEE Transactions on Signal Processing	2008	DBLP DOI BibTeX RDF
2	Maria L. Affatato, Thomas F. Kent, Andrea Sorbi	Branching in the S02{Sigma02}-enumeration degrees: a new perspective.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03D28, 03D30
2	Cong Ling, Kwok H. Li, Alex ChiChung Kot	Performance of Space-Time Codes: Gallager Bounds and Weight Enumeration.	IEEE Transactions on Information Theory	2008	DBLP DOI BibTeX RDF
2	Konstantinos Drakakis, Scott T. Rickard, James K. Beard, Rodrigo Caballero, Francesco Iorio, Gareth O'Brien, John Walsh	Results of the Enumeration of Costas Arrays of Order 27.	IEEE Transactions on Information Theory	2008	DBLP DOI BibTeX RDF
2	Changlin Wan, Zhongzhi Shi	Solving Medium-Density Subset Sum Problems in Expected Polynomial Time: An Enumeration Approach.	FAW	2008	DBLP DOI BibTeX RDF
2	Tim Todman, Haohuan Fu, Brittle Tsoi, Oskar Mencer, Wayne Luk	Smart Enumeration: A Systematic Approach to Exhaustive Search.	PATMOS	2008	DBLP DOI BibTeX RDF
2	Marat M. Arslanov, S. Barry Cooper, Iskander Sh. Kalimullin, Mariya Ivanova Soskova	Total Degrees and Nonsplitting Properties of Enumeration Degrees.	TAMC	2008	DBLP DOI BibTeX RDF
2	Jim Devlin, Scott Rickard	Accelerated costas array enumeration using FPGAs.	CISS	2008	DBLP DOI BibTeX RDF
2	Kubilay Atasu, Oskar Mencer, Wayne Luk, Can C. Özturan, Günhan Dündar	Fast custom instruction identification by convex subgraph enumeration.	ASAP	2008	DBLP DOI BibTeX RDF
2	Jeong Woo Son, Seong-Bae Park, Se-Young Park	An Ontology Alignment Basedon Parse Tree Kernel for Combining Structural and Semantic Information without Explicit Enumeration of Features.	Web Intelligence	2008	DBLP DOI BibTeX RDF
2	Min Li, Bruno Bougard, Eduardo Lopez-Estraviz, André Bourdoux, David Novo, Liesbet Van der Perre, Francky Catthoor	Selective Spanning with Fast Enumeration: A Near Maximum-Likelihood MIMO Detector Designed for Parallel Programmable Baseband Architectures.	ICC	2008	DBLP DOI BibTeX RDF
2	Shaojing Fu, Chao Li, Bing Sun	Enumeration of Homogeneous Rotation Symmetric Functions over Fp.	CANS	2008	DBLP DOI BibTeX RDF	Minimal function, Monic monomial, Algebraic degree, Rotation symmetry
2	Xavier Pujol, Damien Stehlé	Rigorous and Efficient Short Lattice Vectors Enumeration.	ASIACRYPT	2008	DBLP DOI BibTeX RDF	SVP, lattice cryptanalysis, Lattices, numerical stability
2	Bin Fu, Zhixiang Chen	A Sublinear Time Randomized Algorithm for Coset Enumeration in the Black Box Model.	COCOON	2008	DBLP DOI BibTeX RDF
2	Yasuko Matsui, Ryuhei Uehara, Takeaki Uno	Enumeration of Perfect Sequences of Chordal Graph.	ISAAC	2008	DBLP DOI BibTeX RDF	clique tree, perfect sequence, enumeration, Chordal graph
2	Wei-bang Chen, Chengcui Zhang	Bacteria Colony Enumeration and Classification for Clonogenic Assay.	ISM	2008	DBLP DOI BibTeX RDF
2	Natwar Modani, Kuntal Dey	Large maximal cliques enumeration in sparse graphs.	CIKM	2008	DBLP DOI BibTeX RDF	filtering, maximal clique
2	Martin Strasser, Michael Eick, Helmut Gräb, Ulf Schlichtmann, Frank M. Johannes	Deterministic analog circuit placement using hierarchically bounded enumeration and enhanced shape functions.	ICCAD	2008	DBLP DOI BibTeX RDF
2	Mariya Ivanova Soskova	Cupping Classes of Enumeration Degrees.	CiE	2008	DBLP DOI BibTeX RDF
2	Roland Carl Backhouse, João F. Ferreira	Recounting the Rationals: Twice!.	MPC	2008	DBLP DOI BibTeX RDF	Calkin-Wilf tree, Stern-Brocot tree, algorithm derivation, rational numbers, enumeration algorithm
2	Tomohiko Mizutani, Akiko Takeda, Masakazu Kojima	Dynamic Enumeration of All Mixed Cells.	Discrete & Computational Geometry	2007	DBLP DOI BibTeX RDF
2	Pan Yu, Tulika Mitra	Disjoint Pattern Enumeration for Custom Instructions Identification.	FPL	2007	DBLP DOI BibTeX RDF
2	Peiyi Tang, Markus P. Turkia	Mining frequent web access patterns with partial enumeration.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF
2	Jian Yin, Zhilan Huang, Yubao Liu, Jiarong Cai, Jian Chen	An Effective Maximal Subspace Clustering Algorithm Based on Enumeration Tree.	FSKD	2007	DBLP DOI BibTeX RDF
2	Samuel Rota Bulò, Andrea Torsello, Marcello Pelillo	A Continuous-Based Approach for Partial Clique Enumeration.	GbRPR	2007	DBLP DOI BibTeX RDF
2	K. Sivakumar, K. Garg	Constructing a "Common Cross Site Scripting Vulnerabilities Enumeration (CXE)" Using CWE and CVE.	ICISS	2007	DBLP DOI BibTeX RDF	Secure code, PHP Vulnerabilities, CWE, CVE, Web Security, XSS
2	Chengcui Zhang, Wei-bang Chen	An Effective and Robust Method for Automatic Bacterial Colony Enumeration.	ICSC	2007	DBLP DOI BibTeX RDF
2	Dong (Haoyuan) Li, Anne Laurent, Maguelonne Teisseire	On Transversal Hypergraph Enumeration in Mining Sequential Patterns.	IDEAS	2007	DBLP DOI BibTeX RDF
2	Joshua A. Grochow, Manolis Kellis	Network Motif Discovery Using Subgraph Enumeration and Symmetry-Breaking.	RECOMB	2007	DBLP DOI BibTeX RDF
2	Guillaume Bagan, Arnaud Durand, Etienne Grandjean	On Acyclic Conjunctive Queries and Constant Delay Enumeration.	CSL	2007	DBLP DOI BibTeX RDF
2	Ivaylo Atanassov	An improvement of an approach for representation of tree structures in relational tables.	CompSysTech	2007	DBLP DOI BibTeX RDF	path enumeration model, relational databases, SQL, trees, hierarchies, relational tables
2	Kenneth A. Hawick, Heath A. James, Chris Scogings	Structural Circuits and Attractors in Kauffman Networks.	ACAL	2007	DBLP DOI BibTeX RDF	Kauffman networks, Random boolean functions, Circuit enumeration, Loops, Attractors
2	Tao Yang, Daoli Zhu, Linzhong Liu	Decomposition Method and Its Automatic Design Algorithm of Station Bottleneck.	ICIC	2007	DBLP DOI BibTeX RDF	Sketch Input, Structural Enumeration, Design Automation
2	Henning Schnoor, Ilka Schnoor	Enumerating All Solutions for Constraint Satisfaction Problems.	STACS	2007	DBLP DOI BibTeX RDF	computational complexity, constraints, enumeration
2	Roland Sh. Omanadze, Andrea Sorbi	Strong Enumeration Reducibilities.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03D30
2	Boris Solon, Sergey Rozhkov	Enumeration Degrees of the Bounded Total Sets.	TAMC	2006	DBLP DOI BibTeX RDF
2	Brahim Hamid, Mohamed Mosbah	A Local Self-stabilizing Enumeration Algorithm.	DAIS	2006	DBLP DOI BibTeX RDF
2	Henning Fernau	edge dominating set: Efficient Enumeration-Based Exact Algorithms.	IWPEC	2006	DBLP DOI BibTeX RDF
2	Sujit Kumar Chakrabarti, Y. N. Srikant	Specification Based Regression Testing Using Explicit State Space Enumeration.	ICSEA	2006	DBLP DOI BibTeX RDF	Open systems development, Configuration management, Maintenance and evolution
2	Colin Neil Jones, Jan M. Maciejowski	Primal-Dual Enumeration for Multiparametric Linear Programming.	ICMS	2006	DBLP DOI BibTeX RDF
2	Kjell Wooding, Hugh C. Williams	Doubly-Focused Enumeration of Pseudosquares and Pseudocubes.	ANTS	2006	DBLP DOI BibTeX RDF
2	Stanislav Angelov, Boulos Harb, Sampath Kannan, Sanjeev Khanna, Junhyong Kim	Efficient Enumeration of Phylogenetically Informative Substrings.	RECOMB	2006	DBLP DOI BibTeX RDF
2	Li Guo, William Y. Sit	Enumeration of Rota-Baxter words.	ISSAC	2006	DBLP DOI BibTeX RDF	Rota-Baxter algebras, Rota-Baxter words, catalan numbers, compositions, generating functions
2	Eric Monfroy, Carlos Castro, Broderick Crawford	Adaptive Enumeration Strategies and Metabacktracks for Constraint Solving.	ADVIS	2006	DBLP DOI BibTeX RDF
2	Charles M. Harris	Enumeration Reducibility with Polynomial Time Bounds.	CiE	2006	DBLP DOI BibTeX RDF
2	Boris Solon	Co-total Enumeration Degrees.	CiE	2006	DBLP DOI BibTeX RDF
2	Eric Monfroy, Carlos Castro, Broderick Crawford	Using Local Search for Guiding Enumeration in Constraint Solving.	AIMSA	2006	DBLP DOI BibTeX RDF
2	Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton	Improvements to technology mapping for LUT-based FPGAs.	FPGA	2006	DBLP DOI BibTeX RDF	area recovery, cut enumeration, lossless synthesis, FPGA, technology mapping
2	Yun S. Song, Rune B. Lyngsø, Jotun Hein	Counting All Possible Ancestral Configurations of Sample Sequences in Population Genetics.	IEEE/ACM Trans. Comput. Biology Bioinform.	2006	DBLP DOI BibTeX RDF	Ancestral configurations, enumeration, recombination, contingency table, coalescent
2	Shyh-Kwei Chen	An Exact Closed-Form Formula for d-Dimensional Quadtree Decomposition of Arbitrary Hyperrectangles.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	regular decomposition, geometric data, combinatorial enumeration, binary coding system, Quadtree
2	V. Baleva	The jump operation for structure degrees.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Structure degrees, Enumeration degrees, Degrees of structures, Reducibility, Degree, Jump
2	Hiro Ito, Kazuo Iwama, Tsuyoshi Osumi	Linear-Time Enumeration of Isolated Cliques.	ESA	2005	DBLP DOI BibTeX RDF
2	Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor	Experiences with Enumeration of Integer Projections of Parametric Polytopes.	CC	2005	DBLP DOI BibTeX RDF
2	Alexander A. Sapozhenko	Systems of Containers and Enumeration Problems.	SAGA	2005	DBLP DOI BibTeX RDF
2	António Morgado, João P. Marques Silva	Good Learning and Implicit Model Enumeration.	ICTAI	2005	DBLP DOI BibTeX RDF
2	Hiroki Arimura, Takeaki Uno	A Polynomial Space and Polynomial Delay Algorithm for Enumeration of Maximal Motifs in a Sequence.	ISAAC	2005	DBLP DOI BibTeX RDF
2	Iskander Sh. Kalimullin	On the Problems of Definability in the Enumeration Degrees.	CiE	2005	DBLP DOI BibTeX RDF