Search results for "Galois Connection"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Patrick Cousot, Radhia Cousot	Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF	Relational semantics, Dependence-free and dependence-sensitive analysis, Widening, Abstract interpretation, Galois connection, Strictness analysis
2	Hajime Machida, Jovanka Pantovic, Ivo G. Rosenberg	Galois Connection for Hyperclones.	ISMVL	2010	DBLP DOI BibTeX RDF	hyperoperation, hyperclones, Galois connection
2	Asger Eir	Relating Domain Concepts Intensionally by Ordering Connections.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	The RAISE Specification Language (RSL), Classification, Formal Methods, Conceptual modelling, Abstract Interpretation, Domain Engineering, Galois Connection, Intension
2	Jean Diatta, Daniel R. Feno, André Totohasina	Galois Lattices and Bases for MGK-Valid Association Rules.	CLA	2006	DBLP DOI BibTeX RDF	Quality measure, Closure operator, Galois connection, Basis, Negative association rule
2	Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Nguifo, Yahya Slimani	IGB: A New Informative Generic Base of Association Rules.	PAKDD	2005	DBLP DOI BibTeX RDF	Generic base, Axio-matic system, Association rules, Galois connection
2	George Georgescu, Andrei Popescu	Non-dual fuzzy connections.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Isotone structure, conjugated pair, Duality, Fuzzy set theory, Closure operator, Galois connection
2	G. Castellini, David B. Holgate	A Link Between Two Connectedness Notions.	Applied Categorical Structures	2003	DBLP DOI BibTeX RDF	morphism orthogonality, closure operator, connectedness, Galois connection
2	George Georgescu, Andrei Popescu	Non-commutative fuzzy Galois connections.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Non-commutative fuzzy logic, Fuzzy Galois connection, Non-commutative conjunction, Fuzzy relation
2	Boris A. Romov	Completeness Theory for Vector Partial Multiple-Valued Logic Functions. (PDF / PS)	ISMVL	1995	DBLP DOI BibTeX RDF	completeness theory, vector partial multiple-valued logic functions, completeness criterion, multiple-base invariant relations algebra, restricted quantifier free calculus, multivalued logic, Galois connection
2	Patrick Cousot, Radhia Cousot	Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.	PLILP	1992	DBLP DOI BibTeX RDF
1	Huawen Liu, Lei Liu, Huijie Zhang	A fast pruning redundant rule method using Galois connection.	Appl. Soft Comput.	2011	DBLP DOI BibTeX RDF
1	David A. Cohen, Páidí Creed, Peter G. Jeavons, Stanislav Zivny	An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection.	MFCS	2011	DBLP DOI BibTeX RDF
1	Manuel Bodirsky, Martin Hils, Barnaby Martin	On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction.	LICS	2010	DBLP DOI BibTeX RDF	Constraint Satisfaction, Galois Connection, Model Theory
1	Sukriti Bhattacharya, Agostino Cortesi	A Generic Distortion Free Watermarking Technique for Relational Databases.	ICISS	2009	DBLP DOI BibTeX RDF	Database Watermarking, Abstract Interpretation, Galois Connection, HMAC
1	Ali Jaoua, Rehab M. Duwairi, Samir Elloumi, Sadok Ben Yahia	Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage.	RelMiCS	2009	DBLP DOI BibTeX RDF	Formal Concept Analysis, Galois Connection, Minimal representation
1	Florent R. Madelaine, Barnaby Martin	The Complexity of Positive First-order Logic without Equality.	LICS	2009	DBLP DOI BibTeX RDF
1	Yassine Djouadi, Henri Prade	Interval-Valued Fuzzy Formal Concept Analysis.	ISMIS	2009	DBLP DOI BibTeX RDF
1	Xueyou Chen	Concept Lattices in L-Rough Sets.	ISNN	2009	DBLP DOI BibTeX RDF	L-set, The object (property) oriented concept lattice, Rough set, Formal concept analysis
1	Agostinho Almeida	Canonical Extensions and Relational Representations of Lattices with Negation.	Studia Logica	2009	DBLP DOI BibTeX RDF	canonical extension, Lattice, duality, negation
1	Meng Sun	Pre-Galois Connection on Coalgebras for Generic Component Refinement.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Paulo F. Silva, José Nuno Oliveira	'Galculator': functional prototype of a Galois-connection based proof assistant.	PPDP	2008	DBLP DOI BibTeX RDF	point-free notation, haskell, DSL, Galois connections, proof assistant, GADT
1	Raffaella Bernardi, Anna Szabolcsi	Optionality, Scope, and Licensing: An Application of Partially Ordered Categories.	Journal of Logic, Language and Information	2008	DBLP DOI BibTeX RDF	Boolean connectives, Typed feature structures, Natural language syntax, Polarity items, Partial order, Licensing, Residuation, Galois-connection, Scope, Optionality
1	Nadia Creignou, Henning Schnoor, Ilka Schnoor	Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint.	CSL	2008	DBLP DOI BibTeX RDF
1	Henning Schnoor, Ilka Schnoor	Partial Polymorphisms and Constraint Satisfaction Problems.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF	partial polymorphisms, computational complexity, constraint satisfaction problems, clones
1	Oana Agrigoroaiei, Gabriel Ciobanu	Non-interleaving Semantics with Causality for Nondeterministic Dataflow.	ICTAC	2008	DBLP DOI BibTeX RDF
1	Jan Midtgaard, Thomas P. Jensen	A Calculational Approach to Control-Flow Analysis by Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF
1	Klaus Denecke, Dara Phusanga	Hyperformulas and Solid Algebraic Systems.	Studia Logica	2008	DBLP DOI BibTeX RDF	AMS subject classification 03B50, 08A46, 08A30
1	Jianmin Ma, Wen-Xiu Zhang, Yee Leung, Xiaoxue Song	Granular computing and dual Galois connection.	Inf. Sci.	2007	DBLP DOI BibTeX RDF
1	Heribert Vollmer	Computational Complexity of Constraint Satisfaction.	CiE	2007	DBLP DOI BibTeX RDF	computational complexity, constraint satisfaction, polymorphism, clone, Galois connection, satisfiability problems
1	Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño	On Multi-adjoint Concept Lattices: Definition and Representation Theorem.	ICFCA	2007	DBLP DOI BibTeX RDF	multi-adjoint lattices, implication triples, concept lattices, Galois connection
1	Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli	Refinement preserving approximations for the design and verification of heterogeneous systems.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Conservative approximation, Verification, Approximation, Reuse, Refinement, Refinement, Abstraction, Abstract interpretation, Heterogeneous, Polymorphism, Preserving, Model of computation, Galois connection, Discrete time, Continuous time, Concretization
1	Céline Hébert, Alain Bretto, Bruno Crémilleux	Optimizing hypergraph transversal computation with an anti-monotone constraint.	SAC	2007	DBLP DOI BibTeX RDF
1	Dikran Dikranjan, Elena Martín Peinador, Vaja Tarieladze	Conway's Question: The Chase for Completeness.	Applied Categorical Structures	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 22A05, 22B05, 54D25, 54H11, Secondary 54A35, 54D30, 54H13, 54B30
1	Jean Diatta	Galois closed entity sets and k -balls of quasi-ultrametric multi-way dissimilarities.	Adv. Data Analysis and Classification	2007	DBLP DOI BibTeX RDF	JEL Classification C00, C45
1	Amedeo Napoli, Florence Le Ber	The Galois lattice as a hierarchical structure for topological relations.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06B99
1	Abdelsalam Shanneb, John Potter	Lock Selection Made Easy.	ASWEC	2006	DBLP DOI BibTeX RDF
1	Jeff W. Sanders	Computations and Relational Bundles.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Jifeng He, Jeff W. Sanders	Unifying Probability.	UTP	2006	DBLP DOI BibTeX RDF
1	Tomasz Brzezinski, Ryan B. Turner	The Galois Theory of Matrix C-rings.	Applied Categorical Structures	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 16W30
1	Dragan Bosnacki	On Some Galois Connection Based Abstractions for the Mu-Calculus.	FM	2005	DBLP DOI BibTeX RDF	model checking, abstraction, mu-calculus, property preservation
1	Ruggero G. Pensa, Jean-François Boulicaut	Towards Fault-Tolerant Formal Concept Analysis.	AI*IA	2005	DBLP DOI BibTeX RDF
1	Sébastien Ferré, Olivier Ridoux, Benjamin Sigonneau	Arbitrary Relations in Formal Concept Analysis and Logical Information Systems.	ICCS	2005	DBLP DOI BibTeX RDF
1	Jaume Baixeries, José L. Balcázar	Characterization and Armstrong Relations for Degenerate Multivalued Dependencies Using Formal Concept Analysis.	ICFCA	2005	DBLP DOI BibTeX RDF
1	Jifeng He, C. A. R. Hoare	Linking Theories of Concurrency.	ICTAC	2005	DBLP DOI BibTeX RDF
1	Mineichi Kudo, Tetsuya Murai	A New Treatment and Viewpoint of Information Tables.	RSFDGrC	2005	DBLP DOI BibTeX RDF
1	Ken-etsu Fujita	Galois Embedding from Polymorphic Types into Existential Types.	TLCA	2005	DBLP DOI BibTeX RDF
1	Helmut Röhrl	On N-Summations, II.	Applied Categorical Structures	2005	DBLP DOI BibTeX RDF	semimodules, N-summation, unconditionally summable, semirings
1	Nicolas Pasquier, Rafik Taouil, Yves Bastide, Gerd Stumme, Lotfi Lakhal	Generating a Condensed Representation for Association Rules.	J. Intell. Inf. Syst.	2005	DBLP DOI BibTeX RDF	Galois closure operator, min-max association rules, basis for association rules, data mining, generators, frequent closed itemsets, condensed representation
1	Sadok Ben Yahia, Narjes Doggaz, Yahya Slimani, Jihem Rezgui	A Galois connection semantics-based approach for deriving generic bases of association rules.	EGC	2004	DBLP BibTeX RDF
1	Jifeng He	Linking Theories of Concurrency.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
1	Radim Belohlávek, Tatána Funioková, Vilém Vychodil	Galois Connections with Truth Stressers: Foundations for Formal Concept Analysis of Object-Attribute Data with Fuzzy Attributes.	Fuzzy Days	2004	DBLP DOI BibTeX RDF
1	Jérémy Besson, Céline Robardet, Jean-François Boulicaut	Mining Formal Concepts with a Bounded Number of Exceptions from Transactional Data.	KDID	2004	DBLP DOI BibTeX RDF
1	Baptiste Jeudy, François Rioult	Database Transposition for Constrained (Closed) Pattern Mining.	KDID	2004	DBLP DOI BibTeX RDF
1	Alain Casali, Rosine Cicchetti, Lotfi Lakhal	Extracting semantics from data cubes using cube transversals and closures.	KDD	2003	DBLP DOI BibTeX RDF	algorithm, lattices, closures, version spaces, datacubes, hypergraph transversals
1	Lei Jia, Jun Yao, Renqing Pei	Mining Association Rules with Frequent Closed Itemsets Lattice.	KES	2003	DBLP DOI BibTeX RDF
1	Ali Jaoua, Samir Elloumi	Galois connection, formal concepts and Galois lattice in real relations: application in a real classifier.	Journal of Systems and Software	2002	DBLP DOI BibTeX RDF
1	David A. Schmidt	Structure-Preserving Binary Relations for Program Abstraction.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
1	Kevin Backhouse, Roland Carl Backhouse	Logical Relations and Galois Connections.	MPC	2002	DBLP DOI BibTeX RDF
1	Mirko Zanotti	Security Typings by Abstract Interpretation.	SAS	2002	DBLP DOI BibTeX RDF
1	Alexej P. Pynko	Extensions of Halkowska-Zajac's three-valued paraconsistent logic.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
1	G. Castellini	Connectedness with Respect to a Closure Operator.	Applied Categorical Structures	2001	DBLP DOI BibTeX RDF	constant morphism, closure operator, connectedness, Galois connection
1	Florent Domenach, Bruno Leclerc	Biclosed Binary Relations and Galois Connections.	Order	2001	DBLP DOI BibTeX RDF	join irreducible, lattice, relation, closure, Galois connection
1	Maria I. Sessa	Translations and similarity-based logic programming.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Logic Programming, Abstract interpretation, Approximate reasoning, Galois connection, Similarity relation
1	Eric Badouel, Marek A. Bednarczyk, Philippe Darondeau	Generalized Automata and Their Net Representations.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
1	Ali Jaoua, Faisal Alvi, Samir Elloumi, Sadok Ben Yahia	Galois Connection in Fuzzy Binary Relations, Applications for Discovering Association Rules and Decision Making.	RelMiCS	2000	DBLP BibTeX RDF
1	Ralph-Johan Back, Joakim von Wright	Encoding, Decoding and Data Refinement.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Predicate transformer semantics, Abstraction, Galois connection, Data refinement
1	Hilary A. Priestley	Ordered Sets and Complete Lattices.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
1	Yves Bastide, Nicolas Pasquier, Rafik Taouil, Gerd Stumme, Lotfi Lakhal	Mining Minimal Non-redundant Association Rules Using Frequent Closed Itemsets.	Computational Logic	2000	DBLP DOI BibTeX RDF
1	Laurent Chaudron, Nicolas Maille	Generalized Formal Concept Analysis.	ICCS	2000	DBLP DOI BibTeX RDF
1	Amr Sabry, Philip Wadler	A Reflection on Call-by-Value.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	compiling, continuations, category theory, Galois connections
1	Carroll Morgan, Annabelle McIver, Karen Seidel	Probabilistic Predicate Transformers.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	probability, refinement, nondeterminism, weakest preconditions, Galois connection, predicate transformers, program derivation
1	Amr Sabry, Philip Wadler	A Reflection on Call-by-Value.	ICFP	1996	DBLP DOI BibTeX RDF
1	Janos J. Sarbo, József Farkas	Concept Sublattices.	ECML	1994	DBLP DOI BibTeX RDF
1	Olivier Danvy, Julia L. Lawall	Back to Direct Style II: First-Class Continuations.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	SCHEME
1	Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis	Property Preserving Simulations.	CAV	1992	DBLP DOI BibTeX RDF
1	Patrick Cousot, Radhia Cousot	Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.	JTASPEFT/WSA	1991	DBLP BibTeX RDF
1	Elias Dahlhaus, Marek Karpinski	A Fast Parallel Algorithm for Computing all Maximal Cliques in a Graph and the Related Problems (Extended Abstract).	SWAT	1988	DBLP DOI BibTeX RDF