Search results for "enumeration"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	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
19	Colin N. Jones, Jan M. Maciejowski	Primal-Dual Enumeration for Multiparametric Linear Programming.	ICMS	2006	DBLP DOI BibTeX RDF
19	Kjell Wooding, Hugh C. Williams	Doubly-Focused Enumeration of Pseudosquares and Pseudocubes.	ANTS	2006	DBLP DOI BibTeX RDF
19	Boris Solon, Sergey Rozhkov	Enumeration Degrees of the Bounded Total Sets.	TAMC	2006	DBLP DOI BibTeX RDF
19	Boris Solon	Co-total Enumeration Degrees.	CiE	2006	DBLP DOI BibTeX RDF
19	Charles M. Harris	Enumeration Reducibility with Polynomial Time Bounds.	CiE	2006	DBLP DOI BibTeX RDF
19	Éric Monfroy, Carlos Castro 0001, Broderick Crawford	Adaptive Enumeration Strategies and Metabacktracks for Constraint Solving.	ADVIS	2006	DBLP DOI BibTeX RDF
19	Brahim Hamid, Mohamed Mosbah 0001	A Local Self-stabilizing Enumeration Algorithm.	DAIS	2006	DBLP DOI BibTeX RDF
19	Henning Fernau	edge dominating set: Efficient Enumeration-Based Exact Algorithms.	IWPEC	2006	DBLP DOI BibTeX RDF
19	Li Guo 0003, 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
19	Hiro Ito, Kazuo Iwama, Tsuyoshi Osumi	Linear-Time Enumeration of Isolated Cliques.	ESA	2005	DBLP DOI BibTeX RDF
19	Karen I. Aardal	Comments on the Paper: Attacking the Market Split Problem with Lattice Point Enumeration.	J. Comb. Optim.	2004	DBLP DOI BibTeX RDF	linear diophantine equations, lattice reformulation, integer programming
19	Taneli Mielikäinen	Implicit Enumeration of Patterns.	KDID	2004	DBLP DOI BibTeX RDF
19	Joselíto J. Chua, Asha Rao	An Image-Guided Heuristic for Planning an Exhaustive Enumeration.	HIS	2004	DBLP DOI BibTeX RDF
19	Peter Damaschke	Parameterized Enumeration, Transversals, and Imperfect Phylogeny Reconstruction.	IWPEC	2004	DBLP DOI BibTeX RDF
19	Nicolas Bonichon, Cyril Gavoille, Nicolas Hanusse	Canonical Decomposition of Outerplanar Maps and Application to Enumeration, Coding, and Generation.	WG	2003	DBLP DOI BibTeX RDF
19	Patricia A. Evans, Andrew D. Smith	Toward Optimal Motif Enumeration.	WADS	2003	DBLP DOI BibTeX RDF
19	Ethel Mokotoff, J. L. Jimeno	Heuristics Based on Partial Enumeration for the Unrelated Parallel Processor Scheduling Problem.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	scheduling, optimization, heuristics, mixed integer programming
19	John G. Klincewicz	Enumeration and Search Procedures for a Hub Location Problem with Economies of Scale.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF
19	Priyank Kalla, Maciej J. Ciesielski	A comprehensive approach to the partial scan problem using implicitstate enumeration.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
19	Gianluigi Greco, Sergio Greco, Ester Zumpano	STED: A System for Topic Enumeration and Distillation.	ITCC	2002	DBLP DOI BibTeX RDF	Web searching and mining, semi-structured Data, Information Processing on the Web, Databases and Information Retrieval
19	Jürg Nievergelt	Exhaustive Search, Combinatorial Optimization and Enumeration: Exploring the Potential of Raw Computing Power.	SOFSEM	2000	DBLP DOI BibTeX RDF
19	Andris Ambainis, Harry Buhrman, William I. Gasarch, Bala Kalyanasundaram, Leen Torenvliet	The Communication Complexity of Enumeration, Elimination, and Selection.	CCC	2000	DBLP DOI BibTeX RDF
19	Daniel Jackson 0001, Somesh Jha, Craig Damon	Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	model finding, relational specifications, model checking, formal specification, symmetry, object models, pruning, relational calculus
19	Michel Langevin, Sofiène Tahar, Zijian Zhou 0001, Xiaoyu Song, Eduard Cerny	Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration.	ICCD	1996	DBLP DOI BibTeX RDF
19	Ranga Vemuri, R. Kalyanaraman	Generation of design verification tests from behavioral VHDL programs using path enumeration and constraint programming.	IEEE Trans. Very Large Scale Integr. Syst.	1995	DBLP DOI BibTeX RDF
19	Zbigniew Chamski	Enumeration of dense non-convex iteration sets.	PDP	1995	DBLP DOI BibTeX RDF	dense non-convex iteration sets, algorithmic problems, iteration domains, loop structures, arbitrary unions, dense convex polyhedra, incremental construction, nested loop sequence, loop execution, parallel algorithms, parallel programming, parallel programming, set theory, polyhedron, scientific programs
19	Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi	Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
16	William R. Harris, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta	Program analysis via satisfiability modulo path programs.	POPL	2010	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, symbolic execution, path sensitivity, smt solvers, satisfiability solvers
16	Josephine P. K. Chu, Raviraj S. Adve, Andrew W. Eckford	Using the Bhattacharyya parameter for design and analysis of cooperative wireless systems.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
16	Bradley J. Wall, Bruce A. Conway	Genetic algorithms applied to the solution of hybrid optimal control problems in astrodynamics.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	Hybrid optimal control, Spacecraft trajectory optimization, Global trajectory optimization competition (GTOC), Bilevel programming problem (BLPP), Genetic algorithm
16	Andrea Sorbi	Strong Positive Reducibilities.	TAMC	2009	DBLP DOI BibTeX RDF
16	Feng Li	Second Derivative Approximation for Origin-Based Algorithm.	ICCS (1)	2009	DBLP DOI BibTeX RDF	Traffic Assignment, Origin-based Algorithm, Second Derivative, User Equilibrium
16	Chin-Chia Jane, Yih-Wenn Laih	A Practical Algorithm for Computing Multi-State Two-Terminal Reliability.	IEEE Trans. Reliab.	2008	DBLP DOI BibTeX RDF
16	Marília D. V. Braga, Marie-France Sagot, Céline Scornavacca, Eric Tannier	Exploring the Solution Space of Sorting by Reversals, with Experiments and an Application to Evolution.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	perfect sorting, sex chromosomes, evolution, genome rearrangements, sorting by reversals, common intervals, signed permutations
16	Masahiro Inuiguchi, Yukihiro Yoshioka	Several Reducts in Dominance-Based Rough Set Approach.	Interval / Probabilistic Uncertainty and Non-Classical Logics	2008	DBLP DOI BibTeX RDF
16	Andreas Karwath, Kristian Kersting, Niels Landwehr	Boosting Relational Sequence Alignments.	ICDM	2008	DBLP DOI BibTeX RDF
16	Thomas F. Kent	s-Degrees within e-Degrees.	TAMC	2008	DBLP DOI BibTeX RDF
16	Fedor V. Fomin, Fabrizio Grandoni 0001, Dieter Kratsch	Faster Steiner Tree Computation in Polynomial-Space.	ESA	2008	DBLP DOI BibTeX RDF
16	Tonglaga Bao, Michael D. Jones	Model Checking Abstract Components within Concrete Software Environments.	SPIN	2008	DBLP DOI BibTeX RDF
16	Nikolai Kosmatov	All-Paths TestGenerationfor Programs with Internal Aliases.	ISSRE	2008	DBLP DOI BibTeX RDF
16	Guangzhu Yu, Keqing Li, Shihuang Shao	Mining High Utility Itemsets in Large High Dimensional Data.	WKDD	2008	DBLP DOI BibTeX RDF
16	Ke Sun 0001, Lei Xu 0001	Bayesian Ying-Yang Learning on Orthogonal Binary Factor Analysis.	ICANN (1)	2008	DBLP DOI BibTeX RDF
16	Tara McIntosh, Sanjay Chawla	High Confidence Rule Mining for Microarray Analysis.	IEEE ACM Trans. Comput. Biol. Bioinform.	2007	DBLP DOI BibTeX RDF	high confidence rule mining, Data mining, association rules, microarray analysis
16	Z. W. Li, H. S. Hu, An R. Wang	Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
16	Jinyan Li 0001, Guimei Liu, Haiquan Li, Limsoon Wong	Maximal Biclique Subgraphs and Closed Pattern Pairs of the Adjacency Matrix: A One-to-One Correspondence and Mining Algorithms.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Graph algorithms, Mining methods and algorithms
16	Stefan Felsner, Florian Zickfeld	On the Number of alpha -Orientations.	WG	2007	DBLP DOI BibTeX RDF
16	Rupak Majumdar, Ru-Gang Xu	Directed test generation using symbolic grammars.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	concolic execution, grammar based testing, symbolic grammars, random testing, testing C programs
16	Marília D. V. Braga, Marie-France Sagot, Céline Scornavacca, Eric Tannier	The Solution Space of Sorting by Reversals.	ISBRA	2007	DBLP DOI BibTeX RDF
16	Minghua Zhang, Wynne Hsu, Mong-Li Lee	Finding Orientation-Sensitive Patterns in Snapshot Databases.	ICTAI (2)	2007	DBLP DOI BibTeX RDF
16	Rupak Majumdar, Ru-Gang Xu	Directed test generation using symbolic grammars.	ASE	2007	DBLP DOI BibTeX RDF	concolic execution, grammar based testing, symbolic grammars, random testing, testing C programs
16	Christian Komusiewicz, Falk Hüffner, Hannes Moser, Rolf Niedermeier	Isolation Concepts for Enumerating Dense Subgraphs.	COCOON	2007	DBLP DOI BibTeX RDF
16	Ravikishore Gandikota, Kaviraj Chopra, David T. Blaauw, Dennis Sylvester, Murat R. Becer	Top-k Aggressors Sets in Delay Noise Analysis.	DAC	2007	DBLP DOI BibTeX RDF
16	Fernando Tricas, Joaquin Ezpeleta	Computing minimal siphons in Petri net models of resource allocation systems: a parallel solution.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF
16	Kaviraj Chopra, Sarma B. K. Vrudhula	Efficient Symbolic Algorithms for Computing the Minimum and Bounded Leakage States.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
16	Harvind Samra, Zhi Ding 0001	New MIMO ARQ protocols and joint detection via sphere decoding.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
16	Gilles Audemard, Belaid Benhamou, Laurent Henocque	Predicting and Detecting Symmetries in FOL Finite Model Search.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	symmetry, constraint programming, finite models
16	Nan Du, Bin Wu 0001, Liutong Xu, Bai Wang 0001, Xin Pei	A Parallel Algorithm for Enumerating All Maximal Cliques in Complex Network.	ICDM Workshops	2006	DBLP DOI BibTeX RDF
16	Mariya Ivanova Soskova	A Generic Set That Does Not Bound a Minimal Pair.	TAMC	2006	DBLP DOI BibTeX RDF
16	Sanjay Jain 0001, Jochen Nessel, Frank Stephan 0001	Invertible Classes.	TAMC	2006	DBLP DOI BibTeX RDF
16	Jérémie Chalopin, Shantanu Das 0001, Nicola Santoro	Groupings and Pairings in Anonymous Networks.	DISC	2006	DBLP DOI BibTeX RDF
16	Masashi Kiyomi, Shuji Kijima, Takeaki Uno	Listing Chordal Graphs and Interval Graphs.	WG	2006	DBLP DOI BibTeX RDF
16	Zhiming Dai, Xianhua Dai, Jiang Wang 0014	Identifying Transcription Factor Binding Sites Based on a Neural Network.	ISNN (2)	2006	DBLP DOI BibTeX RDF
16	Ahmad Khodayari-Rostamabad, James P. Reilly	SVM Classifier Approach to Enumerate Directional Signals Impinging on an Array of Sensors.	CCECE	2006	DBLP DOI BibTeX RDF
16	Marco Terzer, Jörg Stelling	Accelerating the Computation of Elementary Modes Using Pattern Trees.	WABI	2006	DBLP DOI BibTeX RDF
16	Stefan Brecheisen, Hans-Peter Kriegel, Martin Pfeifle	Parallel Density-Based Clustering of Complex Objects.	PAKDD	2006	DBLP DOI BibTeX RDF
16	Sushmita Gupta, Venkatesh Raman 0001, Saket Saurabh 0001	Fast Exponential Algorithms for Maximum r-Regular Induced Subgraph Problems.	FSTTCS	2006	DBLP DOI BibTeX RDF
16	Xiushan Feng, Alan J. Hu	Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification.	DAC	2006	DBLP DOI BibTeX RDF	cutpoints, formal equivalence checking, software, RTL
16	Jianer Chen, Iyad A. Kanj, Jie Meng, Ge Xia, Fenghui Zhang	On the Effective Enumerability of NP Problems.	IWPEC	2006	DBLP DOI BibTeX RDF
16	Yun Chi, Yi Xia, Yirong Yang, Richard R. Muntz	Mining Closed and Maximal Frequent Subtrees from Databases of Labeled Rooted Trees.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF	closed frequent subtree, maximal frequent subtree, data mining, Trees, graph algorithms, mining methods and algorithms, frequent subtree
16	Leonid Khachiyan, Endre Boros, Konrad Borys, Khaled M. Elbassioni, Vladimir Gurvich, Kazuhisa Makino	Generating Cut Conjunctions and Bridge Avoiding Extensions in Graphs.	ISAAC	2005	DBLP DOI BibTeX RDF
16	Ken Satoh, Takeaki Uno	Enumerating Minimally Revised Specifications Using Dualization.	JSAI Workshops	2005	DBLP DOI BibTeX RDF
16	Peter Damaschke	On the Fixed-Parameter Enumerability of Cluster Editing.	WG	2005	DBLP DOI BibTeX RDF
16	Marco Falda	A Method for Characterizing Tractable Subsets of Qualitative Fuzzy Temporal Algebrae.	WILF	2005	DBLP DOI BibTeX RDF	Representation of Vague and Imprecise Knowledge, Fuzzy Sets, Possibility Theory
16	Yang Xu 0017, Kan-Lin Hsiung, Xin Li 0001, Ivan Nausieda, Stephen P. Boyd, Lawrence T. Pileggi	OPERA: optimization with ellipsoidal uncertainty for robust analog IC design.	DAC	2005	DBLP DOI BibTeX RDF	optimization, statistical
16	Maria Welleda Baldoni-Silva, Jesús A. De Loera, Michèle Vergne	Counting Integer Flows in Networks.	Found. Comput. Math.	2004	DBLP DOI BibTeX RDF	Integral flows, Flow polytopes, Lattice points, Rational function manipulation, Kostant partition function, Chambers, Residues, Transportation problems, Hyperplane arrangements
16	Irith Pomeranz, Sudhakar M. Reddy, Sandip Kundu	On the characterization and efficient computation of hard-to-detect bridging faults.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
16	Gao Cong, Kian-Lee Tan, Anthony K. H. Tung, Feng Pan	Mining Frequent Closed Patterns in Microarray Data.	ICDM	2004	DBLP DOI BibTeX RDF
16	Giacomo Bucci, Luigi Sassoli, Enrico Vicario	ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems.	QEST	2004	DBLP DOI BibTeX RDF
16	Endre Boros, Khaled M. Elbassioni, Vladimir Gurvich, Leonid Khachiyan, Kazuhisa Makino	Generating Paths and Cuts in Multi-pole (Di)graphs.	MFCS	2004	DBLP DOI BibTeX RDF
16	Marc R. C. van Dongen	Computing the Frequency of Partial Orders.	CP	2004	DBLP DOI BibTeX RDF
16	Kaviraj Chopra, Sarma B. K. Vrudhula, Sarvesh Bhardwaj	Efficient Algorithms for Identifying the Minimum Leakage States in CMOS Combinational Logic.	VLSI Design	2004	DBLP DOI BibTeX RDF
16	Shi-Yu Huang	A Symbolic Inject-and-Evaluate Paradigm for Byzantine Fault Diagnosis.	J. Electron. Test.	2003	DBLP DOI BibTeX RDF	diagnosis, symbolic simulation, Byzantine fault
16	Stacy J. Prowell, Jesse H. Poore	Foundations of Sequence-Based Software Specification.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	sequence-based specification, trace specification, consistency, completeness, correctness, requirements analysis, Software specification
16	Daniel Lima Ferrão, Gustavo Wilke, Ricardo Augusto da Luz Reis, José Luís Almada Güntzel	Improving Critical Path Identification in Functional Timing Analysis.	SBCCI	2003	DBLP DOI BibTeX RDF
16	Iwan Jensen	Counting Polyominoes: A Parallel Implementation for Cluster Computing.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
16	Aseem Agarwal, David T. Blaauw, Vladimir Zolotov, Sarma B. K. Vrudhula	Computation and Refinement of Statistical Bounds on Circuit Delay.	DAC	2003	DBLP DOI BibTeX RDF
16	Shi-Yu Huang	Speeding Up The Byzantine Fault Diagnosis Using Symbolic Simulation.	VTS	2002	DBLP DOI BibTeX RDF
16	Mohamed Ibrahim Abouelhoda, Enno Ohlebusch, Stefan Kurtz	Optimal Exact Strring Matching Based on Suffix Arrays.	SPIRE	2002	DBLP DOI BibTeX RDF
16	Giedrius Slivinskas, Christian S. Jensen, Richard T. Snodgrass	A Foundation for Conventional and Temporal Query Optimization Addressing Duplicates and Ordering.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	temporal algebra, query optimization, Temporal databases, transformation rules, duplicate elimination, coalescing
16	Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov	Optimal partitioners and end-case placers for standard-cell layout.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
16	Sergei Matveev	Computer Presentation of 3-Manifolds.	Digital and Image Geometry	2000	DBLP DOI BibTeX RDF
16	Jorge M. Pena, Arlindo L. Oliveira	A new algorithm for exact reduction of incompletely specified finite state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
16	Nobuo Kawaguchi, Hideki Katagiri, Katsuhiko Toyama, Yasuyoshi Inagaki	Ad Hoc Network System Based on Infrared Communication.	ICPP Workshops	1999	DBLP DOI BibTeX RDF	Infrared Communication, Distributed System, Ad hoc Network, Mobile Computing, Wireless Network, Network Protocol
16	Ulrich Stern, David L. Dill	Using Magnatic Disk Instead of Main Memory in the Murphi Verifier.	CAV	1998	DBLP DOI BibTeX RDF
16	Colin P. Williams, Alexander G. Gray	Automated Design of Quantum Circuits.	QCQC	1998	DBLP DOI BibTeX RDF
16	Keshav Pingali, Gianfranco Bilardi	Optimal Control Dependence Computation and the Roman Chariots Problem.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	compilers, program transformation, program optimization, control dependence
16	Ulrich Stern, David L. Dill	Parallelizing the Murphi Verifier.	CAV	1997	DBLP DOI BibTeX RDF
16	Rainer Schuler	A Note on Universal Distributions for Polynomial-Time Computable Distributions.	CCC	1997	DBLP DOI BibTeX RDF
16	Shyam Kapur, Gianfranco Bilardi	Language Learning from Stochastic Input.	COLT	1992	DBLP DOI BibTeX RDF