Search results for "enumeration"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Shubham Sahai, Rohit Sinha 0001, Pramod Subramanyan	Verification of Quantitative Hyperproperties Using Trace Enumeration Relations.	CoRR	2020	DBLP BibTeX RDF
11	Yeow Meng Chee, Tuvi Etzion, Han Mao Kiah, Alexander Vardy, Van Khu Vu, Eitan Yaakobi	Constrained de Bruijn Codes: Properties, Enumeration, Constructions, and Applications.	CoRR	2020	DBLP BibTeX RDF
11	Andreas Löhne	Approximate Vertex Enumeration.	CoRR	2020	DBLP BibTeX RDF
11	Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa	Polynomial Delay Enumeration for Minimal Steiner Problems.	CoRR	2020	DBLP BibTeX RDF
11	Pierre Bourhis, Alejandro Grez, Louis Jachiet, Cristian Riveros	Ranked enumeration of MSO logic on words.	CoRR	2020	DBLP BibTeX RDF
11	Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa	Efficient Constant-Factor Approximate Enumeration of Minimal Subsets for Monotone Properties with Cardinality Constraints.	CoRR	2020	DBLP BibTeX RDF
11	Katrin Casel, Tobias Friedrich 0001, Stefan Neubert, Markus L. Schmid	Shortest Distances as Enumeration Problem.	CoRR	2020	DBLP BibTeX RDF
11	Kazuya Haraguchi, Hiroshi Nagamochi	Polynomial-delay Enumeration Algorithms in Set Systems.	CoRR	2020	DBLP BibTeX RDF
11	Jinnan Piao, Kai Niu 0001, Jincheng Dai, Chao Dong 0002	Sphere Constraint based Enumeration Methods to Analyze the Minimum Weight Distribution of Polar Codes.	CoRR	2020	DBLP BibTeX RDF
11	Anita Liebenau, Nick Wormald	Asymptotic enumeration of digraphs and bipartite graphs by degree sequence.	CoRR	2020	DBLP BibTeX RDF
11	Huiyue Yi	Source Enumeration via RMT Estimator Based on Linear Shrinkage Estimation of Noise Eigenvalues Using Relatively Few Samples.	CoRR	2020	DBLP BibTeX RDF
11	Ravi Goyal, Victor De Gruttola	Recursive Formula for Labeled Graph Enumeration.	CoRR	2020	DBLP BibTeX RDF
11	Kazuya Haraguchi, Hiroshi Nagamochi	Design of Polynomial-delay Enumeration Algorithms in Transitive Systems.	CoRR	2020	DBLP BibTeX RDF
11	Suman Banerjee 0002, Bithika Pal	First Stretch then Shrink and Bulk: A Two Phase Approach for Enumeration of Maximal $(Δ, γ)$\mbox{-}Cliques of a Temporal Network.	CoRR	2020	DBLP BibTeX RDF
11	Zhaokang Wang, Weiwei Hu, Chunfeng Yuan, Rong Gu, Yihua Huang 0001	Distributed Subgraph Enumeration via Backtracking-based Framework.	CoRR	2020	DBLP BibTeX RDF
11	Florian Ingels, Romain Azaïs	Enumeration of Unordered Forests.	CoRR	2020	DBLP BibTeX RDF
11	Takaaki Nishimoto, Yasuo Tabei	Enumeration of LCP values, LCP intervals and Maximal repeats in BWT-runs Bounded Space.	CoRR	2020	DBLP BibTeX RDF
11	Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Matthias Niewerth	Constant-Delay Enumeration for Nondeterministic Document Spanners.	CoRR	2020	DBLP BibTeX RDF
11	Apurba Das, Seyed-Vahid Sanei-Mehri, Srikanta Tirthapura	Shared-Memory Parallel Maximal Clique Enumeration from Static and Dynamic Graphs.	CoRR	2020	DBLP BibTeX RDF
11	Zhengmin Lai, You Peng, Shiyu Yang, Xuemin Lin 0001, Wenjie Zhang 0001	PEFP: Efficient k-hop Constrained s-t Simple Path Enumeration on FPGA.	CoRR	2020	DBLP BibTeX RDF
11	Caroline Brosse, Aurélie Lagoutte, Vincent Limouzy, Arnaud Mary, Lucas Pastor	Efficient enumeration of maximal split subgraphs and sub-cographs and related classes.	CoRR	2020	DBLP BibTeX RDF
11	Martin Muñoz, Cristian Riveros	Constant-delay enumeration algorithms for document spanners over nested documents.	CoRR	2020	DBLP BibTeX RDF
11	Donghyun Kim	Sharing Nim and Enumeration of Nim Characteristics.	CoRR	2020	DBLP BibTeX RDF
11	Yu Nakahata, Takashi Horiyama, Shin-ichi Minato, Katsuhisa Yamanaka	Compiling Crossing-free Geometric Graphs with Connectivity Constraint for Fast Enumeration, Random Sampling, and Optimization.	CoRR	2020	DBLP BibTeX RDF
11	Jovan Blanusa, Radu Stoica, Paolo Ienne, Kubilay Atasu	Many-Core Clique Enumeration with Fast Set Intersections.	Proc. VLDB Endow.	2020	DBLP BibTeX RDF
11	Johann Birnick, Thomas Bläsius, Tobias Friedrich 0001, Felix Naumann, Thorsten Papenbrock, Martin Schirneck	Hitting Set Enumeration with Partial Information for Unique Column Combination Discovery.	Proc. VLDB Endow.	2020	DBLP BibTeX RDF
11	Nikolaos Tziavelis, Deepak Ajwani, Wolfgang Gatterbauer, Mirek Riedewald, Xiaofeng Yang	Optimal Algorithms for Ranked Enumeration of Answers to Full Conjunctive Queries. (PDF / PS)	Proc. VLDB Endow.	2020	DBLP DOI BibTeX RDF
11	Petr A. Golovach, Pinar Heggernes, Dieter Kratsch, Reza Saei	Enumeration of minimal connected dominating sets for chordal graphs.	Discret. Appl. Math.	2020	DBLP DOI BibTeX RDF
11	Xu Wang, Xuxu Zhao, Haiyuan Yao	Structure and enumeration results of matchable Lucas cubes.	Discret. Appl. Math.	2020	DBLP DOI BibTeX RDF
11	Noboru Kunihiro, Atsushi Takayasu	Worst case short lattice vector enumeration on block reduced bases of arbitrary blocksizes.	Discret. Appl. Math.	2020	DBLP DOI BibTeX RDF
11	Marisa R. Gaetz, Caleb Ji	Enumeration and extensions of word-representants.	Discret. Appl. Math.	2020	DBLP DOI BibTeX RDF
11	Apurba Das, Seyed-Vahid Sanei-Mehri, Srikanta Tirthapura	Shared-memory Parallel Maximal Clique Enumeration from Static and Dynamic Graphs.	ACM Trans. Parallel Comput.	2020	DBLP DOI BibTeX RDF
11	Steven Klee, Matthew T. Stamps	Linear Algebraic Techniques for Spanning Tree Enumeration.	Am. Math. Mon.	2020	DBLP DOI BibTeX RDF
11	Luk Knapen, Irith Ben-Arroyo Hartman, Tom Bellemans	Using path decomposition enumeration to enhance route choice models.	Future Gener. Comput. Syst.	2020	DBLP DOI BibTeX RDF
11	Martin R. Albrecht, Shi Bai 0001, Pierre-Alain Fouque, Paul Kirchner, Damien Stehlé, Weiqiang Wen	Faster Enumeration-based Lattice Reduction: Root Hermite Factor k^(1/(2k)) in Time k^(k/8 + o(k)).	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
11	Martin R. Albrecht, Shi Bai 0001, Jianwei Li, Joe Rowell	Lattice Reduction with Approximate Enumeration Oracles: Practical Algorithms and Concrete Performance.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
11	David J. Rosenbaum 0001	Beating the Generator-Enumeration Bound for Solvable-Group Isomorphism.	ACM Trans. Comput. Theory	2020	DBLP DOI BibTeX RDF
11	Alan D. Sokal	A remark on the enumeration of rooted labeled trees.	Discret. Math.	2020	DBLP DOI BibTeX RDF
11	Sherry H. F. Yan, Danna Yan, Hao Zhou	A bijective enumeration of tiered trees.	Discret. Math.	2020	DBLP DOI BibTeX RDF
11	Zohair Usfoor, Katharina Kaufmann, Al Shahriar Hossain Rakib, Roland Hergenröder, Victoria Shpacovitch	Features of Sizing and Enumeration of Silica and Polystyrene Nanoparticles by Nanoparticle Tracking Analysis (NTA).	Sensors	2020	DBLP DOI BibTeX RDF
11	Dipendu Maity, Ashish Kumar Upadhyay	Corrigendum to "On the enumeration of a class of toroidal graphs" [Contrib. Discrete Math. 13 (2018), no. 1, 79-119].	Contributions Discret. Math.	2020	DBLP BibTeX RDF
11	Fernanda I. Saldívar-González, C. Sebastian Huerta-García, José L. Medina-Franco	Chemoinformatics-based enumeration of chemical libraries: a tutorial.	J. Cheminformatics	2020	DBLP DOI BibTeX RDF
11	Ryosuke Shibukawa, Shoichi Ishida, Kazuki Yoshizoe, Kunihiro Wasa, Kiyosei Takasu, Yasushi Okuno, Kei Terayama, Koji Tsuda	CompRet: a comprehensive recommendation framework for chemical synthesis planning with algorithmic enumeration.	J. Cheminformatics	2020	DBLP DOI BibTeX RDF
11	Adam Dzedzej, Barbara Wolnik, Anna Nenca, Jan M. Baetens, Bernard De Baets	Efficient enumeration of three-state two-dimensional number-conserving cellular automata.	Inf. Comput.	2020	DBLP DOI BibTeX RDF
11	Julien Bensmail, Soumen Nandi, Mithun Roy, Sagnik Sen 0001	Enumeration of edge-critical underlying absolute planar cliques for signed graphs.	Australas. J Comb.	2020	DBLP BibTeX RDF
11	Fernando Florenzano, Cristian Riveros, Martín Ugarte, Stijn Vansummeren, Domagoj Vrgoc	Efficient Enumeration Algorithms for Regular Document Spanners.	ACM Trans. Database Syst.	2020	DBLP DOI BibTeX RDF
11	Eimear Byrne, Alberto Ravagnani	Partition-balanced families of codes and asymptotic enumeration in coding theory.	J. Comb. Theory, Ser. A	2020	DBLP DOI BibTeX RDF
11	Lijun Chang	Efficient maximum clique computation and enumeration over large sparse graphs.	VLDB J.	2020	DBLP DOI BibTeX RDF
11	Jia-Li Du, Yan-Quan Feng, Pablo Spiga	On the existence and the enumeration of bipartite regular representations of Cayley graphs over abelian groups.	J. Graph Theory	2020	DBLP DOI BibTeX RDF
11	Arne Meier	Parametrised enumeration.		2020	DOI RDF
11	Liron Sade, Sara Cohen	Diverse Enumeration of Maximal Cliques.	CIKM	2020	DBLP DOI BibTeX RDF
11	Abir Farouzi, Ladjel Bellatreche, Carlos Ordonez 0001, Gopal Pandurangan, Mimoun Malki	PandaSQL: Parallel Randomized Triangle Enumeration with SQL Queries.	CIKM	2020	DBLP DOI BibTeX RDF
11	Jaroslav Bendík, Ivana Cerna	Rotation Based MSS/MCS Enumeration.	LPAR	2020	DBLP DOI BibTeX RDF
11	Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson	Improved Geometric Path Enumeration for Verifying ReLU Neural Networks.	CAV (1)	2020	DBLP DOI BibTeX RDF
11	Shubham Sahai, Pramod Subramanyan, Rohit Sinha 0001	Verification of Quantitative Hyperproperties Using Trace Enumeration Relations.	CAV (1)	2020	DBLP DOI BibTeX RDF
11	Dat Hoang Tran, Ryuhei Uehara	Efficient Enumeration of Non-isomorphic Ptolemaic Graphs.	WALCOM	2020	DBLP DOI BibTeX RDF
11	Yiyan Li, Hemanth Cherukury, Jan Zimak, Jacob Harrison, Ellena Peterson, Weian Zhao	Enumeration of Ampicillin-Resistant E. Coli in Blood Using Droplet Microfluidics and High-Speed Image Processing.	ISBI	2020	DBLP DOI BibTeX RDF
11	Gianluca Martino, Heinz Riener, Görschwin Fey	Revisiting Explicit Enumeration for Exact Synthesis.	DSD	2020	DBLP DOI BibTeX RDF
11	Zi Chen, Long Yuan, Xuemin Lin 0001, Lu Qin 0001, Jianye Yang	Efficient Maximal Balanced Clique Enumeration in Signed Networks.	WWW	2020	DBLP DOI BibTeX RDF
11	Simon S. Woo, Hanbin Jang, Woojung Ji, Hyoungshick Kim	I've Got Your Packages: Harvesting Customers' Delivery Order Information using Package Tracking Number Enumeration Attacks.	WWW	2020	DBLP DOI BibTeX RDF
11	Thomas Guyet, Philippe Besnard, Ahmed Samet, Nasreddine Ben Salha, Nicolas Lachiche	Énumération des occurrences d'une chronique.	EGC	2020	DBLP BibTeX RDF
11	Vaibhav Garg, Pere Giménez-Febrer, Alba Pagès-Zamora, Ignacio Santamaría	Source Enumeration via Toeplitz Matrix Completion.	ICASSP	2020	DBLP DOI BibTeX RDF
11	Hung-Min Hsu, Ziyi Xie, Jenq-Neng Hwang, Andrew Berdahl	Robust Fish Enumeration by Multiple Object Tracking in Overhead Videos.	ICPR Workshops (2)	2020	DBLP DOI BibTeX RDF
11	Abir Farouzi, Ladjel Bellatreche, Carlos Ordonez 0001, Gopal Pandurangan, Mimoun Malki	Enumération Randomisée des Triangles dans des Graphes à Grande Echelle à base de SQL.	EDA	2020	DBLP BibTeX RDF
11	Alessio Conte, Pierluigi Crescenzi, Andrea Marino 0001, Giulia Punzi	Enumeration of s-d Separators in DAGs with Application to Reliability Analysis in Temporal Graphs.	MFCS	2020	DBLP DOI BibTeX RDF
11	Wentian Guo, Yuchen Li 0001, Mo Sha 0002, Bingsheng He, Xiaokui Xiao, Kian-Lee Tan	GPU-Accelerated Subgraph Enumeration on Partitioned Graphs.	SIGMOD Conference	2020	DBLP DOI BibTeX RDF
11	Arnaud Durand 0001	Fine-Grained Complexity Analysis of Queries: From Decision to Counting and Enumeration.	PODS	2020	DBLP DOI BibTeX RDF
11	Nofar Carmeli, Shai Zeevi, Christoph Berkholz, Benny Kimelfeld, Nicole Schweikardt	Answering (Unions of) Conjunctive Queries using Random Access and Random-Order Enumeration.	PODS	2020	DBLP DOI BibTeX RDF
11	Abir Farouzi, Ladjel Bellatreche, Carlos Ordonez 0001, Gopal Pandurangan, Mimoun Malki	A Scalable Randomized Algorithm for Triangle Enumeration on Graphs Based on SQL Queries.	DaWaK	2020	DBLP DOI BibTeX RDF
11	Jovan Blanusa, Radu Stoica, Paolo Ienne, Kubilay Atasu	Parallelizing Maximal Clique Enumeration on Modern Manycore Processors.	IPDPS Workshops	2020	DBLP DOI BibTeX RDF
11	Olivier Bodini, Antoine Genitrini, Mehdi Naima, Alexandros Singh	Families of Monotonic Trees: Combinatorial Enumeration and Asymptotics.	CSR	2020	DBLP DOI BibTeX RDF
11	Raphaël Charbey, Cécile Bothorel, Laurent Brisson	Énumération de motifs dans un graphe d'évolution de communautés (Pattern mining in community evolution graph).	MARAMI	2020	DBLP BibTeX RDF
11	Hadhemi Boubaker, Wafa Karoui	Improved Overlapping Community Detection in Networks based on Maximal Cliques Enumeration.	KES	2020	DBLP DOI BibTeX RDF
11	Miyuki Koshimura, Ken Satoh	A Simple yet Efficient MCSes Enumeration with SAT Oracles.	ACIIDS (1)	2020	DBLP DOI BibTeX RDF
11	Hanbin Jang, Woojoong Ji, Simon S. Woo, Hyoungshick Kim	Design and Evaluation of Enumeration Attacks on Package Tracking Systems.	ACISP	2020	DBLP DOI BibTeX RDF
11	Jaroslav Bendík, Ivana Cerná	MUST: Minimal Unsatisfiable Subsets Enumeration Tool.	TACAS (1)	2020	DBLP DOI BibTeX RDF
11	Wei Yang, Anmin Fu, Hailong Zhang 0001, Chanying Huang	Improving Efficiency of Key Enumeration Based on Side-Channel Analysis.	TrustCom	2020	DBLP DOI BibTeX RDF
11	Thomas Espitau, Antoine Joux, Natalia Kharchenko	On a Dual/Hybrid Approach to Small Secret LWE - A Dual/Enumeration Technique for Learning with Errors and Application to Security Estimates of FHE Schemes.	INDOCRYPT	2020	DBLP DOI BibTeX RDF
11	Jaroslav Bendík, Ivana Cerná	Replication-Guided Enumeration of Minimal Unsatisfiable Subsets.	CP	2020	DBLP DOI BibTeX RDF
11	Yuki Maekawa, Tsuyoshi Minakawa, Tomoe Tomiyama	An Enumeration-Based Approach for Flexible Railway Crew Rescheduling in Disruption Management.	ITSC	2020	DBLP DOI BibTeX RDF
11	Russell Miller 0001	Non-coding Enumeration Operators.	CiE	2020	DBLP DOI BibTeX RDF
11	Panagiotis Charalampopoulos, Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Tomasz Walen, Wiktor Zuba	Efficient Enumeration of Distinct Factors Using Package Representations.	SPIRE	2020	DBLP DOI BibTeX RDF
11	Martin R. Albrecht, Shi Bai 0001, Pierre-Alain Fouque, Paul Kirchner, Damien Stehlé, Weiqiang Wen	Faster Enumeration-Based Lattice Reduction: Root Hermite Factor k1/(2k) Time kk/8+o(k).	CRYPTO (2)	2020	DBLP DOI BibTeX RDF
11	Tengkai Yu, Venkatesh Srinivasan 0001, Alex Thomo	Triangle Enumeration on Massive Graphs Using AWS Lambda Functions.	INCoS	2020	DBLP DOI BibTeX RDF
11	Naveed Ahmed Azam, Aleksandar Shurbevski, Hiroshi Nagamochi	On the Enumeration of Minimal Non-pairwise Compatibility Graphs.	COCOON	2020	DBLP DOI BibTeX RDF
11	Aman Abidi, Rui Zhou 0001, Lu Chen 0008, Chengfei Liu	Pivot-based Maximal Biclique Enumeration.	IJCAI	2020	DBLP DOI BibTeX RDF
11	Eric Timmons, Brian C. Williams	Best-first Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation (Extended Abstract). (Journal track)	IJCAI	2020	DBLP DOI BibTeX RDF
11	Yacine Izza, Saïd Jabbour, Badran Raddaoui, Abdelhamid Boudane	On the Enumeration of Association Rules: A Decomposition-based Approach.	IJCAI	2020	DBLP DOI BibTeX RDF
11	Shishan Yang, Laura M. Wolf, Marcus Baum	Marginal Association Probabilities for Multiple Extended Objects without Enumeration of Measurement Partitions.	FUSION	2020	DBLP DOI BibTeX RDF
11	Mihran Tuceryan, Anish N. Hemmady, Craig Schebler, Alpha Alex, Ashay D. Bhatwadekar	Automated computer-based enumeration of acellular capillaries for assessment of diabetic retinopathy.	Medical Imaging: Biomedical Applications in Molecular, Structural, and Functional Imaging	2020	DBLP DOI BibTeX RDF
11	Yudi Santoso, Venkatesh Srinivasan 0001, Alex Thomo	Efficient Enumeration of Four Node Graphlets at Trillion-Scale.	EDBT	2020	DBLP DOI BibTeX RDF
11	Nofar Carmeli	The Power of Implicit Acyclicity in the Enumeration Complexity of Database Queries.		2020	RDF
11	Qing Pan, Chao Mei, Nili Tian, Bingo Wing-Kuen Ling, Everett X. Wang	Source Enumeration Based on a Uniform Circular Array in a Determined Case.	IEEE Trans. Veh. Technol.	2019	DBLP DOI BibTeX RDF
11	Mario Alviano, Carmine Dodaro	Model Enumeration via Assumption Literals.	Fundam. Informaticae	2019	DBLP DOI BibTeX RDF
11	Quang Nhat Le, Sinai Robins, Christophe Vignat, Tanay V. Wakhare	A Continuous Analogue of Lattice Path Enumeration.	Electron. J. Comb.	2019	DBLP DOI BibTeX RDF
11	Rosena R. X. Du, Xiaojie Fan, Yue Zhao	Enumeration on Row-Increasing Tableaux of Shape 2 × n.	Electron. J. Comb.	2019	DBLP DOI BibTeX RDF
11	Robert Granger	On the enumeration of irreducible polynomials over GF(q) with prescribed coefficients.	Finite Fields Their Appl.	2019	DBLP DOI BibTeX RDF
11	Danilo Carastan-Santos, David Correa Martins Jr., Siang W. Song, Luiz C. S. Rozante, Raphael Y. de Camargo	A hybrid CPU-GPU-MIC algorithm for minimal hitting set enumeration.	Concurr. Comput. Pract. Exp.	2019	DBLP DOI BibTeX RDF
11	Adam Bohn, Yuri Faenza, Samuel Fiorini, Vissarion Fisikopoulos, Marco Macchia, Kanstantsin Pashkovich	Enumeration of 2-level polytopes.	Math. Program. Comput.	2019	DBLP DOI BibTeX RDF
11	Dhruv Mubayi, Caroline Terry	Discrete Metric Spaces: Structure, Enumeration, and 0-1 Laws.	J. Symb. Log.	2019	DBLP DOI BibTeX RDF