Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
66 | Yen Kaow Ng, Takeshi Shinohara |
Inferring Unions of the Pattern Languages by the Most Fitting Covers. |
ALT |
2005 |
DBLP DOI BibTeX RDF |
|
59 | Priti Chandra, Arun K. Pujari |
Minimality and Convexity Properties in Spatial CSPs. |
ICTAI |
2005 |
DBLP DOI BibTeX RDF |
|
59 | Wiebe van der Hoek, Jan Jaspars, Elias Thijsse |
Persistence and Minimality in Epistemic Logic. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
51 | Sonia Bergamaschi, Claudio Sartori 0001 |
On Taxonomic Reasoning in Conceptual Design. |
ACM Trans. Database Syst. |
1992 |
DBLP DOI BibTeX RDF |
schema consistency, schema minimality, taxonomic reasoning, semantic models |
46 | Matthijs J. Warrens |
On multi-way metricity, minimality and diagonal planes. |
Adv. Data Anal. Classif. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 51K05 |
46 | Russell Howes, Lee John Eccleston, Jorge M. Goncalves, Guy-Bart Stan, Sean Warnick |
Dynamical structure analysis of sparsity and minimality heuristics for reconstruction of biochemical networks. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
46 | Hellis Tamm |
On Transition Minimality of Bideterministic Automata. |
Developments in Language Theory |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Yijia Chen, Jörg Flum |
The Parameterized Complexity of Maximality and Minimality Problems. |
IWPEC |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Reza Pulungan, Holger Hermanns |
Acyclic Minimality by Construction---Almost. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
Acyclic phase-type distributions, minimality, minimal representation |
40 | Slavko Moconja, Predrag Tanovic |
Does weak quasi-o-minimality behave better than weak o-minimality? |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Gabriel Aguilera 0001, Pablo Cordero, Manuel Enciso, Ángel Mora 0001, Inmaculada Perez de Guzmán |
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic. |
SBIA |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Thomas Eiter, Georg Gottlob |
The Complexity of Logic-Based Abduction. |
J. ACM |
1995 |
DBLP DOI BibTeX RDF |
diagnosis, reasoning, abduction, complexity analysis, propositional logic |
39 | Thomas Eiter, Georg Gottlob |
The Complexity of Logic-Based Abduction. |
STACS |
1993 |
DBLP DOI BibTeX RDF |
|
38 | Balaji Padmanabhan, Alexander Tuzhilin |
On Characterization and Discovery of Minimal Unexpected Patterns in Rule Discovery. |
IEEE Trans. Knowl. Data Eng. |
2006 |
DBLP DOI BibTeX RDF |
unexpectedness, Data mining, association rules, minimality |
33 | Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi |
Minimality Results for the Spatial Logics. |
FSTTCS |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Mehmet Baran |
Compactness, Perfectness, Separation, Minimality and Closedness with Respect to Closure Operators. |
Appl. Categorical Struct. |
2002 |
DBLP DOI BibTeX RDF |
topological category, convergence spaces, limit spaces, compact objects, perfect morphism, closure operator |
33 | Stefan Wrobel |
On the Proper Definition of Minimality in Specialization and Theory Revision. |
ECML |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Yi-Dong Shen, Jia-Huai You |
A Default Approach to Semantics of Logic Programs with Constraint Atoms. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Brad Ballinger, David Charlton, Erik D. Demaine, Martin L. Demaine, John Iacono, Ching-Hao Liu, Sheung-Hung Poon |
Minimal Locked Trees. |
WADS |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Benny Kimelfeld, Yehoshua Sagiv |
Revisiting redundancy and minimization in an XPath fragment. |
EDBT |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Yen Kaow Ng, Takeshi Shinohara |
Characteristic Sets for Inferring the Unions of the Tree Pattern Languages by the Most Fitting Hypotheses. |
ICGI |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer |
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Haris Widjaya, Torsten Möller, Alireza Entezari |
Voxelization in Common Sampling Lattices. |
PG |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Ljupco Todorovski, Saso Dzeroski |
Theory Revision in Equation Discovery. |
Discovery Science |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Karen A. Bartlett, Robert K. Brayton, Gary D. Hachtel, Reily M. Jacoby, Christopher R. Morrison, Richard L. Rudell, Alberto L. Sangiovanni-Vincentelli, Albert R. Wang |
Multi-level logic minimization using implicit don't cares. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Raymond Chi-Wing Wong, Ada Wai-Chee Fu, Ke Wang 0001, Jian Pei |
Anonymization-based attacks in privacy-preserving data publishing. |
ACM Trans. Database Syst. |
2009 |
DBLP DOI BibTeX RDF |
minimality attack, Privacy preservation, k-anonymity, data publishing, l-diversity |
25 | Sujeet Pradhan |
Towards an integrated framework for querying collection of heterogeneous data. |
ICUIMC |
2009 |
DBLP DOI BibTeX RDF |
algebraic query model, anti-monotonic filters, graph data structure, information unit, retrieval unit, query optimization, minimality |
25 | Lars Lindahl, Jan Odelstad |
Strata of Intervenient Concepts in Normative Systems. |
DEON |
2008 |
DBLP DOI BibTeX RDF |
Legal concept, Intermediate concept, Intervenient, Weakest ground, Strongest consequence, Intervenient minimality, Ownership, Normative system |
25 | James Joshi, Elisa Bertino, Arif Ghafoor |
An Analysis of Expressiveness and Design Issues for the Generalized Temporal Role-Based Access Control Model. |
IEEE Trans. Dependable Secur. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Role-based access control, minimality, temporal constraint, expressiveness analysis |
25 | Michael Benedikt, Leonid Libkin |
Relational queries over interpreted structures. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
0-minimality, collapse results, constraints, quantifier elimination, relational calculus |
25 | Kwang-Ting Cheng, Vishwani D. Agrawal |
Initializability Consideration in Sequential Machine Synthesis. |
IEEE Trans. Computers |
1992 |
DBLP DOI BibTeX RDF |
initializability, sequential machine synthesis, gate-level analysis tools., logic testing, finite-state machine, logic design, encoding, synchronisation, finite automata, state assignment, logic minimality, logic optimization, synchronizing sequences, state encoding |
25 | Christos H. Papadimitriou |
On Selecting a Satisfying Truth Assignment (Extended Abstract) |
FOCS |
1991 |
DBLP DOI BibTeX RDF |
2SAT, satisfying truth assignment selection, natural generalizations, default preference, polynomial-time randomized algorithm, complexity, satisfiability, minimality, circumscription, selection criteria |
25 | José Manuel Colom, Manuel Silva Suárez |
Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. |
Applications and Theory of Petri Nets |
1989 |
DBLP DOI BibTeX RDF |
Structural analysis of P/T nets, Minimal semiflows, Extremal direction of a cone, Algorithms to compute all minimal semiflows, Tests of minimality, Convex Geometry |
20 | Lidia Huerga, Enrico Miglierina, Elena Molho, Vicente Novo |
On proper minimality in set optimization. |
Optim. Lett. |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Myeongsoo Kim, Santosh Pande, Alessandro Orso |
Improving Program Debloating with 1-DU Chain Minimality. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun |
Dimension-Minimality and Primality of Counter Nets. |
FoSSaCS (2) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Zhenyang Xu, Yongqiang Tian 0001, Mengxiao Zhang, Gaosen Zhao, Yu Jiang 0001, Chengnian Sun |
Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Menachem Shlossberg |
Minimality Conditions Equivalent to the Finitude of Fermat and Mersenne Primes. |
Axioms |
2023 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | Nadia Creignou, Frédéric Olive, Johannes Schmidt 0001 |
Complexity of Reasoning with Cardinality Minimality Conditions. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun |
Dimension-Minimality and Primality of Counter Nets. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Walid Marweni |
Primality, criticality and minimality problems in trees. |
Discret. Math. Algorithms Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Nadia Creignou, Frédéric Olive, Johannes Schmidt 0001 |
Complexity of Reasoning with Cardinality Minimality Conditions. |
AAAI |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Jason M. Whyte |
Monte Carlo investigation of structural minimality for structures of uncontrolled linear switching systems with Maple. |
Maple Trans. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Alfred Dolich, Chris Miller 0001, Alex Savatovsky, Athipat Thamrongthanyalak |
Connectedness in Structures on the Real numbers: O-Minimality and Undecidability. |
J. Symb. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Nadav Meir |
Pseudo-finite Sets, Pseudo-O-Minimality - erratum. |
J. Symb. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Federico Toffano, Nic Wilson |
Minimality and comparison of sets of multi-attribute vectors. |
Auton. Agents Multi Agent Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Lukasz Kruk, Robert Gieroba |
Local edge minimality of SRPT networks with shared resources. |
Math. Methods Oper. Res. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Thorsten Wißmann |
Minimality Notions via Factorization Systems and Examples. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
20 | Thorsten Wißmann |
Minimality Notions via Factorization Systems and Examples. |
Log. Methods Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Gunnar Brinkmann, Jan Goedgebeur, Brendan D. McKay |
The minimality of the Georges-Kelmans graph. |
Math. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Elena Angelini, Luca Chiantini |
Minimality and uniqueness for decompositions of specific ternary forms. |
Math. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Kai Feng, Mei Liu |
On Negative Imaginariness and H∞ Control of Descriptor State-space Symmetric Systems without Minimality Assumptions. |
ASCC |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Feisi Fu, Wenchao Li 0001 |
Sound and Complete Neural Network Repair with Minimality and Locality Guarantees. |
ICLR |
2022 |
DBLP BibTeX RDF |
|
20 | Nadav Meir |
Pseudo-finite Sets, Pseudo-O-Minimality. |
J. Symb. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Radomír Halas, Zbynek Kurac, Jozef Pócs |
On the minimality of some generating sets of the aggregation clone on a finite chain. |
Inf. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Andrzej Wisniewski |
Entailment, Transmission of Truth, and Minimality. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
20 | Thomas Eiter, Tobias Kaminski |
Pruning external minimality checking for answer set programs using semantic dependencies. |
Artif. Intell. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Leen Lambers, Fernando Orejas |
Transformation rules with nested application conditions: Critical pairs, initial conflicts & minimality. |
Theor. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Thorsten Wißmann |
Minimality Notions via Factorization Systems. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Feisi Fu, Wenchao Li 0001 |
Sound and Complete Neural Network Repair with Minimality and Locality Guarantees. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Gunnar Brinkmann, Jan Goedgebeur, Brendan D. McKay |
The Minimality of the Georges-Kelmans Graph. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Vahagn Aslanyan |
Ax-Schanuel and strong minimality for the j-function. |
Ann. Pure Appl. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Leonardo Mazzini |
Extended Sufficient Conditions for Strong Minimality in the Bolza Problem: Applications to Space Trajectory Optimization. |
J. Optim. Theory Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Mousumi Mukherjee, Debasattam Pal |
On Minimality of Initial Data Required to Uniquely Characterize Every Trajectory in a Discrete n-D System. |
SIAM J. Control. Optim. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Davide Lofano, Giovanni Paolini |
Euclidean matchings and minimality of hyperplane arrangements. |
Discret. Math. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell 0001 |
On Positivity and Minimality for Second-Order Holonomic Sequences. |
MFCS |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Thorsten Wißmann |
Minimality Notions via Factorization Systems ((Co)algebraic pearls). |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Maurizio Boccia, Antonio Sforza, Claudio Sterle |
Simple Pattern Minimality Problems: Integer Linear Programming Formulations and Covering-Based Heuristic Solving Approaches. |
INFORMS J. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell 0001 |
On Positivity and Minimality for Second-Order Holonomic Sequences. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Quentin Cohen-Solal |
Minimality of Combined Qualitative Constraint Networks. |
ECAI |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Federico Toffano, Nic Wilson |
Minimality and Comparison of Sets of Multi-Attribute Vectors. |
ECAI |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Ofer Arieli, Christian Straßer |
On Minimality and Consistency Tolerance in Logical Argumentation Frameworks. |
COMMA |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Mike Behrisch, Hajime Machida |
On Minimality of Some Binary Clones Related to Unary Functions. |
ISMVL |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Artem Chernikov, Pierre Simon |
Henselian Valued Fields and InP-Minimality. |
J. Symb. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Victoria Noquez |
Vaught's Two-Cardinal Theorem and Notions of Minimality in Continuous Logic. |
Bull. Symb. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Christos Sourdis |
Energy minimality property of the connecting solution of the Painlevé phase transition model. |
Appl. Math. Lett. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Vakhtang Lomadze |
The predictable degree property and minimality in multidimensional convolutional coding. |
Discret. Math. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Eiter, Tobias Kaminski |
Pruning External Minimality Checking for ASP Using Semantic Dependencies. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Guillaume Escamocher, Barry O'Sullivan |
Pushing the frontier of minimality. |
Theor. Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Sylvie Davies |
Primitivity, Uniform Minimality, and State Complexity of Boolean Operations. |
Theory Comput. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith |
Site-Directed Insertion: Decision Problems, Maximality and Minimality. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
20 | Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell |
Homomorphisms and Minimality for Enrich-by-Need Security Analysis. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
20 | Daniel Krenn, Volker Ziegler |
Non-minimality of the width-w non-adjacent form in conjunction with trace one 휏-adic digit expansions and Koblitz curves in characteristic two. |
Math. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Nicolás Cianci, Miguel Ottina |
Poset splitting and minimality of finite models. |
J. Comb. Theory, Ser. A |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Lisa Ehrlinger, Wolfram Wöß |
A Novel Data Quality Metric for Minimality. |
QUAT@WISE |
2018 |
DBLP DOI BibTeX RDF |
|
20 | K. Hemantha, Nidhi Desai, Manik Lal Das |
On Minimality Attack for Privacy-Preserving Data Publishing. |
SSCC |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Athanasios Panaretos, David Corsar, Wamberto Weber Vasconcelos |
Minimality and Simplicity of Rules for the Internet-of-Things. |
AT |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith |
Site-Directed Insertion: Decision Problems, Maximality and Minimality. |
DCFS |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev |
Frame-Validity Games and Absolute Minimality of Modal Axioms. |
Advances in Modal Logic |
2018 |
DBLP BibTeX RDF |
|
20 | Christian Mancas |
MatBase Constraint Sets Coherence and Minimality Enforcement Algorithms. |
ADBIS |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Antoine Chambert-Loir |
G.O. Jones and A.J. Wilkie, editors, O-Minimality and Diophantine Geometry. London Mathematical Society Lecture Note Series, vol. 421, Cambridge University Press, 2015. xii + 221 pp. |
Bull. Symb. Log. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Lukasz Kruk |
Edge minimality of EDF resource sharing networks. |
Math. Methods Oper. Res. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Mahide Küçük, Didem Tozkan, Yalçin Küçük |
On some geometric conditions for minimality of DCH-functions via DC-duality approach. |
J. Glob. Optim. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Zimi Li, Andrea Cohen, Simon Parsons |
Two forms of minimality in ASPIC+. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
20 | Sylvie Davies |
Primitivity, Uniform Minimality and State Complexity of Boolean Operations. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
20 | Mert Bastug, Mihály Petreczky, Laurentiu Hetel |
Minimality of aperiodic sampled data systems. |
ACC |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Michal Ajdarów |
Minimality problems for promise versions of finite automata. |
NCMA |
2017 |
DBLP BibTeX RDF |
|
20 | Zimi Li, Andrea Cohen, Simon Parsons |
Two Forms of Minimality in ASPIC ^+. |
EUMAS/AT |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Raquel Pinto, Rita Simões |
On Minimality of ISO Representation of Basic 2D Convolutional Codes. |
ICMCTA |
2017 |
DBLP DOI BibTeX RDF |
|