|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1146 occurrences of 800 keywords
|
|
|
Results
Found 3701 publication records. Showing 3701 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton |
On the verification of sequential machines at differing levels of abstraction. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Dieter Spreen |
Computable One-to-one Enumerations of Effective Domains. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Paul R. Young |
Toward a Theory of Enumerations. |
J. ACM |
1969 |
DBLP DOI BibTeX RDF |
|
15 | Laura Carnevali, Lorenzo Ridi, Enrico Vicario |
Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
symbolic state-space enumeration, preemptive Time Petri Net, non-Markovian Stochastic Petri Net, quantitative evaluation, Correctness verification, stochastic Time Petri Net |
15 | Katta G. Murty |
Complexity of Degeneracy. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Near degeneracy, Active constraints, Tight constraints, Inactive constraints, Slack constraints, Basic feasible solution, Regular polyhedron, Simple polyhedron, Stalling, Resolving degeneracy, Positive marginal values, Negative marginal values, Extreme point enumeration, Extreme point ranking, Assignment ranking, Segments of polyhedra, NP-complete problem, Cycling, Degeneracy, Active set methods, Nondegeneracy |
15 | Karla L. Hoffman, Manfred Padberg |
Set Covering, Packing and Partitioning Problems. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Polyhedral methods, Combinatorial optimization, Integer programming, Enumeration, Disjunctive programming, Lift-and-project |
15 | Egon Balas |
Integer Programming. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Polyhedral methods, Combinatorial optimization, Integer programming, Enumeration, Disjunctive programming, Lift-and-project |
15 | Stephen Jang, Billy Chan, Kevin Chung, Alan Mishchenko |
WireMap: FPGA Technology Mapping for Improved Routability and Enhanced LUT Merging. |
ACM Trans. Reconfigurable Technol. Syst. |
2009 |
DBLP DOI BibTeX RDF |
area flow, cut enumeration, edge flow, FPGA, technology mapping |
15 | Richard Ehrenborg, Margaret A. Readdy, Michael Slone |
Affine and Toric Hyperplane Arrangements. |
Discret. Comput. Geom. |
2009 |
DBLP DOI BibTeX RDF |
The cd-index, The complex of unbounded regions, Flag enumeration, The toric Zaslavsky invariant, The n-dimensional torus, Manifolds |
15 | Anisoara Nica, Daniel Scott Brotherston, David William Hillis |
Extreme visualisation of query optimizer search space. |
SIGMOD Conference |
2009 |
DBLP DOI BibTeX RDF |
sql anywhere, tree difference algorithm, query optimization, visualisation, search space, enumeration algorithm |
15 | Narges Simjour |
Improved Parameterized Algorithms for the Kemeny Aggregation Problem. |
IWPEC |
2009 |
DBLP DOI BibTeX RDF |
Kemeny score, parameterized, enumeration, exact algorithms |
15 | David Avis, Naoki Katoh, Makoto Ohsaki, Ileana Streinu, Shin-ichi Tanigawa |
Enumerating Constrained Non-crossing Minimally Rigid Frameworks. |
Discret. Comput. Geom. |
2008 |
DBLP DOI BibTeX RDF |
Geometric enumeration, Constrained non-crossing minimally rigid frameworks, Rigidity, Constrained Delaunay triangulation |
15 | David Avis, Bohdan Kaluzny |
Computing monotone disjoint paths on polytopes. |
J. Comb. Optim. |
2008 |
DBLP DOI BibTeX RDF |
Reverse search, Vertex enumeration, Holt-Klee, Linear programming, Network flow, Polytopes, Disjoint paths, Simplex method, Degeneracy |
15 | Stephen Jang, Billy Chan, Kevin Chung, Alan Mishchenko |
WireMap: FPGA technology mapping for improved routability. |
FPGA |
2008 |
DBLP DOI BibTeX RDF |
area flow, cut enumeration, edge flow, FPGA, technology mapping |
15 | Konstantin Golenberg, Benny Kimelfeld, Yehoshua Sagiv |
Keyword proximity search in complex data graphs. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
approximate top-k answers, information retrieval on graphs, keyword proximity search, subtree enumeration by height, redundancy elimination |
15 | Robert Beers |
Pre-RTL formal verification: an intel experience. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
TLC, explicit state enumeration, microarchitecture verification, formal verification, protocol verification, TLA+ |
15 | Arnaud Durand 0001, Etienne Grandjean |
First-order queries on structures of bounded degree are computable with constant delay. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
enumeration problems, Computational complexity, first-order logic |
15 | Thomas Eiter, Kazuhisa Makino |
On computing all abductive explanations from a propositional Horn theory. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
Horn theories, dualization problem, polynomial total-time computation, NP-hardness, Abduction, model-based reasoning, propositional logic, tractability, prime implicates, characteristic set, enumeration algorithms |
15 | Martin N. Huxley, Jovisa D. Zunic |
The Number of N-Point Digital Discs. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Digital disc, digitization, enumeration, digital geometry |
15 | Hsun-Wen Chang, Pei-Fang Tsai |
Characterizing the reconstruction and enumerating the patterns of DNA sequences with repeats. |
J. Comb. Optim. |
2007 |
DBLP DOI BibTeX RDF |
DNA digraph, Reduced digraph, Pattern graph, Combinatorial enumeration, Catalan number, Repeat, DNA sequencing |
15 | Hiroki Arimura, Takeaki Uno, Shinichi Shimozono |
Time and Space Efficient Discovery of Maximal Geometric Graphs. |
Discovery Science |
2007 |
DBLP DOI BibTeX RDF |
closed graph mining, rightmost expansion, polynomial delay polynomial space enumeration algorithms, depth-first search, geometric graphs |
15 | Ahmed Metwally 0001, Divyakant Agrawal, Amr El Abbadi |
Detectives: detecting coalition hit inflation attacks in advertising networks streams. |
WWW |
2007 |
DBLP DOI BibTeX RDF |
approximate set similarity, click spam detection, cliques enumeration, coalition fraud attacks, real data experiments, similarity-sensitive sampling |
15 | Dora Souliou, Aris Pagourtzis, Panayotis Tsanakas |
A fast parallel algorithm for frequent itemsets mining. |
AIAI |
2007 |
DBLP DOI BibTeX RDF |
partial support tree, association rules, frequent itemsets, parallel data mining, set-enumeration tree |
15 | Xiangfu Zhao, Dantong Ouyang |
Improved Algorithms for Deriving All Minimal Conflict Sets in Model-Based Diagnosis. |
ICIC (1) |
2007 |
DBLP DOI BibTeX RDF |
conflict set, set enumeration tree (SE-tree), model-based diagnosis, hitting set |
15 | Yongyan Yang, Yili Yin, Jun Su |
Business Process Depicting and Analyzing with a Lightweight Approach: A Case Study. |
CONFENIS (2) |
2007 |
DBLP DOI BibTeX RDF |
Abstracted actions, Business process, Hierarchy, Polymorphism, Case studies, Enumeration |
15 | Alexandra A. Soskova |
A Jump Inversion Theorem for the Degree Spectra. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
enumeration degrees, degree spectra, Marker’s extensions, enumerations |
15 | Eric Robinson, Daniel Kunkle, Gene Cooperman |
A comparative analysis of parallel disk-based Methods for enumerating implicit graphs. |
PASCO |
2007 |
DBLP DOI BibTeX RDF |
disk-based, implicit graphs, parallel, search, enumeration |
15 | Martin N. Huxley, Jovisa D. Zunic |
Different Digitisations of Displaced Discs. |
Found. Comput. Math. |
2006 |
DBLP DOI BibTeX RDF |
Digital disc, Enumeration, Digitisation |
15 | Sebastian Wernicke 0001 |
Efficient Detection of Network Motifs. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2006 |
DBLP DOI BibTeX RDF |
Network motif detection algorithm, subgraph enumeration, subgraph sampling, subgraph concentration in random graphs |
15 | Shakil Ahmed, Frans Coenen, Paul H. Leng |
Tree-based partitioning of date for association rule mining. |
Knowl. Inf. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Partial support, Data structures, Association rules, Set-enumeration tree |
15 | Oswin Aichholzer, Franz Aurenhammer, Hannes Krasser |
On the Crossing Number of Complete Graphs. |
Computing |
2006 |
DBLP DOI BibTeX RDF |
enumeration, Crossing number, complete graph, order types |
15 | Chansik Im, K. H. (Kane) Kim |
A Hybrid Approach in TADE for Derivation of Execution Time Bounds of Program-Segments in Distributed Real-Time Embedded Computing. |
ISORC |
2006 |
DBLP DOI BibTeX RDF |
worst-case execution path, program-segment, methodsegment, acyclic path-segment, path enumeration, curvefitting, execution time bound, TETB, real time, measurement, analysis, hybrid, worst-case execution time |
15 | Sanjay V. Kumar, Chris H. Kim, Sachin S. Sapatnekar |
Mathematically assisted adaptive body bias (ABB) for temperature compensation in gigascale LSI systems. |
ASP-DAC |
2006 |
DBLP DOI BibTeX RDF |
Nonlinear Programming Problem (NLPP), daptive Body Bias (ABB), temperature variations, delay, process variations, leakage, enumeration |
15 | Frederik Stork, Marc Uetz |
On the generation of circuits and minimal forbidden sets. |
Math. Program. |
2005 |
DBLP DOI BibTeX RDF |
Independence system, Forbidden set, Circuit, Enumeration, Resource constraints, Project scheduling, Counting |
15 | Satoshi Morinaga, Hiroki Arimura, Takahiro Ikeda, Yosuke Sakao, Susumu Akamine |
Key semantics extraction by dependency tree mining. |
KDD |
2005 |
DBLP DOI BibTeX RDF |
phrase/sentence reconstruction, redundancy reduction, syntactic dependency, tree enumeration, text mining |
15 | Patrick Briest, Piotr Krysta, Berthold Vöcking |
Approximation techniques for utilitarian mechanism design. |
STOC |
2005 |
DBLP DOI BibTeX RDF |
combinatorial and multi-unit auctions, enumeration techniques, approximation algorithms, mechanism design, primal-dual method |
15 | Sarfraz Khurshid, Darko Marinov |
TestEra: Specification-Based Testing of Java Programs Using SAT. |
Autom. Softw. Eng. |
2004 |
DBLP DOI BibTeX RDF |
Java testing, TestEra, SAT enumeration, software testing, specification-based testing, Alloy, automated test generation |
15 | Bertran Steinsky |
Asymptotic Behaviour of the Number of Labelled Essential Acyclic Digraphs and Labelled Chain Graphs. |
Graphs Comb. |
2004 |
DBLP DOI BibTeX RDF |
Labelled essential directed acyclic graph, Chain graph, Asymptotic enumeration, Bayesian network |
15 | Sanguthevar Rajasekaran, Jaime I. Dávila |
A Fundamental Problem in Computer and Communication. |
ICPADS |
2004 |
DBLP DOI BibTeX RDF |
Partitioned Optical Passive Star (POPS) network, partial permutation routing, sparse enumeration sort, randomized algorithms, selection, packet routing |
15 | Grzegorz Kubicki, Jenö Lehel, Michal Morayne |
An Asymptotic Ratio in the Complete Binary Tree. |
Order |
2003 |
DBLP DOI BibTeX RDF |
tree poset, embedding, enumeration |
15 | Bertran Steinsky |
Efficient coding of labeled directed acyclic graphs. |
Soft Comput. |
2003 |
DBLP DOI BibTeX RDF |
Bayesian network, Rank, Generation, Directed acyclic graph (DAG), Enumeration |
15 | Feng Pan, Gao Cong, Anthony K. H. Tung, Jiong Yang, Mohammed Javeed Zaki |
Carpenter: finding closed patterns in long biological datasets. |
KDD |
2003 |
DBLP DOI BibTeX RDF |
row enumeration, frequent pattern, closed pattern |
15 | James D. Currie, Terry I. Visentin |
Counting Endomorphisms of Crown-like Orders. |
Order |
2002 |
DBLP DOI BibTeX RDF |
endomorphism, combinatorial enumeration, ordered set |
15 | Gunnar Brinkmann, Brendan D. McKay |
Posets on up to 16 Points. |
Order |
2002 |
DBLP DOI BibTeX RDF |
canonical construction path, algorithm, enumeration, poset |
15 | Thomas Eiter, Georg Gottlob, Kazuhisa Makino |
New results on monotone dualization and generating hypergraph transversals. |
STOC |
2002 |
DBLP DOI BibTeX RDF |
combinatorial enumeration, hypergraph acyclicity, limited nondeterminism, output-polynomial algorithms, transversal computation, treewidth, dualization |
15 | Tsutomu Sasao, Jon T. Butler |
Worst and Best Irredundant Sum-of-Products Expressions. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
complete sum-of-products expressions, irredundant sum-of-products, heuristic minimization, minimum sum-of-products expressions, worst sum-of-products expressions, graph enumeration, minimally strongly connected digraphs, Logic minimization, prime implicants, symmetric functions, multiple-output functions |
15 | M. Narasimhan, J. Ramanujam |
A fast approach to computing exact solutions to the resource-constrained scheduling problem. |
ACM Trans. Design Autom. Electr. Syst. |
2001 |
DBLP DOI BibTeX RDF |
exact scheduling, lower and upper bounds, high-level synthesis, Design automation, enumeration, resource-constrained scheduling |
15 | Jobst Heitzig, Jürgen Reinhold |
The Number of Unlabeled Orders on Fourteen Elements. |
Order |
2000 |
DBLP DOI BibTeX RDF |
finite poset, orderly algorithm, parallelization, topology, enumeration |
15 | Dirk Stroobandt, Herwig Van Marck |
Efficient representation of interconnection length distributions using generating polynomials. |
SLIP |
2000 |
DBLP DOI BibTeX RDF |
interconnect length distributions, enumeration, VLSI CAD, generating polynomials |
15 | S. C. Prasad, Kaushik Roy 0001 |
Transistor reordering for power minimization under delay constraint. |
ACM Trans. Design Autom. Electr. Syst. |
1996 |
DBLP DOI BibTeX RDF |
critical path enumeration, gate input reordering, transistor reordering, power estimation, circuit optimization |
15 | Daniel Jackson 0001, Somesh Jha, Craig Damon |
Faster Checking of Software Specifications by Eliminating Isomorphs. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
model enumeration, validity checking, formal specification, symmetry, Z notation, relational calculus |
15 | A. James Stewart, Sherif Ghali |
Fast computation of shadow boundaries using spatial coherence and backprojections. |
SIGGRAPH |
1994 |
DBLP DOI BibTeX RDF |
efficient surface enumeration, visual events, shadows, radiosity, aspect graphs, spatial coherence, discontinuity mesh, backprojections |
15 | Hussein M. Alnuweiri |
A New Class of Optimal Bounded-Degree VLSI Sorting Networks. |
IEEE Trans. Computers |
1993 |
DBLP DOI BibTeX RDF |
VLSI sorting networks, optimal VLSI sorters, rotate-sort, enumeration-sort, reduced-area, K-shuffle layouts, VLSI, optimisation, logic design, sorting, time complexity, bounded-degree |
15 | Hyunwoo Cho, Seh-Woong Jeong, Fabio Somenzi, Carl Pixley |
Synchronizing sequences and symbolic traversal techniques in test generation. |
J. Electron. Test. |
1993 |
DBLP DOI BibTeX RDF |
implicit state enumeration, multiple observation time, test generation, Binary decision diagram, synchronizing sequence |
15 | Jane Wilhelms, Allen Van Gelder |
Octrees for Faster Isosurface Generation. |
ACM Trans. Graph. |
1992 |
DBLP DOI BibTeX RDF |
hierarchical spatial enumeration, scientific visualization, octree, isosurface extraction |
15 | Sreejit Chakravarty, Harry B. Hunt III |
On Computing Signal Probability and Detection Probability of Stuck-at Faults. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
pseudo gates, logic testing, built-in self test, combinational circuits, random testing, stuck-at faults, combinatorial circuits, testability analysis, detection probability, signal probability, pseudorandom testing, enumeration algorithm |
15 | Jens Lagergren |
Efficient Parallel Algorithms for Tree-Decomposition and Related Problems |
FOCS |
1990 |
DBLP DOI BibTeX RDF |
sequential time complexity, monadic second order properties, linear extended monadic second order extremum problems, concurrent-read, concurrent-write parallel random access machine, enumeration problems, parallel algorithms, graphs, tree-decomposition, tree width, CRCW PRAM |
15 | Israel Gazit, Miroslaw Malek |
On the Number of Permutations Performable by Extra-Stage Multistage Interconnection Networks. |
IEEE Trans. Computers |
1989 |
DBLP DOI BibTeX RDF |
number of permutations, extra-stage multistage interconnection networks, hypercube enumeration problem, graph theory, multiprocessor interconnection networks, graph-theoretical approach |
15 | Shun Yan Cheung, Mustaque Ahamad, Mostafa H. Ammar |
Optimizing Vote and Quorum Assignments for Reading and Writing Replicated Data. |
IEEE Trans. Knowl. Data Eng. |
1989 |
DBLP DOI BibTeX RDF |
vote optimizing, quorum assignments, writing replicated data, weighted voting protocol, node availabilities, operation mix, distributed system, protocols, fault tolerant computing, distributed processing, reading, optimal performance, enumeration algorithm |
15 | G. Barbara Demo, Sukhamay Kundu |
Analysis of the Context Dependency of CODASYL Find-Statements with Application to Database Program Conversion. |
SIGMOD Conference |
1985 |
DBLP DOI BibTeX RDF |
CODASYL operations, abstract and execution contexts, enumeration loop, program conversion, relational interface, semantic predecessor set |
15 | Abraham Kandel, Joan M. Francioni |
On the Properties and Applications of Fuzzy-Valued Switching Functions. |
IEEE Trans. Computers |
1980 |
DBLP DOI BibTeX RDF |
Enumeration of fuzzy functions, fuzzy decision tables, fuzzy logic, minimization, switching functions, fuzzy maps |
15 | Teruo Hikita, Hajime Enomoto |
On the Number of Multivalued Switching Functions Realizable by Cascades. |
IEEE Trans. Computers |
1979 |
DBLP DOI BibTeX RDF |
universal logical cells., multivalued switching functions, switching function enumeration, Cascades |
15 | Edward A. Bender, Jon T. Butler |
Asymptotic Aproximations for the Number of Fanout-Free Functions. |
IEEE Trans. Computers |
1978 |
DBLP DOI BibTeX RDF |
fanout-free networks, function enumeration, switching functions, cascades, Asymptotic approximations, combinatorial logic |
15 | Jacob A. Abraham |
A Combinatorial Solution to the Reliability of Interwoven Redundant Logic Networks. |
IEEE Trans. Computers |
1975 |
DBLP DOI BibTeX RDF |
Fault pattern enumeration, interwoven redundant logic, quadded logic, reliability analysis |
11 | Yuantian Ding, Xiaokang Qiu |
Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations. |
Proc. ACM Program. Lang. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Gerold Jäger, Klas Markström, Lars-Daniel Öhman, Denys Shcherbak |
Enumeration of Sets of Mutually Orthogonal Latin Rectangles. |
Electron. J. Comb. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Farshad Bolouri, Yildirim Kocoglu, Irish Lorraine B. Pabuayon, Glen Lorin Ritchie, Hamed Sari-Sarraf |
CottonSense: A high-throughput field phenotyping system for cotton fruit segmentation and enumeration on edge devices. |
Comput. Electron. Agric. |
2024 |
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. |
Inf. Process. Lett. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Qinbin He, Fangyue Chen, Wei Jin |
Topological equivalence classification and enumeration of n-input linearly separable Boolean functions. |
Inf. Sci. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Amritanshu Prasad, Samrith Ram |
Enumeration of anti-invariant subspaces and Touchard's formula for the entries of the q-Hermite Catalan matrix. |
Adv. Appl. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Gabrielle De Micheli, Pierrick Gaudry, Cécile Pierrot |
Lattice Enumeration and Automorphisms for Tower NFS: A 521-Bit Discrete Logarithm Computation. |
J. Cryptol. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Qing Pan, Yechun Ma, Nili Tian, Huitang Jiang |
A Novel Source Enumeration Method Based on Sparse Representation. |
Circuits Syst. Signal Process. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Botong Li, Fahui Chen, Bin Li 0028, Jing Zhang, Xiaotong Ji, Fan Xiao, Qiteng Hong |
A Multi-Terminal Current Differential Protection Setting Method for Fully Weak-Infeed Distribution Networks Based on Restricted Enumeration Method. |
IEEE Trans. Smart Grid |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Yang Wang 0026, Yi Zhou, Ke Du |
Enumeration, Nomenclature, and Stability Rules of Carbon Nanobelts. |
J. Chem. Inf. Model. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Éric Fusy, Erkan Narmanli, Gilles Schaeffer |
On the enumeration of plane bipolar posets and transversal structures. |
Eur. J. Comb. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Monika Yadav, Anuradha Sharma |
Construction and enumeration of self-orthogonal and self-dual codes over Galois rings of even characteristic. |
Des. Codes Cryptogr. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Moulay Abdellah Chkifa |
Lattice enumeration via linear programming. |
Numerische Mathematik |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Francesca Arrigo, Desmond J. Higham, Vanni Noferini, Ryan Wood |
Weighted Enumeration of Nonbacktracking Walks on Weighted Graphs. |
SIAM J. Matrix Anal. Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Bocong Chen, Guanghui Zhang |
Enumeration and Generation of Cyclically Permutable Codes From Cyclic Codes. |
IEEE Trans. Inf. Theory |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Ting Yu 0004, Ting Jiang, Mohamed Jaward Bah, Chen Zhao, Hao Huang 0001, Mengchi Liu, Shuigeng Zhou, Zhao Li 0007, Ji Zhang |
Incremental Maximal Clique Enumeration for Hybrid Edge Changes in Large Dynamic Graphs. |
IEEE Trans. Knowl. Data Eng. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Stefka Bouyuklieva, Iliya Bouyukliev |
Enumeration of linear codes with different hulls. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Panagiotis Lymperopoulos, Liping Liu 0001 |
Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Qihao Cheng, Da Yan 0001, Tianhao Wu, Lyuheng Yuan, Ji Cheng, Zhongyi Huang, Yang Zhou 0001 |
Efficient Enumeration of Large Maximal k-Plexes. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Sabrina Drammis, Bowen Zheng, Karthik Srinivasan, Robert C. Berwick, Nancy A. Lynch, Robert Ajemian |
Parallel Algorithms for Exact Enumeration of Deep Neural Network Activation Regions. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Sascha Kurz |
Computer classification of linear codes based on lattice point enumeration and integer linear programming. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Chou-Ying Hsieh, Chia-Ming Chang, Po-Hsiu Cheng, Sy-Yen Kuo |
Accelerating Maximal Biclique Enumeration on GPUs. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Randall Balestriero, Yann LeCun |
Fast and Exact Enumeration of Deep Networks Partitions Regions. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Yesdaulet Izenov, Asoke Datta, Brian Tsan, Abylay Amanbayev, Florin Rusu |
Spanning Tree-based Query Plan Enumeration. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Henan Sun, Zhengyu Wu, Rong-Hua Li, Guoren Wang, Zening Li |
K-stars LDP: A Novel Framework for (p, q)-clique Enumeration under Local Differential Privacy. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Markus Lohrey, Markus L. Schmid |
Enumeration for MSO-Queries on Compressed Trees. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Caroline Brosse, Alessio Conte, Vincent Limouzy, Giulia Punzi, Davide Rucci |
Output-Sensitive Enumeration of Potential Maximal Cliques in Polynomial Space. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Mohit Gurumukhani, Ramamohan Paturi, Pavel Pudlák, Michael E. Saks, Navid Talebanfard |
Local Enumeration and Majority Lower Bounds. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Nadia Creignou, Oscar Defrain, Frédéric Olive, Simon Vilmin |
On the enumeration of signatures of XOR-CNF's. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Abir Farouzi, Xiantian Zhou, Ladjel Bellatreche, Mimoun Malki, Carlos Ordonez 0001 |
Balanced parallel triangle enumeration with an adaptive algorithm. |
Distributed Parallel Databases |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Katrin Casel, Tobias Friedrich 0001, Stefan Neubert, Markus L. Schmid |
Shortest distances as enumeration problem. |
Discret. Appl. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Kazuaki Yamazaki, Mengze Qian, Ryuhei Uehara |
Efficient enumeration of non-isomorphic distance-hereditary graphs and related graphs. |
Discret. Appl. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Caroline Brosse, Aurélie Lagoutte, Vincent Limouzy, Arnaud Mary, Lucas Pastor |
Efficient enumeration of maximal split subgraphs and induced sub-cographs and related classes. |
Discret. Appl. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Ye Tian 0014, Zhicheng Zhang, Wei Liu 0001, Hua Chen, Gang Wang 0007 |
Source Enumeration Utilizing Adaptive Diagonal Loading and Linear Shrinkage Coefficients. |
IEEE Trans. Signal Process. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Jingchao Lai, Weigen Yan, Xing Feng |
Enumeration of perfect matchings of the middle graph of a graph G with △(G)≤4. |
Discret. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Tobias Bleifuß, Thorsten Papenbrock, Thomas Bläsius, Martin Schirneck, Felix Naumann |
Discovering Functional Dependencies through Hitting Set Enumeration. |
Proc. ACM Manag. Data |
2024 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 3701 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|