Search results for "equality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	Andrew W. Appel	Intensional Equality ;=) for Continuations.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF
33	Richard B. Scherl	Equality and Constrained Resolution.	JELIA	1994	DBLP DOI BibTeX RDF
33	Geoffrey D. Alexander, David A. Plaisted	Proving Equality Theorems with Hyper-Linking.	CADE	1992	DBLP DOI BibTeX RDF
33	Joseph A. Goguen, José Meseguer 0001	Models and Equality for Logical Programming.	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
33	Vincent J. Digricoli, Malcolm C. Harrison	Equality-based binary resolution.	J. ACM	1986	DBLP DOI BibTeX RDF
31	Vilém Novák	EQ-Algebras in Progress.	IFSA (2)	2007	DBLP DOI BibTeX RDF	fuzzy type theory, higher-order fuzzy logic, fuzzy logic, Residuated lattice, fuzzy equality
31	Javier Álvez, Paqui Lucio, Fernando Orejas	Constructive negation by bottom-up computation of literal answers.	SAC	2004	DBLP DOI BibTeX RDF	bottom-up operators, equality constraint solving, implementation, operational semantics, constructive negation
31	Nadji Gauthier, François Pottier	Numbering matters: first-order canonical forms for second-order recursive types.	ICFP	2004	DBLP DOI BibTeX RDF	polymorphism, unification, equality, recursive types
31	Radim Belohlávek	Birkhoff variety theorem and fuzzy logic.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Fuzzy logic, Variety, Universal algebra, Fuzzy equality
31	Anna Formica	Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	constraint satisfiability (consistency), recursive schemas, axioms of infinity, equality constraints, object-oriented databases
31	Peter Grogono, Markku Sakkinen	Copying and Comparing: Problems and Solutions.	ECOOP	2000	DBLP DOI BibTeX RDF	complex object structures, cloning, equality, Copying
31	Byoungcheon Lee, Kwangjo Kim	Secure Matchmaking Protocol.	ICISC	2000	DBLP DOI BibTeX RDF	proving the equality or inequality of two discrete logarithms, finding collisions without decryption, public commitment, matchmaking, secure multiparty computation, proof of knowledge
29	Vincent Siles, Hugo Herbelin	Equality Is Typable in Semi-full Pure Type Systems.	LICS	2010	DBLP DOI BibTeX RDF	Pure Type Systems, Judgmental Equality
29	Anders Forsgren	Equality-Constrained Nonlinear Programming: KKT Necessary Optimality Conditions.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Equality-constrained optimization, KKT necessary optimality conditions
29	Jiayang Wang, Lanlin Peng	Research on Expression of Rough Equality Sets.	PACIIA (1)	2008	DBLP DOI BibTeX RDF	rough equality, rough set, fuzzy set, upper approximation, lower approximation
29	Michael D. Adams 0001, R. Kent Dybvig	Efficient nondestructive equality checking for trees and graphs.	ICFP	2008	DBLP DOI BibTeX RDF	dfa equivalence, eq hash tables, scheme, equality, union-find
29	Darko Marinov, Robert O'Callahan	Object equality profiling.	OOPSLA	2003	DBLP DOI BibTeX RDF	object equality, object mergeability, space savings, profiling, Java language, profile-guided optimization
28	Kouji Tahata, Sadao Tomizawa	Generalized marginal homogeneity model and its relation to marginal equimoments for square contingency tables with ordered categories.	Adv. Data Anal. Classif.	2008	DBLP DOI BibTeX RDF	JEL Classification C39
28	Fritz Henglein	Generic discrimination: sorting and paritioning unshared data in linear time.	ICFP	2008	DBLP DOI BibTeX RDF	multiset discrimination, total preorder, partitioning, generic, sorting, functional, equivalence, discrimination, discriminator, order
28	Pierre Fraigniaud, Nicolas Nisse	Connected Treewidth and Connected Graph Searching.	LATIN	2006	DBLP DOI BibTeX RDF
28	Lutz Maicher	Topic Map Exchange in the Absence of Shared Vocabularies.	TMRA	2005	DBLP DOI BibTeX RDF
28	Markus Müller-Olm, Oliver Rüthing, Helmut Seidl	Checking Herbrand Equalities and Beyond.	VMCAI	2005	DBLP DOI BibTeX RDF
28	Randal E. Bryant, Steven M. German, Miroslav N. Velev	Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	processor verfication, decision procedures, uninterpreted functions
28	Miroslav N. Velev	Automatic Abstraction of Memories in the Formal Verification of Superscalar Microprocessors.	TACAS	2001	DBLP DOI BibTeX RDF
28	László Babai, Peter G. Kimmel	Randomized Simultaneous Messages: Solution of a Problem of Yao in Communication Complexity.	CCC	1997	DBLP DOI BibTeX RDF	randomized simultaneous messages, two-player communication model, deterministic SM complexity, quadratic reduction, lower bound proof, computational complexity, communication complexity, linear algebra
28	Dmitri Boulanger, Maurice Bruynooghe, Marc Denecker	Abstracting s-semantincs Using A Model-Theoretic Approach.	PLILP	1994	DBLP DOI BibTeX RDF
28	Gerd G. Hillebrand, Paris C. Kanellakis	Functional Database Query Languages as Typed Lambda Calculi of Fixed Order.	PODS	1994	DBLP DOI BibTeX RDF
28	Nicolas Zabel	An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics.	JELIA	1992	DBLP DOI BibTeX RDF
26	Oussama Kanoun, Florent Lamiraux, Pierre-Brice Wieber, Fumio Kanehiro, Eiichi Yoshida, Jean-Paul Laumond	Prioritizing linear equality and inequality systems: Application to local motion planning for redundant robots.	ICRA	2009	DBLP DOI BibTeX RDF
26	Florent R. Madelaine, Barnaby Martin	The Complexity of Positive First-order Logic without Equality.	LICS	2009	DBLP DOI BibTeX RDF
26	Alexander Fuchs 0003, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli	Ground Interpolation for the Theory of Equality.	TACAS	2009	DBLP DOI BibTeX RDF
26	Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson 0001	Equality and hashing for (almost) free: Generating implementations from abstraction functions.	ICSE	2009	DBLP DOI BibTeX RDF
26	Stephanus Daniel Handoko, Chee Keong Kwoh 0001, Yew-Soon Ong	Classification-Assisted Memetic Algorithms for Equality-Constrained Optimization Problems.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF
26	Igor Vytyaz, Pavan Kumar Hanumolu, Un-Ku Moon, Kartikeya Mayaram	Periodic Steady-State Analysis Augmented with Design Equality Constraints.	DATE	2008	DBLP DOI BibTeX RDF
26	Therese Berg, Bengt Jonsson 0001, Harald Raffelt	Regular Inference for State Machines Using Domains with Equality Tests.	FASE	2008	DBLP DOI BibTeX RDF
26	Andreas Abel 0001, Thierry Coquand, Peter Dybjer	Normalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements.	LICS	2007	DBLP DOI BibTeX RDF
26	Peter Baumgartner 0001, Ulrich Furbach, Björn Pelzer	Hyper Tableaux with Equality.	CADE	2007	DBLP DOI BibTeX RDF
26	Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly	System F with type equality coercions.	TLDI	2007	DBLP DOI BibTeX RDF	advanced type features, typed intermediate language
26	Igor Gammer, Eyal Amir	Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic.	SARA	2007	DBLP DOI BibTeX RDF
26	Grigore Rosu	Equality of streams is a Pi0 over 2-complete problem.	ICFP	2006	DBLP DOI BibTeX RDF	infinite structures, streams, algebraic specification
26	Gatis Midrijanis	A Polynomial Quantum Query Lower Bound for the Set Equality Problem.	ICALP	2004	DBLP DOI BibTeX RDF
26	Margarita V. Korovina	Gandy's Theorem for Abstract Structures without the Equality Test.	LPAR	2003	DBLP DOI BibTeX RDF
26	Boris Konev, Anatoli Degtyarev, Michael Fisher 0001	Handling Equality in Monodic Temporal Resolution.	LPAR	2003	DBLP DOI BibTeX RDF
26	Rosangela Ballini, Fernando A. C. Gomide	Gradient Projection Method and Equality Index in Recurrent Neural Fuzzy Network.	IFSA	2003	DBLP DOI BibTeX RDF
26	Vesa Halava, Tero Harju, Hendrik Jan Hoogeboom, Michel Latteux	Languages Defined by Generalized Equality Sets.	FCT	2003	DBLP DOI BibTeX RDF
26	Fahiem Bacchus, Jonathan Winter	Effective Preprocessing with Hyper-Resolution and Equality Reduction.	SAT	2003	DBLP DOI BibTeX RDF
26	Akira Hirose, Kazuhiko Nakazawa	Analog continuous-time recurrent decision circuit with high signal-voltage symmetry and delay-time equality.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
26	Ariane Péladan-Germa	Testing Equality in Differential Ring Extensions Defined by PDE's and Limit Conditions.	Appl. Algebra Eng. Commun. Comput.	2002	DBLP DOI BibTeX RDF
26	Hans de Nivelle, Ian Pratt-Hartmann	A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality.	IJCAR	2001	DBLP DOI BibTeX RDF
26	Namhyun Hur, James H. Davenport	An exact real algebraic arithmetic with equality determination.	ISSAC	2000	DBLP DOI BibTeX RDF
26	Harald Ganzinger, Hans de Nivelle	A Superposition Decision Procedure for the Guarded Fragment with Equality.	LICS	1999	DBLP DOI BibTeX RDF
26	Anatoli Degtyarev, Andrei Voronkov	Handling Equality in Logic Programming via Basic Folding.	ELP	1996	DBLP DOI BibTeX RDF
26	Gudmund Skovbjerg Frandsen, Peter Bro Miltersen, Sven Skyum	The Complexity of Finding Replicas Using Equality Tests.	MFCS	1993	DBLP DOI BibTeX RDF
26	Bernhard Beckert, Reiner Hähnle	An Improved Method for Adding Equality to Free Variable Semantic Tableaux.	CADE	1992	DBLP DOI BibTeX RDF
26	Marianne Winslett, Seng-cho Timothy Chou	Updates with Equality: Beyond the Herbrand Universe Assumption.	ISMIS	1991	DBLP DOI BibTeX RDF
26	Michael Hanus	Compiling Logic Programs with Equality.	PLILP	1990	DBLP DOI BibTeX RDF
26	Yusuf Ozturk, Lawrence J. Henschen	Hyper Resolution and Equality Axioms without Function Substitutions.	CADE	1990	DBLP DOI BibTeX RDF
24	Georg Rehm, Andy Way (eds.)	European Language Equality - A Strategic Agenda for Digital Language Equality		2023	DBLP DOI BibTeX RDF
24	Benjamin Fish, Luke Stark	It's Not Fairness, and It's Not Fair: The Failure of Distributional Equality and the Promise of Relational Equality in Complete-Information Hiring Games.	CoRR	2022	DBLP DOI BibTeX RDF
24	Benjamin Fish, Luke Stark	It's Not Fairness, and It's Not Fair: The Failure of Distributional Equality and the Promise of Relational Equality in Complete-Information Hiring Games.	EAAMO	2022	DBLP DOI BibTeX RDF
24	Bharathi B, Dhanya Srinivasan, Josephine Varsha, Thenmozhi Durairaj, Senthil Kumar B	SSNCSE_NLP@LT-EDI-ACL2022: Hope Speech Detection for Equality, Diversity and Inclusion using sentence transformers.	LT-EDI	2022	DBLP DOI BibTeX RDF
24	Muskaan Singh, Petr Motlícek	IDIAP Submission@LT-EDI-ACL2022 : Hope Speech Detection for Equality, Diversity and Inclusion.	LT-EDI	2022	DBLP DOI BibTeX RDF
24	Vishesh Gupta, Ritesh Kumar, Rajendra Pamula	IIT Dhanbad @LT-EDI-ACL2022- Hope Speech Detection for Equality, Diversity, and Inclusion.	LT-EDI	2022	DBLP DOI BibTeX RDF
24	Bharathi Raja Chakravarthi, Vigneshwaran Muralidaran, Ruba Priyadharshini, Subalalitha Chinnaudayar Navaneethakrishnan, John P. McCrae, Miguel Ángel García, Salud María Jiménez Zafra, Rafael Valencia-García, Prasanna Kumar Kumaresan, Rahul Ponnusamy, Daniel García-Baena, José Antonio García-Díaz	Overview of the Shared Task on Hope Speech Detection for Equality, Diversity, and Inclusion.	LT-EDI	2022	DBLP DOI BibTeX RDF
24	Praveenkumar Vijayakumar, Prathyush S, Aravind P, Angel Suseelan, Rajalakshmi Sivanaiah, S. Milton Rajendram, T. T. Mirnalinee	SSN_ARMM@ LT-EDI -ACL2022: Hope Speech Detection for Equality, Diversity, and Inclusion Using ALBERT model.	LT-EDI	2022	DBLP DOI BibTeX RDF
24	Nsrin Ashraf, Mohamed Taha, Ahmed Abd El-Fattah, Hamada A. Nayel	NAYEL @LT-EDI-ACL2022: Homophobia/Transphobia Detection for Equality, Diversity, and Inclusion using SVM.	LT-EDI	2022	DBLP DOI BibTeX RDF
24	Alis Wiken Wilson, J. David Patón-Romero	Gender Equality in Tech Entrepreneurship: A Systematic Mapping Study.	GE@ICSE	2022	DBLP DOI BibTeX RDF
24	Thomas Koehler 0005, Phil Trinder, Michel Steuwer	Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings.	CoRR	2021	DBLP BibTeX RDF
24	Pankaj Singh, Prince Kumar, Pushpak Bhattacharyya	CFILT IIT Bombay@LT-EDI-EACL2021: Hope Speech Detection for Equality, Diversity, and Inclusion using Multilingual Representation fromTransformers.	LT-EDI@EACL	2021	DBLP BibTeX RDF
24	Nikhil Ghanghor, Rahul Ponnusamy, Prasanna Kumar Kumaresan, Ruba Priyadharshini, Sajeetha Thavareesan, Bharathi Raja Chakravarthi	IIITK@LT-EDI-EACL2021: Hope Speech Detection for Equality, Diversity, and Inclusion in Tamil , Malayalam and English.	LT-EDI@EACL	2021	DBLP BibTeX RDF
24	Fazlourrahman Balouchzahi, Aparna B. K, H. L. Shashirekha	MUCS@LT-EDI-EACL2021: CoHope-Hope Speech Detection for Equality, Diversity, and Inclusion in Code-Mixed Texts.	LT-EDI@EACL	2021	DBLP BibTeX RDF
24	Bharathi Raja Chakravarthi, Vigneshwaran Muralidaran	Findings of the Shared Task on Hope Speech Detection for Equality, Diversity, and Inclusion.	LT-EDI@EACL	2021	DBLP BibTeX RDF
24	Junaida M. K, Ajees A. P	KU_NLP@LT-EDI-EACL2021: A Multilingual Hope Speech Detection for Equality, Diversity, and Inclusion using Context Aware Embeddings.	LT-EDI@EACL	2021	DBLP BibTeX RDF
24	Hongxing Liu	On categorical equivalences of equality algebras and monadic equality algebras.	Log. J. IGPL	2019	DBLP DOI BibTeX RDF
24	Susanne Buehrer, Evanthia Kalpazidu Schmidt, Sybille Reidl, Rachel Palmen, Dora Groo	Evaluation Framework for Promoting Gender Equality in Research and Innovation: How to define suitable indicators to evaluate gender equality effects in R&I systems?	ISSI	2019	DBLP BibTeX RDF
24	Haitao Che, Haibin Chen, Meixia Li	A new simultaneous iterative method with a parameter for solving the extended split equality problem and the extended split equality fixed point problem.	Numer. Algorithms	2018	DBLP DOI BibTeX RDF
24	John Reeves	Gender Equality in Software Engineering.	GE@ICSE	2018	DBLP BibTeX RDF
24	Hélène de Ribaupierre, Kathryn E. Jones, Fernando Loizides, Yulia Cherdantseva	Towards Gender Equality in Software Engineering: The NSA Approach.	GE@ICSE	2018	DBLP DOI BibTeX RDF
24	Amel Bennaceur, Ampaeli Cano, Lilia Georgieva, Mariam Kiran, Maria Salama, Poonam Yadav	Issues in Gender Diversity and Equality in the UK.	GE@ICSE	2018	DBLP DOI BibTeX RDF
24	Rilla Khaled	Equality = Inequality: Probing Equality-Centric Design and Development Methodologies.	INTERACT (2)	2011	DBLP DOI BibTeX RDF
24	Miroslav N. Velev, Ping Gao 0002	Exploiting hierarchical encodings of equality to design independent strategies in parallel SMT decision procedures for a logic of equality.	HLDVT	2009	DBLP DOI BibTeX RDF
24	Erwin Ooghe, Erik Schokkaert, Dirk Van de gaer	Equality of Opportunity versus Equality of Opportunity Sets.	Soc. Choice Welf.	2007	DBLP DOI BibTeX RDF
24	Yoav Rodeh, Ofer Strichman	Building small equality graphs for deciding equality logic with uninterpreted functions.	Inf. Comput.	2006	DBLP DOI BibTeX RDF
24	Martine De Cock, Etienne E. Kerre	Approximate equality is no fuzzy equality.	EUSFLAT Conf.	2001	DBLP BibTeX RDF
24	Wayne Snyder, Christopher Lynch	An Inference System for Horn Clause Logic with Equality: A Foundation for Conditional E-Unification and for Logic Programming in the Presence of Equality.	CTRS	1990	DBLP DOI BibTeX RDF
24	Franz-Josef Brandenburg	Representations of Language Families by Homomorphic Equality Operations and Generalized Equality Sets.	Theor. Comput. Sci.	1987	DBLP DOI BibTeX RDF
24	Karl-Hans Bläsius	Equality Reasoning with Equality-paths.	GWAI	1985	DBLP DOI BibTeX RDF
24	Chung-Tsen Tsao	The revised algorithms of fuzzy variance and an application to portfolio selection.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Fuzzy variance, Fuzzy standard deviation, Requisite equality constraint, Fuzzy arithmetic
24	Meena Dilip Singh, P. Radha Krishna 0001, Ashutosh Saxena	A cryptography based privacy preserving solution to mine cloud data.	Bangalore Compute Conf.	2010	DBLP DOI BibTeX RDF	encrypted data, private equality test, cryptography, privacy preserving data mining
24	Wolfgang Jeltsch	Generic record combinators with static type checking.	PPDP	2010	DBLP DOI BibTeX RDF	closed classes, higher-rank polymorphism, type equality, type families, type-level programming, type-level reification, generic programming, induction
24	Foto N. Afrati, Phokion G. Kolaitis	Repair checking in inconsistent databases: algorithms and complexity.	ICDT	2009	DBLP DOI BibTeX RDF	coNP-complete problem, equality-generating dependencies, repair checking, tuple-generating dependencies, weakly acyclic set, polynomial time, consistent query answering, inconsistent databases, database repairs
24	Agostino Dovier, Carla Piazza, Gianfranco Rossi	A uniform approach to constraint-solving for lists, multisets, compact lists, and sets.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	Membership and equality constraints, compact lists, sets, lists, multisets
24	Andrey Paskevich	Connection Tableaux with Lazy Paramodulation.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Connection tableaux, Lazy paramodulation, Basic ordered paramodulation, First-order logic with equality
24	Zhen Ming Ma, Wei Yang 0036, Qingjun Ren	A Common Generalization of Smooth Group and Vague Group.	ICFIE	2007	DBLP DOI BibTeX RDF	J-fuzzy relation, I-fuzzy equality, J-fuzzy function, GF-fuzzy group
24	Bing Yang, Huaping Hu, Xiangwen Duan, Shiyao Jin	An Intelligent Network-Warning Model with Strong Survivability.	CANS	2007	DBLP DOI BibTeX RDF	Strong Survivability, Network-Warning, Intelligence, Equality
24	Yutaka Jitsumatsu, Tohru Kohda	Chip-Asynchronous Version of Welch Bound: Gaussian Pulse Improves BER Performance.	SETA	2006	DBLP DOI BibTeX RDF	Welch bound equality (WBE) sequence, total squared correlation (TSC), pulse shaping filter, asynchronous DS/CDMA system
24	Javier Álvez, Paqui Lucio	Equational Constraint Solving Via a Restricted Form of Universal Quantification.	FoIKS	2006	DBLP DOI BibTeX RDF	constraint satisfaction, equality, solver, answer, term algebra
24	Ronald W. Butler, Andrew T. A. Wood	Approximation of power in multivariate analysis.	Stat. Comput.	2005	DBLP DOI BibTeX RDF	block independence, covariance equality, general linear hypothesis, Laplace approximation, saddlepoint approximation, power function, hypergeometric functions
24	Tim Sheard	Languages of the future.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	equality constrained types, formal reasoning systems, staged languages, static constraint management, formal methods
24	Antti Syvänen, Mikko Ahonen, Anu Jäppinen, Marika Pehkonen, Hanne Turunen, Teija Vainio	Accessibility and Mobile Learning.	eTRAIN	2003	DBLP DOI BibTeX RDF	equality issues, mobile learning, informal learning