Search results for "Powerset"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Klaus Biedermann	Powerset Trilattices.	ICCS	1998	DBLP DOI BibTeX RDF
86	Athanassios Tzouvaras	What is so special with the powerset operation?	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Powerset operator, Positive set-operator, like, independent operator
73	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella	Widening operators for powerset domains.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Abstract domain refinement, Powersets, Widening operators, Abstract interpretation, Convex polyhedra
73	Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli	Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking.	TACAS	2001	DBLP DOI BibTeX RDF
63	Martin Bichler, Pasha Shabalin, Georg Ziegler	Efficiency with linear prices: a theoretical and experimental analysis of the combinatorial clock auction.	EC	2010	DBLP DOI BibTeX RDF	allocative efficiency, combinatorial clock auction, core-selecting auctions, ex-post equilibrium
63	Sriram Sankaranarayanan 0001, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta	Static Analysis in Disjunctive Numerical Domains.	SAS	2006	DBLP DOI BibTeX RDF
57	Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv	Abstract Counterexample-Based Refinement for Powerset Domains.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
57	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella	Widening Operators for Powerset Domains.	VMCAI	2004	DBLP DOI BibTeX RDF
57	Marc Gyssens, Dirk Van Gucht	The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
47	Eitan Frachtenberg	Reducing Query Latencies in Web Search Using Fine-Grained Parallelism.	World Wide Web	2009	DBLP DOI BibTeX RDF	performance evaluation, semantic web, parallel algorithms, search engines, multi-core processors
47	Orna Kupferman, Gila Morgenstern, Aniello Murano	Typeness for omega-Regular Automata.	ATVA	2004	DBLP DOI BibTeX RDF
47	Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field	Partially Disjunctive Heap Abstraction.	SAS	2004	DBLP DOI BibTeX RDF
45	Jeremy T. Engle, Edward L. Robertson	Depth first algorithms and inferencing for AFD mining.	IDEAS	2009	DBLP DOI BibTeX RDF	Lozenge Search, approximate functional dependencies, powerset lattices, data mining, depth first search
41	Christian Dax, Jochen Eisinger, Felix Klaedtke	Mechanizing the Powerset Construction for Restricted Classes of omega -Automata.	ATVA	2007	DBLP DOI BibTeX RDF
41	Dan Suciu, Jan Paredaens	Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure.	PODS	1994	DBLP DOI BibTeX RDF
32	Luca Alberucci	Strictness of the Modal µ-Calculus Hierarchy.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
32	Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg	Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF	place/transition nets, elementary nets, uniform approach, realization problem, category theory
32	Marek Szczerba	Representation Theorems for Residuated Groupoids.	LACL	1996	DBLP DOI BibTeX RDF
32	Limsoon Wong	Normal Forms and Conservative Properties for Query Languages over Collection Types.	PODS	1993	DBLP DOI BibTeX RDF
32	Catriel Beeri, Yoram Kornatzky	The Many Faces of Query Monotonicity.	EDBT	1990	DBLP DOI BibTeX RDF
29	Mark Ingebretsen, Greg Goth	Augmented-Cognition Research on the Rise.	IEEE Intell. Syst.	2008	DBLP DOI BibTeX RDF	iSEEK, PanImages, Lecture Browser, Powerset, Playware, human-computer interaction, search, ambient intelligence, augmented cognition
29	Steven J. Vaughan-Nichols	Researchers Make Web Searches More Intelligent.	Computer	2006	DBLP DOI BibTeX RDF	Powerset, Medstory, Riya, Web searches
26	Lili Shen, Xiaojuan Zhao	The powerset monad on quantale-valued sets.	Fuzzy Sets Syst.	2024	DBLP DOI BibTeX RDF
26	Sanjay Kumar 0001, Nikhil Kumar, Aditya Dev, Siraz Naorem	Movie genre classification using binary relevance, label powerset, and machine learning classifiers.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
26	Alexander P. Sostak, Ingrida Uljane	Powerset operators induced by fuzzy relations as a basis for fuzzification of various mathematical structures.	Int. J. Approx. Reason.	2023	DBLP DOI BibTeX RDF
26	Alexis Plaquet, Hervé Bredin	Powerset multi-class cross entropy loss for neural speaker diarization.	CoRR	2023	DBLP DOI BibTeX RDF
26	Sijia Lu, Dexue Zhang	The double contravariant powerset monad in the Goguen category of fuzzy sets.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
26	Sutapa Mahato, S. P. Tiwari	On the Categories of Coalgebras, Dialgebras and Powerset Theory over L-Fuzzy Approximation Spaces.	IJCCI	2023	DBLP DOI BibTeX RDF
26	Guram Bezhanishvili, Luca Carai, Patrick J. Morandi	Duality for powerset coalgebras.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
26	Andrei Alexandru	Properties of Finitely Supported Self - Mappings on the Finite Powerset of Atoms.	Comput. Sci. J. Moldova	2021	DBLP BibTeX RDF
26	Jirí Mockor	Relational, closure and partition powerset theories.	Fuzzy Sets Syst.	2021	DBLP DOI BibTeX RDF
26	Alexandre Goy 0002, Daniela Petrisan, Marc Aiguier	Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces.	ICALP	2021	DBLP DOI BibTeX RDF
26	Niccolò Veltri	Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor.	FSCD	2021	DBLP DOI BibTeX RDF
26	Guram Bezhanishvili, Luca Carai, Patrick J. Morandi	Coalgebras for the powerset functor and Thomason duality.	CoRR	2020	DBLP BibTeX RDF
26	Jirí Mockor	Powerset Theory of Fuzzy Soft Sets.	Int. J. Fuzzy Log. Intell. Syst.	2020	DBLP DOI BibTeX RDF
26	Jirí Mockor	Powerset Operators in Categories with Fuzzy Relations Defined by Monads.	NAFIPS	2020	DBLP DOI BibTeX RDF
26	Youssef M. Essa, Ahmed El-Mahalawy, Gamal Attiya, Ayman El-Sayed	Parallel and Distributed Powerset Generation Using Big Data Processing.	Appl. Artif. Intell.	2019	DBLP DOI BibTeX RDF
26	Chris Wendler, Dan Alistarh, Markus Püschel	Powerset Convolutional Neural Networks.	CoRR	2019	DBLP BibTeX RDF
26	Chris Wendler, Markus Püschel, Dan Alistarh	Powerset Convolutional Neural Networks.	NeurIPS	2019	DBLP BibTeX RDF
26	Bartek Klin, Julian Salamanca	Iterated Covariant Powerset is not a Monad.	MFPS	2018	DBLP DOI BibTeX RDF
26	Jirí Mockor	Fuzzy Type Powerset Operators and F-Transforms.	MDAI	2018	DBLP DOI BibTeX RDF
26	Jirí Mockor	Any F-Transform Is Defined by a Powerset Theory.	WILF	2018	DBLP DOI BibTeX RDF
26	Jirí Mockor	Some Examples of Relations Between F-Transforms and Powerset Theories.	NAFIPS	2018	DBLP DOI BibTeX RDF
26	Bilal Alsallakh, Liu Ren	PowerSet: A Comprehensive Visualization of Set Intersections.	IEEE Trans. Vis. Comput. Graph.	2017	DBLP DOI BibTeX RDF
26	Lena Wiese	Flexible Query Answering with the powerset-AI Operator and Star-Based Ranking.	FQAS	2017	DBLP DOI BibTeX RDF
26	Domenico Cantone, Pietro Ursino	Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate.	Inf. Comput.	2014	DBLP DOI BibTeX RDF
26	Limsoon Wong	The Dichotomous Intensional Expressive Power of the Nested Relational Calculus with Powerset.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
26	Limsoon Wong	A dichotomy in the intensional expressive power of nested relational calculi augmented with aggregate functions and a powerset operator.	PODS	2013	DBLP DOI BibTeX RDF
26	Koki Nishizawa, Hitoshi Furusawa	Relational Representation Theorem for Powerset Quantales.	RAMiCS	2012	DBLP DOI BibTeX RDF
26	Alexandra Silva 0001, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten	Generalizing the powerset construction, coalgebraically.	FSTTCS	2010	DBLP DOI BibTeX RDF
26	Patrik Eklund, Maria A. Galán	The Rough Powerset Monad.	J. Multiple Valued Log. Soft Comput.	2007	DBLP BibTeX RDF
26	S. E. Rodabaugh	Relationship of Algebraic Theories to Powerset Theories and Fuzzy Topological Theories for Lattice-Valued Mathematics.	Int. J. Math. Math. Sci.	2007	DBLP DOI BibTeX RDF
26	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella	Widening operators for powerset domains.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
26	Souheib Baarir, Alexandre Duret-Lutz	Emptiness Check of Powerset Buchi Automata using Inclusion Tests.	ACSD	2007	DBLP DOI BibTeX RDF
26	Patrik Eklund, Maria A. Galán	The Rough Powerset Monad.	ISMVL	2007	DBLP DOI BibTeX RDF
26	Patrik Eklund, Maria A. Galán	On Logic with Fuzzy and Rough Powerset Monads.	RSEISP	2007	DBLP DOI BibTeX RDF
26	Cosimo De Mitri, Cosimo Guido	Some remarks on fuzzy powerset operators.	Fuzzy Sets Syst.	2002	DBLP DOI BibTeX RDF
26	Domenico Cantone, Pietro Ursino, Eugenio G. Omodeo	Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators.	Inf. Comput.	2002	DBLP DOI BibTeX RDF
26	Saharon Shelah, Lee J. Stanley	Forcing Many Positive Polarized Partition Relations Between A Cardinal and Its Powerset.	J. Symb. Log.	2001	DBLP DOI BibTeX RDF
26	Jan Van den Bussche	Simulation of the nested relational algebra by the flat relational algebra, with an application to the complexity of evaluating powerset algebra expressions.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
26	Frans Coetzee, Eric J. Glover, Steve Lawrence, C. Lee Giles	Feature Selection in Web Applications by ROC Inflections and Powerset Pruning.	SAINT	2001	DBLP DOI BibTeX RDF
26	Gilberto Filé, Francesco Ranzato	The Powerset Operator on Abstract Interpretations.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
26	Miroslawa Kolowska-Gawiejnowicz	Powerset Residuated Algebras and Generalized Lambek Calculus.	Math. Log. Q.	1997	DBLP DOI BibTeX RDF
26	León González, Ángel Marín	Algorithmic estimate for aggregated powerset relations.	Fuzzy Sets Syst.	1997	DBLP DOI BibTeX RDF
26	Gilberto Filé, Francesco Ranzato	Improving Abstract Interpretations by Systematic Lifting to the Powerset.	ILPS	1994	DBLP BibTeX RDF
26	Gilberto Filé, Francesco Ranzato	Improving Abstract Interpretations by Systematic Lifting to the Powerset.	GULP-PRODE (1)	1994	DBLP BibTeX RDF
26	Marc Gyssens, Dirk Van Gucht	The Powerset Algebra as a Natural Tool to Handle Nested Database Relations.	J. Comput. Syst. Sci.	1992	DBLP DOI BibTeX RDF
26	Alexander Abian, Wael A. Amin	The Cardinality of Powersets in Finite Models of the Powerset Axiom.	Notre Dame J. Formal Log.	1991	DBLP DOI BibTeX RDF
26	Domenico Cantone	Decision Procedures for Elementary Sublanguages of Set Theory: X. Multilevel Syllogistic Extended by the Singleton and Powerset Operators.	J. Autom. Reason.	1991	DBLP DOI BibTeX RDF
26	Alexander Abian, Wael A. Amin	An Equivalent of the Axiom of Choice in Finite Models of the Powerset Axiom.	Notre Dame J. Formal Log.	1990	DBLP DOI BibTeX RDF
26	Domenico Cantone	A Decision Procedure for a Class of Unquantified Formulae of Set Theory Involving the Powerset and Singleton Operators.		1987	RDF
16	Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuka	Relational duality: unsupervised extraction of semantic relations between entities on the web.	WWW	2010	DBLP DOI BibTeX RDF	relational duality, relational similarity, web mining, relation extraction
16	Patrik Eklund, Robert Helgesson	Composing Partially Ordered Monads.	RelMiCS	2009	DBLP DOI BibTeX RDF	partially ordered monad, Kleene algebra
16	Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuka	Measuring the similarity between implicit semantic relations from the web.	WWW	2009	DBLP DOI BibTeX RDF	relational similarity, natural language processing, web mining
16	Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva 0001	An Algebra for Kripke Polynomial Coalgebras.	LICS	2009	DBLP DOI BibTeX RDF
16	Benjamin Rossman	Combining Ehrenfeucht-Fraïssé Games.	LICS	2009	DBLP DOI BibTeX RDF
16	Zoulficar Younes, Fahed Abdallah, Thierry Denoeux	An Evidence-Theoretic k-Nearest Neighbor Rule for Multi-label Classification.	SUM	2009	DBLP DOI BibTeX RDF
16	Kenneth L. McMillan, Lenore D. Zuck	Abstract Counterexamples for Non-disjunctive Abstractions.	RP	2009	DBLP DOI BibTeX RDF
16	Li Yang 0008	Visual Exploration of Frequent Itemsets and Association Rules.	Visual Data Mining	2008	DBLP DOI BibTeX RDF
16	Carl Pollard	Hyperintensional Questions.	WoLLIC	2008	DBLP DOI BibTeX RDF
16	Alessandro Colantonio, Roberto Di Pietro, Alberto Ocello	Leveraging Lattices to Improve Role Mining.	SEC	2008	DBLP DOI BibTeX RDF
16	Andrew Schumann	Non-well-Founded Probabilities on Streams.	SMPS	2008	DBLP DOI BibTeX RDF
16	David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas	Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations.	FORTE	2008	DBLP DOI BibTeX RDF
16	Agnieszka Kozubek, Pawel Urzyczyn	In the Search of a Naive Type Theory.	TYPES	2007	DBLP DOI BibTeX RDF
16	José L. Balcázar, Gemma C. Garriga	Characterizing Implications of Injective Partial Orders.	ICCS	2007	DBLP DOI BibTeX RDF
16	Anthony Bucci, Jordan B. Pollack	Thoughts on solution concepts.	GECCO	2007	DBLP DOI BibTeX RDF	later is better, coevolution, bloat, solution concepts, pareto coevolution, coevolutionary algorithm
16	Grigorios Tsoumakas, Ioannis P. Vlahavas	Random k -Labelsets: An Ensemble Method for Multilabel Classification.	ECML	2007	DBLP DOI BibTeX RDF
16	Helle Hvid Hansen, Clemens Kupke, Eric Pacuit	Bisimulation for Neighbourhood Structures.	CALCO	2007	DBLP DOI BibTeX RDF	Neighbourhood semantics, non-normal modal logic, behavioural equivalence, invariance, bisimulation
16	Wolfgang Merkle, Frank Stephan 0001	On C-Degrees, H-Degrees and T-Degrees.	CCC	2007	DBLP DOI BibTeX RDF
16	David Correa Martins Jr., Roberto M. Cesar, Junior Barrera	W-operator window design by minimization of mean conditional entropy.	Pattern Anal. Appl.	2006	DBLP DOI BibTeX RDF	Classification, Feature selection, Information theory, Image restoration, Image texture analysis
16	Sebastian Hunt, David Sands 0001	On flow-sensitive security types.	POPL	2006	DBLP DOI BibTeX RDF	static analysis, type systems, information flow, non-interference, flow-sensitivity
16	Corneliu Popeea, Wei-Ngan Chin	Inferring Disjunctive Postconditions.	ASIAN	2006	DBLP DOI BibTeX RDF
16	Bassem Sayrafi, Dirk Van Gucht	Differential constraints.	PODS	2005	DBLP DOI BibTeX RDF
16	Sven Hartmann, Sebastian Link	Functional Dependencies on Nested Attributes: Algebraic, Logical and Topological Perspective.	DEXA Workshops	2005	DBLP DOI BibTeX RDF	Nested database, Brouwerian algebra, Functional dependency, Sets, Records, Horn clause, Lists, Multisets, Topological space, Axiomatisation
16	Kamal Nehmé, Petko Valtchev, Mohamed Rouane Hacene, Robert Godin	On Computing the Minimal Generator Family for Concept Lattices and Icebergs.	ICFCA	2005	DBLP DOI BibTeX RDF
16	David Correa Martins Jr., Roberto M. Cesar, Junior Barrera	Automatic Window Design for Gray-Scale Image Processing Based on Entropy Minimization.	CIARP	2005	DBLP DOI BibTeX RDF
16	H. Peter Gumm	From T-Coalgebras to Filter Structures and Transition Systems.	CALCO	2005	DBLP DOI BibTeX RDF
16	Saharon Shelah	On nice equivalence relations on ?2.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Definable equivalence relation, Generalized descriptive set theory to uncountable cardinals, Perfect sets of pairwise non equivalence, Ext, Set theory, Abelian group
16	David Correa Martins Jr., Roberto Marcondes Cesar Junior, Junior Barrera	W-Operator Window Design by Maximization of Training Data Information.	SIBGRAPI	2004	DBLP DOI BibTeX RDF
16	David A. Schmidt	Closed and Logical Relations for Over- and Under-Approximation of Powersets.	SAS	2004	DBLP DOI BibTeX RDF