Search results for "enumeration"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Evgeniy Krasko, Alexander Omelchenko	Enumeration of unsensed r-regular maps on the projective plane and the Klein bottle.	Discret. Math.	2021	DBLP DOI BibTeX RDF
11	Xiaomei Chen	Enumeration of row-increasing tableaux of two-row skew shapes.	Discret. Math.	2021	DBLP DOI BibTeX RDF
11	Lin Yang, Sheng-Liang Yang	Enumeration of Lattice paths with infinite types of steps and the Chung-Feller property.	Discret. Math.	2021	DBLP DOI BibTeX RDF
11	Pablo Rodríguez-Mier, Nathalie Poupin, Carlo de Blasio, Laurent Le Cam, Fabien Jourdan	DEXOM: Diversity-based enumeration of optimal context-specific metabolic networks.	PLoS Comput. Biol.	2021	DBLP DOI BibTeX RDF
11	Jukka Pajunen, Tomi Janhunen	Solution Enumeration by Optimality in Answer Set Programming.	Theory Pract. Log. Program.	2021	DBLP DOI BibTeX RDF
11	Hristo Ganchev, Andrey Sariev	The automorphism group and definability of the jump operator in the ømega-enumeration degrees.	Arch. Math. Log.	2021	DBLP DOI BibTeX RDF
11	Gabriele Balletti	Enumeration of Lattice Polytopes by Their Volume.	Discret. Comput. Geom.	2021	DBLP DOI BibTeX RDF
11	Pritika Kumari Sharma, Akansha Pio Britto, Nidhi Aggarwal, Barry Hughes	Raised Dot Enumeration Via Haptic Exploration.	IEEE Trans. Haptics	2021	DBLP DOI BibTeX RDF
11	Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Matthias Niewerth	Constant-Delay Enumeration for Nondeterministic Document Spanners.	ACM Trans. Database Syst.	2021	DBLP DOI BibTeX RDF
11	Nofar Carmeli, Markus Kröll	On the Enumeration Complexity of Unions of Conjunctive Queries.	ACM Trans. Database Syst.	2021	DBLP DOI BibTeX RDF
11	Hendrik Molter, Rolf Niedermeier, Malte Renken	Isolation concepts applied to temporal clique enumeration.	Netw. Sci.	2021	DBLP DOI BibTeX RDF
11	You Peng, Xuemin Lin 0001, Ying Zhang 0001, Wenjie Zhang 0001, Lu Qin 0001, Jingren Zhou	Efficient Hop-constrained s-t Simple Path Enumeration.	VLDB J.	2021	DBLP DOI BibTeX RDF
11	Haochen Sun, Despoina Perouli	All Pairs Routing Path Enumeration using Latin Multiplication and Julia.	ICNCC	2021	DBLP DOI 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.	ICDE	2021	DBLP DOI BibTeX RDF
11	Kazuaki Yamazaki, Mengze Qian, Ryuhei Uehara	Efficient Enumeration of Non-isomorphic Distance-Hereditary Graphs and Ptolemaic Graphs.	WALCOM	2021	DBLP DOI BibTeX RDF
11	Michiel Van Lancker, Greet Vanden Berghe, Tony Wauters	Neighborhood Enumeration in Local Search Metaheuristics.	OLA	2021	DBLP DOI BibTeX RDF
11	Yitong Lu, Anuruddha Bhattacharjee, Daniel Biediger, MinJun Kim 0001, Aaron T. Becker	Enumeration of Polyominoes & Polycubes Composed of Magnetic Cubes.	IROS	2021	DBLP DOI BibTeX RDF
11	Suman Banerjee 0002, Bithika Pal	A Two-Phase Approach for Enumeration of Maximal $(\varDelta , \gamma )$-Cliques of a Temporal Network.	DEXA (2)	2021	DBLP DOI BibTeX RDF
11	Takaaki Nishimoto, Yasuo Tabei	R-enum: Enumeration of Characteristic Substrings in BWT-runs Bounded Space.	CPM	2021	DBLP DOI BibTeX RDF
11	Spencer Giddens, Marco A. C. Gomes, João P. Vilela, José Luís Santos, Willie K. Harrison	Enumeration of the Degree Distribution Space for Finite Block Length LDPC Codes.	ICC	2021	DBLP DOI BibTeX RDF
11	Pankaj K. Agarwal, Xiao Hu 0005, Stavros Sintos, Jun Yang 0001	Dynamic Enumeration of Similarity Joins.	ICALP	2021	DBLP DOI BibTeX RDF
11	Brandon K. Ashley, Umer Hassan	Frequency-Time Domain (FTD) Impedance Data Analysis to Improve Accuracy of Microparticle Enumeration in a Microfluidic Electronic Counter.	EMBC	2021	DBLP DOI BibTeX RDF
11	Bastien Sérée, Loïg Jezequel, Didier Lime	An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs.	LATA	2021	DBLP DOI BibTeX RDF
11	Zhengyi Yang 0001, Longbin Lai, Xuemin Lin 0001, Kongzhang Hao, Wenjie Zhang 0001	HUGE: An Efficient and Scalable Subgraph Enumeration System.	SIGMOD Conference	2021	DBLP DOI BibTeX RDF
11	Shixuan Sun, Yuhang Chen, Bingsheng He, Bryan Hooi	PathEnum: Towards Real-Time Hop-Constrained s-t Path Enumeration.	SIGMOD Conference	2021	DBLP DOI BibTeX RDF
11	Su-Hyeon Kim, Hyeonseung Im, Sang-Ki Ko	Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis.	CIAA	2021	DBLP DOI BibTeX RDF
11	Allison Sullivan	HawkEye: User-Guided Enumeration of Scenarios.	ISSRE	2021	DBLP DOI BibTeX RDF
11	Christoph Berkholz, Maximilian Merz	Probabilistic Databases under Updates: Boolean Query Evaluation and Ranked Enumeration.	PODS	2021	DBLP DOI BibTeX RDF
11	Eric Huang, Xianyi Cheng, Matthew T. Mason	Efficient Contact Mode Enumeration in 3D.	WAFR	2021	DBLP DOI BibTeX RDF
11	Gabrielle De Micheli, Pierrick Gaudry, Cécile Pierrot	Lattice Enumeration for Tower NFS: A 521-Bit Discrete Logarithm Computation.	ASIACRYPT (1)	2021	DBLP DOI BibTeX RDF
11	Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang 0001	Skeletal approximation enumeration for SMT solver testing.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
11	Antoine Genitrini, Martin Pépin, Alfredo Viola	Unlabelled ordered DAGs and labelled DAGs: constructive enumeration and uniform random sampling.	LAGOS	2021	DBLP DOI BibTeX RDF
11	Tianyi Wang 0006, Shengzhi Qin, Kam-Pui Chow	Towards Vulnerability Types Classification Using Pure Self-Attention: A Common Weakness Enumeration Based Approach.	CSE	2021	DBLP DOI BibTeX RDF
11	Ming Hu 0003, Jiepin Ding, Min Zhang 0002, Frédéric Mallet, Mingsong Chen	Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning.	RTSS	2021	DBLP DOI BibTeX RDF
11	Samuel Teuber, Marko Kleine Büning, Philipp Kern, Carsten Sinz	Geometric Path Enumeration for Equivalence Verification of Neural Networks.	ICTAI	2021	DBLP DOI BibTeX RDF
11	Kazuki Yamamura, Yuntao Wang 0002, Eiichiro Fujisaki	Improved Lattice Enumeration Algorithms by Primal and Dual Reordering Methods.	ICISC	2021	DBLP DOI BibTeX RDF
11	Shaleen Deep, Xiao Hu 0005, Paraschos Koutris	Enumeration Algorithms for Conjunctive Queries with Projection.	ICDT	2021	DBLP DOI BibTeX RDF
11	Pierre Bourhis, Alejandro Grez, Louis Jachiet, Cristian Riveros	Ranked Enumeration of MSO Logic on Words.	ICDT	2021	DBLP DOI BibTeX RDF
11	Shaleen Deep, Paraschos Koutris	Ranked Enumeration of Conjunctive Query Results.	ICDT	2021	DBLP DOI BibTeX RDF
11	Mikolás Janota, Haniel Barbosa, Pascal Fontaine, Andrew Reynolds 0001	Fair and Adventurous Enumeration of Quantifier Instantiations.	FMCAD	2021	DBLP DOI BibTeX RDF
11	Aly Ahmed, Keanelek Enns, Alex Thomo	Triangle Enumeration for Billion-Scale Graphs in RDBMS.	AINA (2)	2021	DBLP DOI BibTeX RDF
11	Martin R. Albrecht, Shi Bai 0001, Jianwei Li, Joe Rowell	Lattice Reduction with Approximate Enumeration Oracles - Practical Algorithms and Concrete Performance.	CRYPTO (2)	2021	DBLP DOI BibTeX RDF
11	Xiaozhou Liu, Yudi Santoso, Venkatesh Srinivasan 0001, Alex Thomo	Distributed Enumeration of Four Node Graphlets at Quadrillion-Scale.	SSDBM	2021	DBLP DOI BibTeX RDF
11	Liujun Wang, Yanyan Shen	BOUNCE: An Efficient Selective Enumeration Approach for Nested Named Entity Recognition.	APWeb/WAIM (2)	2021	DBLP DOI BibTeX RDF
11	F. Richard Guo, Emilija Perkovic	Minimal enumeration of all possible total effects in a Markov equivalence class.	AISTATS	2021	DBLP BibTeX RDF
11	Vasiliki Liagkou, Panagiotis E. Nastou, Paul G. Spirakis, Yannis C. Stamatiou	Effective Enumeration of Infinitely Many Programs that Evade Formal Malware Analysis.	CSCML	2021	DBLP DOI BibTeX RDF
11	Ammrish Singh Beker Singh, Yusnita Yusof, Yogeswaran Nathan	EAGLE: GUI-Based Penetration Testing Tool for Scanning and Enumeration.	DeSE	2021	DBLP DOI BibTeX RDF
11	Ali Baran Tasdemir, Lale Özkahya	Learning Heuristics for the Maximum Clique Enumeration Problem Using Higher-Order Graph Structures.	SIU	2021	DBLP DOI BibTeX RDF
11	Yu Nakahata	Studies on Implicit Graph Enumeration Using Decision Diagrams.		2021	RDF
11	Naveed Ahmed Azam	On Enumeration of Tree-Like Graphs and Pairwise Compatibility Graphs.		2021	RDF
11	Andre Droschinsky	Tree comparison: enumeration and application to cheminformatics		2021	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.	IEEE Trans. Veh. Technol.	2020	DBLP DOI BibTeX RDF
11	Christoph Berkholz, Fabian Gerhardt, Nicole Schweikardt	Constant delay enumeration for conjunctive queries: a tutorial.	ACM SIGLOG News	2020	DBLP DOI BibTeX RDF
11	José Núñez Ares, Peter Goos	Enumeration and Multicriteria Selection of Orthogonal Minimally Aliased Response Surface Designs.	Technometrics	2020	DBLP DOI BibTeX RDF
11	Christophe Guyeux, Jean-Claude Charr, Jacques Bou Abdo, Jacques Demerjian	Advances in the enumeration of foldable self-avoiding walks.	Int. J. Comput. Sci. Eng.	2020	DBLP DOI BibTeX RDF
11	Pablo Spiga	On the existence of graphical Frobenius representations and their asymptotic enumeration.	J. Comb. Theory, Ser. B	2020	DBLP DOI BibTeX RDF
11	Mikhail Isaev, Tejas Iyer, Brendan D. McKay	Asymptotic Enumeration of Orientations of a Graph as a Function of the Out-Degree Sequence.	Electron. J. Comb.	2020	DBLP DOI BibTeX RDF
11	Mitchel T. Keller, Stephen J. Young	Hereditary Semiorders and Enumeration of Semiorders by Dimension.	Electron. J. Comb.	2020	DBLP DOI BibTeX RDF
11	Li Xiao, Chunlong Luo, Tianqi Yu, Yufan Luo, Manqing Wang, Fuhai Yu, Yinhao Li, Chan Tian, Jie Qiao	DeepACEv2: Automated Chromosome Enumeration in Metaphase Cell Images Using Deep Convolutional Neural Networks.	IEEE Trans. Medical Imaging	2020	DBLP DOI BibTeX RDF
11	Pranjal Awasthi, Bahman Kalantari, Yikai Zhang	Robust vertex enumeration for convex hulls in high dimensions.	Ann. Oper. Res.	2020	DBLP DOI BibTeX RDF
11	Jonathan D. H. Smith, Stefanie G. Wang	On the enumeration and asymptotic growth of free quasigroup words.	Int. J. Algebra Comput.	2020	DBLP DOI BibTeX RDF
11	Yuan Cao 0001, Yonglin Cao, Hai Q. Dinh 0001, Fang-Wei Fu 0001, Fanghui Ma	Construction and enumeration for self-dual cyclic codes of even length over F2m+uF2m.	Finite Fields Their Appl.	2020	DBLP DOI BibTeX RDF
11	Go Kato, Shin-ichi Minato	Enumeration of Associative Magic Squares of Order 7.	J. Inf. Process.	2020	DBLP DOI BibTeX RDF
11	Kenneth E. Caviness, Camille Morrow, Christen Case, Victoria Kratzke	An Improved Generalized Enumeration of Substitution Systems.	Complex Syst.	2020	DBLP DOI BibTeX RDF
11	Gregory Emmett Coxson	Enumeration and Generation of $\rm PSL$ Equivalence Classes for Quad-Phase Codes of Odd Length.	IEEE Trans. Aerosp. Electron. Syst.	2020	DBLP DOI BibTeX RDF
11	Yeguang Sun, Kai Hou, Hongjie Jia, Jusong Rim, Dan Wang, Yunfei Mu, Xiaodan Yu, Lewei Zhu	An Incremental-Variable-Based State Enumeration Method for Power System Operational Risk Assessment Considering Safety Margin.	IEEE Access	2020	DBLP DOI BibTeX RDF
11	Yuan Cao 0001, Yonglin Cao, Hai Q. Dinh 0001, Tushar Bag, Woraphon Yamaka	Explicit Representation and Enumeration of Repeated-Root (δ + αu²)-Constacyclic Codes Over F₂m[u]/‹u2λ›.	IEEE Access	2020	DBLP DOI BibTeX RDF
11	Majid Ali Khan	Efficient Enumeration of Higher Order Algebraic Structures.	IEEE Access	2020	DBLP DOI BibTeX RDF
11	Hung-Yu Pai, Guan-Jhu Chen, Yi-Hua Liu, Kun-Che Ho	A Novel Charging Algorithm for Lithium-Ion Batteries Based on Enumeration-Based Model Predictive Control.	IEEE Access	2020	DBLP DOI BibTeX RDF
11	Muhammad Waleed, Tai-Won Um, Aftab Khan, Zubair Ahmed Baig	An Automated Method for Detection and Enumeration of Olive Trees Through Remote Sensing.	IEEE Access	2020	DBLP DOI BibTeX RDF
11	Mohamed S. Esseissah, Ashraf Bhery, Hatem M. Bahig	Improving BDD Enumeration for LWE Problem Using GPU.	IEEE Access	2020	DBLP DOI BibTeX RDF
11	Yoshitake Sakae, Bin W. Zhang, Ronald M. Levy, Nan-Jie Deng	Absolute Protein Binding Free Energy Simulations for Ligands with Multiple Poses, a Thermodynamic Path That Avoids Exhaustive Enumeration of the Poses.	J. Comput. Chem.	2020	DBLP DOI BibTeX RDF
11	Brendan D. McKay, Fang Tian	Asymptotic enumeration of linear hypergraphs with given number of vertices and edges.	Adv. Appl. Math.	2020	DBLP DOI BibTeX RDF
11	Zoe M. Himwich, Noah A. Rosenberg	Roadblocked monotonic paths and the enumeration of coalescent histories for non-matching caterpillar gene trees and species trees.	Adv. Appl. Math.	2020	DBLP DOI BibTeX RDF
11	Andrej Jursa, Mária Markosová, Boris Rudolf	About clique number estimates and exact enumeration in scale-free networks.	J. Complex Networks	2020	DBLP DOI BibTeX RDF
11	Wei Li 0063, Zhongmei Qin, Yao Wang	Enumeration of permanental sums of lattice graphs.	Appl. Math. Comput.	2020	DBLP DOI BibTeX RDF
11	Yu Hin (Gary) Au, Fatemeh Bagherzadeh, Murray R. Bremner	Enumeration and Asymptotic Formulas for Rectangular Partitions of the Hypercube.	J. Integer Seq.	2020	DBLP BibTeX RDF
11	Takahiro Ota, Hiroyoshi Morita, Akiko Manada	Compression by Substring Enumeration Using Sorted Contingency Tables.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2020	DBLP DOI BibTeX RDF
11	Masayuki Takeda, Nobuyuki Yamasaki	Codeword Set Selection for the Error-Correcting 4b/10b Line Code with Maximum Clique Enumeration.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2020	DBLP DOI BibTeX RDF
11	Gaurav Khanna 0003, Sieteng Soh, Sanjay K. Chaturvedi, Kwan-Wu Chin	On Enumeration of Spanning Arborescences and Reliability for Network Broadcast in Fixed-Schedule Dynamic Networks.	IEEE Trans. Netw. Sci. Eng.	2020	DBLP DOI BibTeX RDF
11	Toufik Mansour, Reza Rastegar, Alexander Roitershtein	Finite Automata, Probabilistic Method, and Occurrence Enumeration of a Pattern in Words and Permutations.	SIAM J. Discret. Math.	2020	DBLP DOI BibTeX RDF
11	Reinhard Pichler	Technical Perspective: Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation.	SIGMOD Rec.	2020	DBLP DOI BibTeX RDF
11	Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros	Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation.	SIGMOD Rec.	2020	DBLP DOI BibTeX RDF
11	Benny Kimelfeld	Technical Perspective: Constant-Delay Enumeration for Nondeterministic Document Spanners.	SIGMOD Rec.	2020	DBLP DOI BibTeX RDF
11	Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Matthias Niewerth	Constant-Delay Enumeration for Nondeterministic Document Spanners.	SIGMOD Rec.	2020	DBLP DOI BibTeX RDF
11	János Tapolcai, Lajos Rónyai, Balázs Vass, László Gyimóthi	Fast Enumeration of Regional Link Failures Caused by Disasters With Limited Size.	IEEE/ACM Trans. Netw.	2020	DBLP DOI BibTeX RDF
11	Shachar Hochman, Zahira Z. Cohen, Mattan S. Ben-Shachar, Avishai Henik	Tactile Enumeration and Embodied Numerosity Among the Deaf.	Cogn. Sci.	2020	DBLP DOI BibTeX RDF
11	Alessio Conte, Roberto Grossi, Andrea Marino 0001, Luca Versari	Sublinear-Space and Bounded-Delay Algorithms for Maximal Clique Enumeration in Graphs.	Algorithmica	2020	DBLP DOI BibTeX RDF
11	Juanjo Rué, Dimitrios M. Thilikos, Vasiliki Velona	Structure and enumeration of K4-minor-free links and link-diagrams.	Eur. J. Comb.	2020	DBLP DOI BibTeX RDF
11	Evgeniy Krasko, Alexander Omelchenko	Enumeration of unsensed orientable and non-orientable maps.	Eur. J. Comb.	2020	DBLP DOI BibTeX RDF
11	Alessio Conte, Mamadou Moustapha Kanté, Yota Otachi, Takeaki Uno, Kunihiro Wasa	Efficient enumeration of maximal k-degenerate induced subgraphs of a chordal graph.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
11	Kazuaki Yamazaki, Toshiki Saitoh, Masashi Kiyomi, Ryuhei Uehara	Enumeration of nonisomorphic interval graphs and nonisomorphic permutation graphs.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
11	Mayler G. A. Martins, Samuel N. Pagliarini, Mehmet Meric Isgenc, Lawrence T. Pileggi	From Virtual Characterization to Test-Chips: DFM Analysis Through Pattern Enumeration.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2020	DBLP DOI BibTeX RDF
11	Suliman Sharif	Cocktail Shaker: An open source drug expansion and enumeration library for peptides.	J. Open Source Softw.	2020	DBLP DOI BibTeX RDF
11	Eric Timmons, Brian Charles Williams	Best-First Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation.	J. Artif. Intell. Res.	2020	DBLP DOI BibTeX RDF
11	Antoine Genitrini, Bernhard Gittenberger, Manuel Kauers, Michael Wallner 0001	Asymptotic enumeration of compacted binary trees of bounded right height.	J. Comb. Theory, Ser. A	2020	DBLP DOI BibTeX RDF
11	Yishu Wang 0002, Arnaud Mary, Marie-France Sagot, Blerina Sinaimeri	Capybara: equivalence ClAss enumeration of coPhylogenY event-BAsed ReconciliAtions.	Bioinform.	2020	DBLP DOI BibTeX RDF
11	Nofar Carmeli, Markus Kröll	Enumeration Complexity of Conjunctive Queries with Functional Dependencies.	Theory Comput. Syst.	2020	DBLP DOI BibTeX RDF
11	Blake Wilson	On the Enumeration of Sweep-Covers and Their Relation to Raney Numbers.	CoRR	2020	DBLP BibTeX RDF
11	Christoph Berkholz, Nicole Schweikardt	Constant delay enumeration with FPT-preprocessing for conjunctive queries of bounded submodular width.	CoRR	2020	DBLP BibTeX RDF