Search results for "enumeration"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Yuanyuan Zeng, Yixiang Fang, Chenhao Ma 0001, Xu Zhou, Kenli Li 0001	Efficient Distributed Hop-Constrained Path Enumeration on Large-Scale Graphs.	Proc. ACM Manag. Data	2024	DBLP DOI BibTeX RDF
11	Fatih Temiz, Irfan Siap	On cyclic codes over Zq[u]/〈u2〉 and their enumeration.	J. Symb. Comput.	2024	DBLP DOI BibTeX RDF
11	Naoya Higuchi, Yasunobu Imamura, Vladimir Mic, Takeshi Shinohara, Kouichi Hirata, Tetsuji Kuboyama	Fast Filtering for Similarity Search Using Conjunctive Enumeration of Sketches in Order of Hamming Distance.	ICPRAM	2024	DBLP DOI BibTeX RDF
11	Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati, Fabrizio Grosso, Maurizio Patrignani	Efficient Enumeration of Drawings and Combinatorial Structures for Maximal Planar Graphs.	WALCOM	2024	DBLP DOI BibTeX RDF
11	Giuseppe Spallitta, Roberto Sebastiani, Armin Biere	Disjoint Partial Enumeration without Blocking Clauses.	AAAI	2024	DBLP DOI BibTeX RDF
11	Nicolas Fröhlich, Arne Meier	Submodel Enumeration for CTL Is Hard.	AAAI	2024	DBLP DOI BibTeX RDF
11	Giang V. Trinh, Belaid Benhamou, Samuel Pastva, Sylvain Soliman	Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming.	AAAI	2024	DBLP DOI BibTeX RDF
11	Shiyuan Deng, Yufei Tao 0001	Subgraph Enumeration in Optimal I/O Complexity.	ICDT	2024	DBLP DOI BibTeX RDF
11	Thomas Muñoz, Cristian Riveros, Stijn Vansummeren	Enumeration and Updates for Conjunctive Linear Algebra Queries Through Expressibility.	ICDT	2024	DBLP DOI BibTeX RDF
11	Antoine Amarilli, Pierre Bourhis, Florent Capelli, Mikaël Monet	Ranked Enumeration for MSO on Trees via Knowledge Compilation.	ICDT	2024	DBLP DOI BibTeX RDF
11	Panagiotis Lymperopoulos, Liping Liu 0001	Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets.	AISTATS	2024	DBLP BibTeX RDF
11	Andreas Zunker, Marvin Geiselhart, Stephan ten Brink	Enumeration of Minimum Weight Codewords of Pre-Transformed Polar Codes by Tree Intersection.	CISS	2024	DBLP DOI BibTeX RDF
11	Jirí Mazurek, Ryszard Janicki	A Hybrid Stochastic-Full Enumeration Approach to a Ranking Problem with Insufficient Information.	CISS	2024	DBLP DOI BibTeX RDF
11	Alice Peccini, Lucas F. S. Jesus, Argimiro R. Secchi, Miguel J. Bagajewicz, André Luiz Hemerly Costa	Globally optimal distillation column design using set trimming and enumeration techniques.	Comput. Chem. Eng.	2023	DBLP DOI BibTeX RDF
11	Éric Fusy, Erkan Narmanli, Gilles Schaeffer	Enumeration of Corner Polyhedra and 3-Connected Schnyder Labelings.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
11	Clemens Heuberger, Sarah J. Selkirk, Stephan G. Wagner	Enumeration of Generalized Dyck Paths Based on the Height of Down-Steps Modulo $k$.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
11	Wei Li, Yao Wang	Enumeration of Perfect Matchings of the Cartesian Products of Graphs.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
11	Yinsong Chen, Vladislav Kargin	On Enumeration and Entropy of Ribbon Tilings.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
11	Run Jiang, Guanghai Bao	Series Arc Fault Detection Method Based on Signal-Type Enumeration and Zoom Circular Convolution Algorithm.	IEEE Trans. Ind. Electron.	2023	DBLP DOI BibTeX RDF
11	Kazuki Yamamura, Yuntao Wang 0002, Eiichiro Fujisaki	Improved lattice enumeration algorithms by primal and dual reordering methods.	IET Inf. Secur.	2023	DBLP DOI BibTeX RDF
11	Johan Chrisnata, Han Mao Kiah, Sankeerth Rao Karingula, Alexander Vardy, Eitan Yaakobi, Hanwen Yao	On the number of distinct k-decks: Enumeration and bounds.	Adv. Math. Commun.	2023	DBLP DOI BibTeX RDF
11	Gianluigi Salvucci, Luca Salvati, Maria Felice Arezzo	Central Locations across Spatial Scales: A Quantitative Evaluation for Italy Using Census Enumeration District Indicators.	ISPRS Int. J. Geo Inf.	2023	DBLP DOI BibTeX RDF
11	Jun Le Goh, Iskander Sh. Kalimullin, Joseph S. Miller, Mariya Ivanova Soskova	Pa Relative to an Enumeration Oracle.	J. Symb. Log.	2023	DBLP DOI BibTeX RDF
11	Lingxiao Zhu, Gongjian Wen, Yuanyuan Liang, Dengsanlang Luo, Haojun Jian	Multitarget Enumeration and Localization in Distributed MIMO Radar Based on Energy Modeling and Compressive Sensing.	IEEE Trans. Aerosp. Electron. Syst.	2023	DBLP DOI BibTeX RDF
11	Shaili Mathur, Noah A. Rosenberg	All galls are divided into three or more parts: recursive enumeration of labeled histories for galled trees.	Algorithms Mol. Biol.	2023	DBLP DOI BibTeX RDF
11	Pieter T. Eendebak, Eric D. Schoen, Alan R. Vazquez, Peter Goos	Systematic enumeration of two-level even-odd designs of strength 3.	Comput. Stat. Data Anal.	2023	DBLP DOI BibTeX RDF
11	Xiangyu Wang, Zihao Li, Hao Wu	Personalized Recommendation Method of "Carbohydrate-Protein" Supplement Based on Machine Learning and Enumeration Method.	IEEE Access	2023	DBLP DOI BibTeX RDF
11	Leihui Tong, Yuan Wan	A Hybrid Intelligence Approach for Circulating Tumor Cell Enumeration in Digital Pathology by Using CNN and Weak Annotations.	IEEE Access	2023	DBLP DOI BibTeX RDF
11	Stelios Prekas, Panagiotis Karkazis, Panagiotis Trakadas	An Energy-Aware Path Enumeration Solution Based on the Path Algebra Framework.	IT Prof.	2023	DBLP DOI BibTeX RDF
11	Ilse Fischer	Computations versus bijections for tiling enumeration.	Adv. Appl. Math.	2023	DBLP DOI BibTeX RDF
11	Muhammad Shakir, Shahid Karim, Shahnawaz Ali, Shahzor Memon, Halar Mustafa, Rabia Shaikh	Denim enumeration and tabulation solution for the garments manufacturing environment.	Int. J. Electron. Secur. Digit. Forensics	2023	DBLP DOI BibTeX RDF
11	Hiroshi Fujisaki	Enumeration of Both-Ends-Fixed k-Ary Necklaces and Its Applications.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2023	DBLP DOI BibTeX RDF
11	Jun Sun 0023, Ye Yuan 0015, Yao Wang, Xiaobo Yang, Wei Yi	Enumeration PCRLB-Based Power Allocation for Multitarget Tracking With Colocated MIMO Radar Systems in Clutter.	IEEE Trans. Geosci. Remote. Sens.	2023	DBLP DOI BibTeX RDF
11	Luan Luan, Yanan Shi, Chunxiang Gu, Yonghui Zheng	Application of Discrete Pruned Enumeration in Solving BDD.	Symmetry	2023	DBLP DOI BibTeX RDF
11	James East, Michael Hendriksen, Laurence Park 0001	On the enumeration of integer tetrahedra.	Comput. Geom.	2023	DBLP DOI BibTeX RDF
11	Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca	ASP and subset minimality: Enumeration, cautious reasoning and MUSes.	Artif. Intell.	2023	DBLP DOI BibTeX RDF
11	Ruth Mitze, Michal Kvasnica, Martin Mönnigmann	Exploiting symmetries in active set enumeration for constrained linear-quadratic optimal control.	Autom.	2023	DBLP DOI BibTeX RDF
11	Sam Hopkins, Alexander Lazar, Svante Linusson	On the q-enumeration of barely set-valued tableaux and plane partitions.	Eur. J. Comb.	2023	DBLP DOI BibTeX RDF
11	Marc Noy, Clément Requilé, Juanjo Rué	Enumeration of labelled 4-regular planar graphs II: Asymptotics.	Eur. J. Comb.	2023	DBLP DOI BibTeX RDF
11	Jang Soo Kim, Michael J. Schlosser, Meesue Yoo	Enumeration of standard barely set-valued tableaux of shifted shapes.	Eur. J. Comb.	2023	DBLP DOI BibTeX RDF
11	Monika Yadav, Anuradha Sharma	A recursive method for the construction and enumeration of self-orthogonal and self-dual codes over the quasi-Galois ring $\mathbb {F}_{2^r}[u]/$.	Des. Codes Cryptogr.	2023	DBLP DOI BibTeX RDF
11	Lhouari Nourine, Simon Vilmin	Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
11	Kazuya Haraguchi, Hiroshi Nagamochi	Polynomial-delay enumeration algorithms in set systems.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
11	Shaofei Du, Hao Yu, Wenjuan Luo	Regular Cayley maps of elementary abelian p-groups: Classification and enumeration.	J. Comb. Theory, Ser. A	2023	DBLP DOI BibTeX RDF
11	Bianca A. Buchner, Tom J. Clement, Daan H. de Groot, Jürgen Zanghellini	ecmtool: fast and memory-efficient enumeration of elementary conversion modes.	Bioinform.	2023	DBLP DOI BibTeX RDF
11	Jianhua Wang, Jianye Yang, Ziyi Ma, Chengyuan Zhang 0001, Shiyu Yang, Wenjie Zhang 0001	Efficient Maximal Biclique Enumeration on Large Uncertain Bipartite Graphs.	IEEE Trans. Knowl. Data Eng.	2023	DBLP DOI BibTeX RDF
11	Nejat Arinik, Rosa Figueiredo 0001, Vincent Labatut	Efficient enumeration of the optimal solutions to the correlation clustering problem.	J. Glob. Optim.	2023	DBLP DOI BibTeX RDF
11	Saeid Bayat, Nastaran Shahmansouri, Satya R. T. Peddada, Alex Tessier, Adrian Butscher, James T. Allison	Advancing Fluid-Based Thermal Management Systems Design: Leveraging Graph Neural Networks for Graph Regression and Efficient Enumeration Reduction.	CoRR	2023	DBLP DOI BibTeX RDF
11	Caroline Brosse, Oscar Defrain, Kazuhiro Kurita, Vincent Limouzy, Takeaki Uno, Kunihiro Wasa	On the hardness of inclusion-wise minimal separators enumeration.	CoRR	2023	DBLP DOI BibTeX RDF
11	Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa	Polynomial-Delay Enumeration of Large Maximal Common Independent Sets in Two Matroids.	CoRR	2023	DBLP DOI BibTeX RDF
11	Ziqi Yin, Qi Zhang 0010, Wentao Zhang, Rong-Hua Li, Guoren Wang	Fairness-aware Maximal Biclique Enumeration on Bipartite Graphs.	CoRR	2023	DBLP DOI BibTeX RDF
11	Xin-Wei Cai, Xiangyu Ke, Kai Wang, Lu Chen 0001, Tianming Zhang, Qing Liu, Yunjun Gao	Efficient Temporal Butterfly Counting and Enumeration on Temporal Bipartite Graphs.	CoRR	2023	DBLP DOI BibTeX RDF
11	Amela Fejza, Pierre Genevès, Nabil Layaïda	Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers.	CoRR	2023	DBLP DOI BibTeX RDF
11	George Manoussakis	Efficient maximal cliques enumeration in weakly closed graphs.	CoRR	2023	DBLP DOI BibTeX RDF
11	Valentin Bartier, Oscar Defrain, Fionn Mc Inerney	Minimal dominating sets enumeration with FPT-delay parameterized by the degeneracy and maximum degree.	CoRR	2023	DBLP DOI BibTeX RDF
11	Charlie Carlson, Ewan Davies, Alexandra Kolla, Aditya Potukuchi	Approximately counting independent sets in dense bipartite graphs via subspace enumeration.	CoRR	2023	DBLP DOI BibTeX RDF
11	Pengyu Chen, Dongjing Miao, Weitian Tong, Zizheng Guo, Jianzhong Li 0001, Zhipeng Cai 0001	Random-Order Enumeration for Self-Reducible NP-Problems.	CoRR	2023	DBLP DOI BibTeX RDF
11	Wen Deng, Weiguo Zheng, Hong Cheng 0001	Accelerating Maximal Clique Enumeration via Graph Reduction.	CoRR	2023	DBLP DOI BibTeX RDF
11	Takumi Tada, Kazuya Haraguchi	A Linear Delay Algorithm for Enumeration of 2-Edge/Vertex-connected Induced Subgraphs.	CoRR	2023	DBLP DOI BibTeX RDF
11	Marcel Wienöbst, Malte Luttermann, Max Bannach, Maciej Liskiewicz	Efficient Enumeration of Markov Equivalent DAGs.	CoRR	2023	DBLP DOI BibTeX RDF
11	Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati, Fabrizio Grosso, Maurizio Patrignani	Efficient Enumeration of Drawings and Combinatorial Structures for Maximal Planar Graphs.	CoRR	2023	DBLP DOI BibTeX RDF
11	Claire David, Nadime Francis, Victor Marsault	Distinct Shortest Walk Enumeration for RPQs.	CoRR	2023	DBLP DOI BibTeX RDF
11	Stoyan Kapralov, Valentin P. Bakoev, Kaloyan Kapralov	Algorithms for Construction, Classification and Enumeration of Closed Knight's Paths.	CoRR	2023	DBLP DOI BibTeX RDF
11	Tarmo Nurmi, Mikko Kivelä	Subnetwork enumeration algorithms for multilayer networks.	CoRR	2023	DBLP DOI BibTeX RDF
11	Jiachi Chen, Mingyuan Huang, Zewei Lin, Peilin Zheng, Zibin Zheng	To Healthier Ethereum: A Comprehensive and Iterative Smart Contract Weakness Enumeration.	CoRR	2023	DBLP DOI BibTeX RDF
11	Akifumi Kira, Nobuo Terajima, Yasuhiko Watanabe, Hirotaka Yamamoto	Shipper collaboration matching: fast enumeration of triangular transports with high cooperation effects.	CoRR	2023	DBLP DOI BibTeX RDF
11	Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani	On CNF Conversion for SAT Enumeration.	CoRR	2023	DBLP DOI BibTeX RDF
11	Dmitriy V. Gribanov	Enumeration and Unimodular Equivalence of Empty Delta-Modular Simplices.	CoRR	2023	DBLP DOI BibTeX RDF
11	Jeff Guo, Philippe Schwaller	Beam Enumeration: Probabilistic Explainability For Sample Efficient Self-conditioned Molecular Design.	CoRR	2023	DBLP DOI BibTeX RDF
11	Chao Li, Junhua Zeng, Chunmei Li, Cesar F. Caiafa, Qibin Zhao	Alternating Local Enumeration (TnALE): Solving Tensor Network Structure Search with Fewer Evaluations.	CoRR	2023	DBLP DOI BibTeX RDF
11	Jovan Blanusa, Kubilay Atasu, Paolo Ienne	Fast Parallel Algorithms for Enumeration of Simple, Temporal, and Hop-Constrained Cycles.	CoRR	2023	DBLP DOI BibTeX RDF
11	Shenxiao Mei, Chenglong Ma, Feihong Shen, Huikai Wu	YOLOrtho - A Unified Framework for Teeth Enumeration and Dental Disease Detection.	CoRR	2023	DBLP DOI BibTeX RDF
11	Jim Geist, Travis Meade, Shaojie Zhang, Yier Jin	Improving FSM State Enumeration Performance for Hardware Security with RECUT and REFSM-SAT.	CoRR	2023	DBLP DOI BibTeX RDF
11	Diptapriyo Majumdar	Enumeration Kernels of Polynomial Size for Cuts of Bounded Degree.	CoRR	2023	DBLP DOI BibTeX RDF
11	Batya Kenig	Ranked Enumeration of Minimal Separators.	CoRR	2023	DBLP DOI BibTeX RDF
11	Kazuma Tateiri	Efficient exact enumeration of single-source geodesics on a non-convex polyhedron.	CoRR	2023	DBLP DOI BibTeX RDF
11	Ibrahim Ethem Hamamci, Sezgin Er, Enis Simsar, Atif Emre Yüksel, Sadullah Gultekin, Serife Damla Ozdemir, Kaiyuan Yang 0005, Hongwei Bran Li, Sarthak Pati, Bernd Stadlinger, Albert Mehl, Mustafa Gundogar, Bjoern H. Menze	DENTEX: An Abnormal Tooth Detection with Dental Enumeration and Diagnosis Benchmark for Panoramic X-rays.	CoRR	2023	DBLP DOI BibTeX RDF
11	Lora Bailey, Heather C. Smith Blake, Garner Cochran, Nathan Fox, Michael Levet, Reem Mahmoud, Elizabeth Bailey Matson, Inne Singgih, Grace Stadnyk, Xinyi Wang, Alexander Wiedemann	Complexity and Enumeration in Models of Genome Rearrangement.	CoRR	2023	DBLP DOI BibTeX RDF
11	Ruth Hoffmann, Özgür Akgün, Christopher Jefferson	Composable Constraint Models for Permutation Enumeration.	CoRR	2023	DBLP DOI BibTeX RDF
11	Nicolas Fröhlich, Arne Meier	Submodel Enumeration for CTL Is Hard.	CoRR	2023	DBLP DOI BibTeX RDF
11	Yann Strozecki	Enumeration Complexity: Incremental Time, Delay and Space.	CoRR	2023	DBLP DOI BibTeX RDF
11	Antoine Amarilli, Pierre Bourhis, Florent Capelli, Mikaël Monet	Ranked Enumeration for MSO on Trees via Knowledge Compilation.	CoRR	2023	DBLP DOI BibTeX RDF
11	Derek Egolf, Stavros Tripakis	Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms.	CoRR	2023	DBLP DOI BibTeX RDF
11	Thomas Muñoz, Cristian Riveros, Stijn Vansummeren	Enumeration and updates for conjunctive linear algebra queries through expressibility.	CoRR	2023	DBLP DOI BibTeX RDF
11	Alexis Baudin, Clémence Magnien, Lionel Tabourier	Faster maximal clique enumeration in large real-world link streams.	CoRR	2023	DBLP DOI BibTeX RDF
11	Kaiqiang Yu, Cheng Long	Fast Maximal Quasi-clique Enumeration: A Pruning and Branching Co-Design Approach.	CoRR	2023	DBLP DOI BibTeX RDF
11	Andreas Zunker, Marvin Geiselhart, Stephan ten Brink	Enumeration of Minimum Weight Codewords of Pre-Transformed Polar Codes by Tree Intersection.	CoRR	2023	DBLP DOI BibTeX RDF
11	Mohammad Rowshan, Vlad-Florin Dragoi, Jinhong Yuan	On the Closed-form Weight Enumeration of Polar Codes: 1.5d-weight Codewords.	CoRR	2023	DBLP DOI BibTeX RDF
11	Justin Lidard, Oswin So, Yanxia Zhang, Jonathan A. DeCastro, Xiongyi Cui, Xin Huang 0018, Yen-Ling Kuo, John J. Leonard, Avinash Balachandran, Naomi Ehrich Leonard, Guy Rosman	GAME-UP: Game-Aware Mode Enumeration and Understanding for Trajectory Prediction.	CoRR	2023	DBLP DOI BibTeX RDF
11	Xin-Wei Cai, Xiangyu Ke, Kai Wang, Lu Chen 0001, Tianming Zhang, Qing Liu 0008, Yunjun Gao	Efficient Temporal Butterfly Counting and Enumeration on Temporal Bipartite Graphs.	Proc. VLDB Endow.	2023	DBLP BibTeX RDF
11	Zuwen Luo, Kexiang Xu	Extremal problems for connected set enumeration.	Discret. Appl. Math.	2023	DBLP DOI BibTeX RDF
11	Sascha Kurz, Dani Samaniego	Enumeration of simple games with two equivalence classes of players.	Discret. Appl. Math.	2023	DBLP DOI BibTeX RDF
11	Zana Kovijanic Vukicevic	Enumeration of maximum matchings in the Hanoi graphs using matching polynomials.	Discret. Math. Algorithms Appl.	2023	DBLP DOI BibTeX RDF
11	Kh. Sh. Al'Dzhabri, V. I. Rodionov	On some formulas in the problem of enumeration of finite labeled topologies.	Discret. Math. Algorithms Appl.	2023	DBLP DOI BibTeX RDF
11	Mitchell Chiew, Sergii Strelchuk	Discovering optimal fermion-qubit mappings through algorithmic enumeration.	Quantum	2023	DBLP DOI BibTeX RDF
11	Jovan Blanusa, Kubilay Atasu, Paolo Ienne	Fast Parallel Algorithms for Enumeration of Simple, Temporal, and Hop-constrained Cycles.	ACM Trans. Parallel Comput.	2023	DBLP DOI BibTeX RDF
11	Zhicheng Zhang, Ye Tian 0014, Wei Liu 0001, Hua Chen 0004	Enumeration for a Large Number of Sources Based on a Two-Step Difference Operation of Linear Shrinkage Coefficients.	IEEE Trans. Signal Process.	2023	DBLP DOI BibTeX RDF
11	Adolfo Ballester-Bolinches, Ramon Esteban-Romero, V. Pérez-Calabuig	Enumeration of left braces with additive group ₄×₄×₄.	Math. Comput.	2023	DBLP DOI BibTeX RDF
11	Shin-Ichi Nakano	Family Trees for Enumeration.	Int. J. Found. Comput. Sci.	2023	DBLP DOI BibTeX RDF
11	Alessandro Budroni, Erik Mårtensson	Improved Estimation of Key Enumeration with Applications to Solving LWE.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF