Search results for "minimality"

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