Search results for "dualization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
104	Thomas Eiter, Kazuhisa Makino	Abduction and the Dualization Problem.	Discovery Science	2003	DBLP DOI BibTeX RDF	monotone dualization, Horn functions, polynomial total-time computation, NP-hardness, Abduction, model-based reasoning, hypergraph transversals
86	Khaled M. Elbassioni	On Dualization in Products of Forests.	STACS	2002	DBLP DOI BibTeX RDF	Data mining, poset, incremental algorithms, forest, dualization
80	Ken Satoh, Takeaki Uno	Enumerating Maximal Frequent Sets Using Irredundant Dualization.	Discovery Science	2003	DBLP DOI BibTeX RDF
55	Brian Day, Paddy McCrudden, Ross Street	Dualizations and Antipodes.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	monoidal bicategory, enriched category, bidual, antipode, quantum group, quasi-Hopf algebra, comodule, braided group
55	Endre Boros, Khaled M. Elbassioni, Vladimir Gurvich, Leonid Khachiyan, Kazuhisa Makino	On Generating All Minimal Integer Solutions for a Monotone System of Linear Inequalities.	ICALP	2001	DBLP DOI BibTeX RDF
49	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
49	Yoshitaka Yamamoto, Koji Iwanuma, Katsumi Inoue	Non-monotone Dualization via Monotone Dualization.	ILP (Late Breaking Papers)	2012	DBLP BibTeX RDF
43	Anton Bogdanovych, Sara Drago	Euclidean representation of 3D electronic institutions: automatic generation.	AVI	2006	DBLP DOI BibTeX RDF	3D electronic institutions, rectangular dualization
43	Endre Boros, Vladimir Gurvich, Leonid Khachiyan, Kazuhisa Makino	On the Complexity of Generating Maximal Frequent and Minimal Infrequent Sets.	STACS	2002	DBLP DOI BibTeX RDF	infrequent sets, Data mining, independent sets, hitting sets, transversals, frequent sets, dualization
43	Parthasarathi Dasgupta, Susmita Sur-Kolay	Slicible rectangular graphs and their optimal floorplans.	ACM Trans. Design Autom. Electr. Syst.	2001	DBLP DOI BibTeX RDF	graph dualization, nonslicible floorplans, slicible floorplans, heuristic search, planar graphs, Floorplanning
43	P. S. Dasgupta, Susmita Sur-Kolay, Bhargab B. Bhattacharya	VLSI floorplan generation and area optimization using AND-OR graph search.	VLSI Design	1995	DBLP DOI BibTeX RDF	VLSI floorplan generation, AND-OR graph search, rectangular dualization, minimum-area floorplan, optimal sizing, heuristic search method, top-down first phase, search effort, bottom-up polynomial-time algorithm, nonslicible floorplans, VLSI, graph theory, circuit layout CAD, circuit optimisation, integrated circuit interconnections, aspect ratios, area optimization, adjacency graph
43	Endre Boros, Khaled M. Elbassioni, Kazuhisa Makino	On Berge Multiplication for Monotone Boolean Dualization.	ICALP (1)	2008	DBLP DOI BibTeX RDF
43	Khaled M. Elbassioni	On the Complexity of the Multiplication Method for Monotone CNF/DNF Dualization.	ESA	2006	DBLP DOI BibTeX RDF
43	Massimo Ancona, Walter Cazzola, Sara Drago, Gianluca Quercini	Visualizing and Managing Network Topologies via Rectangular Dualization.	ISCC	2006	DBLP DOI BibTeX RDF
43	Ken Satoh, Takeaki Uno	Enumerating Minimally Revised Specifications Using Dualization.	JSAI Workshops	2005	DBLP DOI BibTeX RDF
43	Yen-Tai Lai, Sany M. Leinwand	Algorithms for floorplan design via rectangular dualization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
37	Irene A. Sharaya	On Maximal Inner Estimation of the Solution Sets of Linear Systems with Interval Parameters.	Reliab. Comput.	2001	DBLP DOI BibTeX RDF
37	Richard I. Hartley, Gilles Debunne	Dualizing Scene Reconstruction Algorithms.	SMILE	1998	DBLP DOI BibTeX RDF
24	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
24	Gabriele Steidl, Stephan Didas, Julia Neumann	Splines in Higher Order TV Regularization.	Int. J. Comput. Vis.	2006	DBLP DOI BibTeX RDF	higher order TV regularization, Legendre-Fenchel dualization taut-string algorithm, support vector regression, splines
24	Stephen Mann, Leo Dorst	Geometric Algebra: A Computational Framework for Geometrical Applications (Part 2).	IEEE Computer Graphics and Applications	2002	DBLP DOI BibTeX RDF	rotation reprensentation, Plucker coordinates, geometric differentiation, computational geometry, join, quaternions, meet, geometric algebra, Clifford algebra, homogeneous coordinates, dualization
24	Parthasarathi Dasgupta, Susmita Sur-Kolay	Slicibility of rectangular graphs and floorplan optimization.	ISPD	1997	DBLP DOI BibTeX RDF	graph dualization, nonslicible floorplans, slicible floorplans, very large scale integration, heuristic search, planar graphs, floorplanning
24	Jan C. Bioch, Toshihide Ibaraki	Generating and Approximating Nondominated Coteries.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	Almost-self-dual functions, nondominated coteries, positive Boolean functions, self-dual functions, mutual-exclusion, coteries, monotone Boolean functions, dualization
24	Mauro Mezzini, Fernando Cuartero Gomez, Fernando L. Pelayo, Jose Javier Paulet Gonzales, Hernan Indibil de la Cruz Calvo, Vicente Pascual	A polynomial quantum computing algorithm for solving the dualization problem.	CoRR	2023	DBLP DOI BibTeX RDF
24	Francesco Tonin, Alex Lambert, Panagiotis Patrinos, Johan A. K. Suykens	Extending Kernel PCA through Dualization: Sparsity, Robustness and Fast Algorithms.	CoRR	2023	DBLP DOI BibTeX RDF
24	Mauro Mezzini, Fernando Cuartero Gomez, Fernando López Pelayo, Jose Javier Paulet Gonzales, Hernan Indibil de la Cruz Calvo, Vicente Pascual	A polynomial quantum computing algorithm for solving the dualization problem for positive boolean functions (Short Paper).	AIQxQIA@AI*IA	2023	DBLP BibTeX RDF
24	Francesco Tonin, Alex Lambert, Panagiotis Patrinos, Johan A. K. Suykens	Extending Kernel PCA through Dualization: Sparsity, Robustness and Fast Algorithms.	ICML	2023	DBLP BibTeX RDF
24	Yinsheng Zhang	Harmonization, Dualization and Globalization of Categorical Propositions.	J. Multiple Valued Log. Soft Comput.	2022	DBLP BibTeX RDF
24	Khaled M. Elbassioni	On Dualization over Distributive Lattices.	Discret. Math. Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
24	Yishuai Li	Testing by Dualization.	CoRR	2022	DBLP DOI BibTeX RDF
24	Huisi Zhou, Dantong Ouyang, Liming Zhang 0005, Naiyu Tian	Model-based diagnosis with improved implicit hitting set dualization.	Appl. Intell.	2022	DBLP DOI BibTeX RDF
24	Riley Murray, Venkat Chandrasekaran, Adam Wierman	Publisher Correction to: Signomial and polynomial optimization via relative entropy and partial dualization.	Math. Program. Comput.	2021	DBLP DOI BibTeX RDF
24	Riley Murray, Venkat Chandrasekaran, Adam Wierman	Signomial and polynomial optimization via relative entropy and partial dualization.	Math. Program. Comput.	2021	DBLP DOI BibTeX RDF
24	Oscar Defrain, Lhouari Nourine, Takeaki Uno	On the dualization in distributive lattices and related problems.	Discret. Appl. Math.	2021	DBLP DOI BibTeX RDF
24	Oscar Defrain, Lhouari Nourine	Dualization in lattices given by implicational bases.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
24	Khaled M. Elbassioni	On Dualization over Distributive Lattices.	CoRR	2020	DBLP BibTeX RDF
24	Oscar Defrain	On the dualization problem in graphs, hypergraphs, and lattices. (Sur le problème de dualisation dans les graphes, hypergraphes, et treillis).		2020	RDF
24	Oscar Defrain, Lhouari Nourine, Takeaki Uno	On the dualization in distributive lattices and related problems.	CoRR	2019	DBLP BibTeX RDF
24	Oscar Defrain, Lhouari Nourine	Dualization in lattices given by implicational bases.	CoRR	2019	DBLP BibTeX RDF
24	Pierre Laforgue, Alex Lambert, Luc Motte, Florence d'Alché-Buc	On the Dualization of Operator-Valued Kernel Machines.	CoRR	2019	DBLP BibTeX RDF
24	Oscar Defrain, Lhouari Nourine	Dualization in Lattices Given by Implicational Bases.	ICFCA	2019	DBLP DOI BibTeX RDF
24	Nafiseh Sedaghat, Tamon Stephen, Leonid Chindelevitch	Speeding up Dualization in the Fredman-Khachiyan Algorithm B.	SEA	2018	DBLP DOI BibTeX RDF
24	Takahisa Toda	Dualization of boolean functions using ternary decision diagrams.	Ann. Math. Artif. Intell.	2017	DBLP DOI BibTeX RDF
24	Kira V. Adaricheva, James B. Nation	Discovery of the D-basis in binary tables based on hypergraph dualization.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
24	Mikhail A. Babin, Sergei O. Kuznetsov	Dualization in lattices given by ordered sets of irreducibles.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
24	Lhouari Nourine, Jean-Marc Petit	Beyond Hypergraph Dualization.	Encyclopedia of Algorithms	2016	DBLP DOI BibTeX RDF
24	Walter Alt, C. Yalçin Kaya, Christopher Schneider	Dualization and discretization of linear-quadratic control problems with bang-bang solutions.	EURO J. Comput. Optim.	2016	DBLP DOI BibTeX RDF
24	Nicolas Durand 0001, Mohamed Quafafou	Frequent Itemset Border Approximation by Dualization.	Trans. Large Scale Data Knowl. Centered Syst.	2016	DBLP DOI BibTeX RDF
24	Lhouari Nourine, Jean-Marc Petit	Extended dualization: Application to maximal pattern mining.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
24	Elena V. Djukova, Andrey G. Nikiforov, Petr A. Prokofyev	Parallelizing asymptotically optimal algorithms for large-scale dualization problems.	CoRR	2016	DBLP BibTeX RDF
24	Kira V. Adaricheva, James B. Nation	Discovery of the D-basis in binary tables based on hypergraph dualization.	CoRR	2015	DBLP BibTeX RDF
24	Mikhail A. Babin, Sergei O. Kuznetsov	Dualization in Lattices Given by Ordered Sets of Irreducibles.	CoRR	2015	DBLP BibTeX RDF
24	Alexey Ignatiev, Alessandro Previti, Mark H. Liffiton, João Marques-Silva 0001	Smallest MUS Extraction with Minimal Hitting Set Dualization.	CP	2015	DBLP DOI BibTeX RDF
24	Lhouari Nourine, Jean-Marc Petit	Dualization on Partially Ordered Sets: Preliminary Results.	ISIP	2014	DBLP DOI BibTeX RDF
24	Takahisa Toda	Dualization of Boolean functions Using Ternary Decision Diagrams.	ISAIM	2014	DBLP BibTeX RDF
24	Michael Kiermaier, Johannes Zwanzger	New ring-linear codes from dualization in projective Hjelmslev geometries.	Des. Codes Cryptogr.	2013	DBLP DOI BibTeX RDF
24	Lhouari Nourine, Jean-Marc Petit	Extending Set-based Dualization: Application to Pattern Mining.	ECAI	2012	DBLP DOI BibTeX RDF
24	César Sánchez 0001, Julián Samborski-Forlese	Efficient Regular Linear Temporal Logic Using Dualization and Stratification.	TIME	2012	DBLP DOI BibTeX RDF
24	Oya Ekin Karasan	Incremental polynomial time dualization of quadratic functions and a subclass of degree-k functions.	Ann. Oper. Res.	2011	DBLP DOI BibTeX RDF
24	Heide Gluesing-Luerssen, Elizabeth A. Weaver	Characteristic Generators and Dualization for Tail-Biting Trellises.	IEEE Trans. Inf. Theory	2011	DBLP DOI BibTeX RDF
24	Heide Gluesing-Luerssen, Elizabeth A. Weaver	Characteristic Generators and Dualization for Tail-Biting Trellises	CoRR	2011	DBLP BibTeX RDF
24	Peter Damaschke	Parameterized algorithms for double hypergraph dualization with rank limitation and maximum minimal vertex cover.	Discret. Optim.	2011	DBLP DOI BibTeX RDF
24	Khaled M. Elbassioni, Imran Rauf	Polynomial-time dualization of r-exact hypergraphs with applications in geometry.	Discret. Math.	2010	DBLP DOI BibTeX RDF
24	Endre Boros, Khaled M. Elbassioni, Kazuhisa Makino	Left-to-Right Multiplication for Monotone Boolean Dualization.	SIAM J. Comput.	2010	DBLP DOI BibTeX RDF
24	Gianluca Quercini, Massimo Ancona	Confluent Drawing Algorithms Using Rectangular Dualization.	GD	2010	DBLP DOI BibTeX RDF
24	Khaled M. Elbassioni	Algorithms for Dualization over Products of Partially Ordered Sets.	SIAM J. Discret. Math.	2009	DBLP DOI BibTeX RDF
24	Thomas Eiter, Kazuhisa Makino, Georg Gottlob	Computational aspects of monotone dualization: A brief survey.	Discret. Appl. Math.	2008	DBLP DOI BibTeX RDF
24	Khaled M. Elbassioni	On the complexity of monotone dualization and generating minimal hypergraph transversals.	Discret. Appl. Math.	2008	DBLP DOI BibTeX RDF
24	Leonid Khachiyan, Endre Boros, Khaled M. Elbassioni, Vladimir Gurvich	On the dualization of hypergraphs with bounded edge-intersections and other related classes of hypergraphs.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
24	James Bailey 0001, Peter J. Stuckey	Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization.	PADL	2005	DBLP DOI BibTeX RDF	Minimal unsatisfiable sets, constraint solving, hitting sets, hypergraph transversals
24	Dimitris J. Kavvadias, Elias C. Stavropoulos	Monotone Boolean dualization is in co-NP[log2n].	Inf. Process. Lett.	2003	DBLP DOI BibTeX RDF
24	Kazuhisa Makino	Efficient dualization of O(log n)-term monotone disjunctive normal forms.	Discret. Appl. Math.	2003	DBLP DOI BibTeX RDF
24	Thomas Eiter, Georg Gottlob, Kazuhisa Makino	New Results on Monotone Dualization and Generating Hypergraph Transversals.	SIAM J. Comput.	2003	DBLP DOI BibTeX RDF
24	Thomas Eiter	Abduction and the Dualization Problem.	ALT	2003	DBLP DOI BibTeX RDF
24	Takeaki Uno, Ken Satoh	Detailed Description of an Algorithm for Enumeration of Maximal Frequent Sets with Irredundant Dualization.	FIMI	2003	DBLP BibTeX RDF
24	Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino	Recognition and dualization of disguised bidual Horn functions.	Inf. Process. Lett.	2002	DBLP DOI BibTeX RDF
24	Thomas Eiter, Georg Gottlob, Kazuhisa Makino	New Results on Monotone Dualization and Generating Hypergraph Transversals	CoRR	2002	DBLP BibTeX RDF
24	Khaled M. Elbassioni	An Algorithm for Dualization in Products of Lattices and Its Applications.	ESA	2002	DBLP DOI BibTeX RDF
24	Teemu Pennanen	Dualization of Generalized Equations of Maximal Monotone Type.	SIAM J. Optim.	2000	DBLP DOI BibTeX RDF
24	Jacek Cichon, Adam Krawczyk, Barbara Majcher-Iwanow, Bogdan Weglorz	Dualization of The Van Douwen Diagram.	J. Symb. Log.	2000	DBLP DOI BibTeX RDF
24	Carlos Domingo, Nina Mishra, Leonard Pitt	Efficient Read-Restricted Monotone CNF/DNF Dualization by Learning with Membership Queries.	Mach. Learn.	1999	DBLP DOI BibTeX RDF
24	Jan C. Bioch	Dualization, Decision Lists and Identification of Monotone Discrete Functions.	Ann. Math. Artif. Intell.	1998	DBLP DOI BibTeX RDF
24	Michael L. Fredman, Leonid Khachiyan	On the Complexity of Dualization of Monotone Disjunctive Normal Forms.	J. Algorithms	1996	DBLP DOI BibTeX RDF
24	Gary K. H. Yeap, Majid Sarrafzadeh	Sliceable Floorplanning by Graph Dualization.	SIAM J. Discret. Math.	1995	DBLP DOI BibTeX RDF
24	Jan C. Bioch, Toshihide Ibaraki	Complexity of Identification and Dualization of Positive Boolean Functions.	Inf. Comput.	1995	DBLP DOI BibTeX RDF
24	Yachyang Sun, Majid Sarrafzadeh	Floorplanning by Graph Dualization: L-shaped Modules.	Algorithmica	1993	DBLP DOI BibTeX RDF
24	Kok-Hoo Yeap, Majid Sarrafzadeh	Floor-Planning by Graph Dualization: 2-Concave Rectilinear Modules.	SIAM J. Comput.	1993	DBLP DOI BibTeX RDF
24	Hoang Tuy	Polyhedral annexaton, dualization and dimension reduction technique in global optimization.	J. Glob. Optim.	1991	DBLP DOI BibTeX RDF
24	Yves Crama	Dualization of regular Boolean functions.	Discret. Appl. Math.	1987	DBLP DOI BibTeX RDF
18	Jianbin Qiu, Gang Feng 0001, Jie Yang 0004	Robust H∞ static output feedback control of discrete-time switched polytopic linear systems with average dwell-time.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	static output feedback, average dwell-time, time-varying uncertainty, H ? control, linear matrix inequality, switched systems
18	Kevin Yuen 0001, Baochun Li, Ben Liang 0001	Distributed Data Gathering in Multi-sink Sensor Networks with Correlated Sources.	Networking	2006	DBLP DOI BibTeX RDF	optimal rate allocation, transmission structure, Sensor networks, distributed algorithm, data correlation, minimum energy
18	Abilio Lucena	Non Delayed Relax-and-Cut Algorithms.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	relax-and-cut, valid constraints, dual bound strengthening, Lagrangian relaxation
18	Wided Ouaja, Barry Richards	Hybrid Lagrangian relaxation for bandwidth-constrained routing: knapsack decomposition.	SAC	2005	DBLP DOI BibTeX RDF	integer multicommodity flow problems, network routing, constraint propagation, lagrangian relaxation
18	Jirí Adámek	A Logic of Coequations.	CSL	2005	DBLP DOI BibTeX RDF
18	Fabien De Marchi, Frédéric Flouvat, Jean-Marc Petit	Adaptive Strategies for Mining the Positive Border of Interesting Patterns: Application to Inclusion Dependencies in Databases.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
18	Till Mossakowski	Comorphism-Based Grothendieck Logics.	MFCS	2002	DBLP DOI BibTeX RDF
18	Endre Boros, Vladimir Gurvich, Leonid Khachiyan, Kazuhisa Makino	Generating Partial and Multiple Transversals of a Hypergraph.	ICALP	2000	DBLP DOI BibTeX RDF
18	Jan C. Bioch, Viara Popova	Rough Sets and Ordinal Classification.	ALT	2000	DBLP DOI BibTeX RDF
18	Parthasarathi Dasgupta, Susmita Sur-Kolay, Bhargab B. Bhattacharya	A unified approach to topology generation and optimal sizing of floorplans.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF
18	B. Lokanathan, Edwin Kinnen	Performance optimized floor planning by graph planarization.	DAC	1989	DBLP DOI BibTeX RDF