Search results for "C-equality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
81	Kosta Dosen, Zoran Petric	Equality of proofs for linear equality.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03F07, 03F52, 03G30, 18C05, 18A40, 18D10, 03F05
68	Orly Meir, Ofer Strichman	Yet Another Decision Procedure for Equality Logic.	CAV	2005	DBLP DOI BibTeX RDF
63	Jan Hajic, Maria Giagkou, Stelios Piperidis, Georg Rehm, Natália Resende	Consulting the Community: How to Reach Digital Language Equality in Europe by 2030?	European Language Equality	2023	DBLP DOI BibTeX RDF
63	Georg Rehm, Andy Way	Strategic Research, Innovation and Implementation Agenda for Digital Language Equality in Europe by 2030.	European Language Equality	2023	DBLP DOI BibTeX RDF
63	Georg Rehm, Andy Way	European Language Equality: Introduction.	European Language Equality	2023	DBLP DOI BibTeX RDF
63	Federico Gaspari, Annika Grützner-Zahn, Georg Rehm, Owen Gallagher, Maria Giagkou, Stelios Piperidis, Andy Way	Digital Language Equality: Definition, Metric, Dashboard.	European Language Equality	2022	DBLP DOI BibTeX RDF
61	Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur	Revisiting Positive Equality.	TACAS	2004	DBLP DOI BibTeX RDF
61	Martin Elsman	Polymorphic Equality - No Tags Required.	Types in Compilation	1998	DBLP DOI BibTeX RDF
57	Olga Tveretina, Hans Zantema	A Proof System and a Decision Procedure for Equality Logic.	LATIN	2004	DBLP DOI BibTeX RDF	Equality logic, satisfiability, resolution
56	Kun-Lung Wu, Philip S. Yu	Efficient query monitoring using adaptive multiple key hashing.	CIKM	2002	DBLP DOI BibTeX RDF	adaptive multiple key hashing, query monitoring, publish/subscribe, continual queries, query indexing
54	Reinhold Letz, Gernot Stenz	Integration of Equality Reasoning into the Disconnection Calculus.	TABLEAUX	2002	DBLP DOI BibTeX RDF
54	Andrei Voronkov	Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification.	CADE	1996	DBLP DOI BibTeX RDF
52	Miroslav N. Velev, Randal E. Bryant	EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations.	CAV	2001	DBLP DOI BibTeX RDF
51	Martin Kaltenböck, Artem Revenko, Khalid Choukri, Svetla Boytcheva, Christian Lieske, Teresa Lynn, German Rigau, Maria Heuschkel, Aritz Farwell, Gareth Jones, Itziar Aldabe, Ainara Estarrona, Katrin Marheinecke, Stelios Piperidis, Victoria Arranz, Vincent Vandeghinste, Claudia Borg	Deep Dive Data and Knowledge.	European Language Equality	2023	DBLP DOI BibTeX RDF
51	Marcin Skowron, Gerhard Backfried, Eva Navas, Aivars Berzins, Joachim Van den Bogaert, Franciska de Jong, Andrea DeMarco, Inma Hernáez, Marek Kovác, Peter Polák, Johan Rohdin, Michael Rosner, Jon Sánchez, Ibon Saratxaga, Petr Schwarz	Deep Dive Speech Technology.	European Language Equality	2023	DBLP DOI BibTeX RDF
51	Itziar Aldabe, Aritz Farwell, German Rigau, Georg Rehm, Andy Way	Strategic Plans and Projects in Language Technology and Artificial Intelligence.	European Language Equality	2023	DBLP DOI BibTeX RDF
51	Emma Daly, Jane Dunne, Federico Gaspari, Teresa Lynn, Natália Resende, Andy Way, Maria Giagkou, Stelios Piperidis, Tereza Vojtechová, Jan Hajic, Annika Grützner-Zahn, Stefanie Hegele, Katrin Marheinecke, Georg Rehm	Results of the Forward-looking Community-wide Consultation.	European Language Equality	2023	DBLP DOI BibTeX RDF
51	Inguna Skadina, Andrejs Vasiljevs, Marcis Pinnis, Aivars Berzins, Nora Aranberri, Joachim Van den Bogaert, Sally O'Connor, Mercedes García-Martínez, Iakes Goenaga, Jan Hajic, Manuel Herranz, Christian Lieske, Martin Popel, Maja Popovic, Sheila Castilho, Federico Gaspari, Rudolf Rosa, Riccardo Superbo, Andy Way	Deep Dive Machine Translation.	European Language Equality	2023	DBLP DOI BibTeX RDF
51	José Manuél Gómez-Pérez, Andrés García-Silva, Cristian Berrio, German Rigau, Aitor Soroa, Christian Lieske, Johannes Hoffart, Felix Sasaki, Daniel Dahlmeier, Inguna Skadina, Aivars Berzins, Andrejs Vasiljevs, Teresa Lynn	Deep Dive Text Analytics and Natural Language Understanding.	European Language Equality	2023	DBLP DOI BibTeX RDF
51	Diana Maynard, Joanna Wright, Mark A. Greenwood, Kalina Bontcheva	Language Report English.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Stefanie Hegele, Barbara Heinisch, Antonia Popp, Katrin Marheinecke, Annette Rios, Dagmar Gromann, Martin Volk 0001, Georg Rehm	Language Report German.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	José Manuel Ramírez Sánchez, Laura Docío Fernández, Carmen García-Mateo	Language Report Galician.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Maciej Ogrodniczuk, Piotr Pezik, Marek Lazinski, Marcin Milkowski	Language Report Polish.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Lars Borin, Rickard Domeij, Jens Edlund, Markus Forsberg	Language Report Swedish.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Svetla Koeva	Language Report Bulgarian.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Maria Gavriilidou, Maria Giagkou, Dora Loizidou, Stelios Piperidis	Language Report Greek.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Maite Melero, Blanca Calvo Figueras, Mar Rodriguez i Alvarez, Marta Villegas	Language Report Catalan.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Dimitra Anastasiou	Language Report Luxembourgish.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Teresa Lynn	Language Report Irish.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Bolette Sandford Pedersen, Sussi Olsen, Lina Henriksen	Language Report Danish.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	António Branco, Sara Grilo, João Silva	Language Report Portuguese.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Vasile Pais, Dan Tufis	Language Report Romanian.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Eiríkur Rögnvaldsson	Language Report Icelandic.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Kadri Muischnek	Language Report Estonian.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Inguna Skadina, Ilze Auzina, Baiba Valkovska, Normunds Gruzitis	Language Report Latvian.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Michael Rosner, Claudia Borg	Language Report Maltese.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Kinga Jelencsik-Mátyus, Eniko Héja, Zsófia Varga, Tamás Váradi	Language Report Hungarian.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Tarik Cusic	Language Report Bosnian.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Maria Giagkou, Teresa Lynn, Jane Dunne, Stelios Piperidis, Georg Rehm	European Language Technology in 2022/2023.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Jaroslava Hlavácová	Language Report Czech.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Cvetana Krstev, Ranka Stankovic	Language Report Serbian.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Simon Krek	Language Report Slovenian.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Rodrigo Agerri, Eneko Agirre, Itziar Aldabe, Nora Aranberri, Jose Maria Arriola, Aitziber Atutxa, Gorka Azkune, Jon Ander Campos, Arantza Casillas, Ainara Estarrona, Aritz Farwell, Iakes Goenaga, Josu Goikoetxea, Koldo Gojenola, Inma Hernáez, Mikel Iruskieta, Gorka Labaka, Oier Lopez de Lacalle, Eva Navas, Maite Oronoz, Arantxa Otegi, Alicia Pérez, Olatz Perez-de-Viñaspre, German Rigau, Ander Salaberria, Jon Sánchez, Ibon Saratxaga, Aitor Soroa	State-of-the-Art in Language Technology and Language-centric Artificial Intelligence.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Marko Tadic	Language Report Croatian.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Delyth Prys, Gareth Watkins	Language Report Welsh.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Anzelika Gaidiene, Aurelija Tamulioniene	Language Report Lithuanian.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Krister Lindén, Wilhelmina Dyster	Language Report Finnish.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Kristine Eide, Andre Kåsen, Ingerid Løyning Dale	Language Report Norwegian.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Gilles Adda, Ioana Vasilescu, François Yvon	Language Report French.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Maite Melero, Pablo Peñarrubia, David Cabestany, Blanca Calvo, Mar Rodriguez i Alvarez, Marta Villegas	Language Report Spanish.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Frieda Steurs, Vincent Vandeghinste, Walter Daelemans	Language Report Dutch.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Radovan Garabík	Language Report Slovak.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Kepa Sarasola, Itziar Aldabe, Arantza Díaz de Ilarraza, Ainara Estarrona, Aritz Farwell, Inma Hernáez, Eva Navas	Language Report Basque.	European Language Equality	2022	DBLP DOI BibTeX RDF
51	Bernardo Magnini, Alberto Lavelli, Manuela Speranza	Language Report Italian.	European Language Equality	2022	DBLP DOI BibTeX RDF
50	Thorsten Altenkirch, Conor McBride, Wouter Swierstra	Observational equality, now!	PLPV	2007	DBLP DOI BibTeX RDF	type theory, equality
50	Anuj Goel, Khurram Sajid, Hai Zhou 0001, Adnan Aziz, Vigyan Singhal	BDD Based Procedures for a Theory of Equality with Uninterpreted Functions.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	logic of equality, BDDs, uninterpreted functions
50	Helger Lipmaa	Verifiable Homomorphic Oblivious Transfer and Private Equality Test.	ASIACRYPT	2003	DBLP DOI BibTeX RDF	cryptographic auctions, verifiable oblivious transfer, verifiable private equality test, homomorphic encryption
50	Weining Zhang, Ke Wang	An Efficient Evaluation of a Fuzzy Equi-Join Using Fuzzy Equality Indicators.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	fuzzy equi–join, fuzzy equality indicator, performance, algorithm, Fuzzy databases
47	Masaki Nakamura 0001, Kokichi Futatsugi	On Equality Predicates in Algebraic Specification Languages.	ICTAC	2007	DBLP DOI BibTeX RDF
47	Zhendong Su 0001, Alexander Aiken	Entailment with Conditional Equality Constraints.	ESOP	2001	DBLP DOI BibTeX RDF
47	Joachim Niehren, Manfred Pinkal, Peter Ruhrberg	On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting.	CADE	1997	DBLP DOI BibTeX RDF	tree constraints, subtree relation, string unification, context unification, linear second-order unification, one-step rewriting, semantic processing of natural language
45	Randal E. Bryant, Steven M. German, Miroslav N. Velev	Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions.	CAV	1999	DBLP DOI BibTeX RDF
45	Ariel Cohen 0004, Michael Kaminski, Johann A. Makowsky	Notions of Sameness by Default and their Application to Anaphora, Vagueness, and Uncertain Reasoning.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Herbrand models, Sorites, Rough Set Theory, Equality, Default Logic, Vagueness, Indistinguishability, Anaphora
45	David A. Plaisted	Special Cases and Substitutes for Rigid E-Unification.	Appl. Algebra Eng. Commun. Comput.	2000	DBLP DOI BibTeX RDF	Rigid E -unification, Theorem proving, First-order logic, Decidability, Unification, Equality, Horn clauses, Tableaux
43	Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner	Equality saturation: a new approach to optimization.	POPL	2009	DBLP DOI BibTeX RDF	equality reasoning, compiler optimization, intermediate representation
43	Gerhard Skagestein, Ragnar Normann	A Closer Look at the Join-Equality Constraint.	OTM Workshops	2008	DBLP DOI BibTeX RDF	Join-equality constraint, Overlapping foreign keys, Boyce-Codd Normal Form
43	Zdenek Dostál	An Optimal Algorithm for Bound and Equality Constrained Quadratic Programming Problems with Bounded Spectrum.	Computing	2006	DBLP DOI BibTeX RDF	bound and equality constraints, optimal algorithms, Quadratic programming, augmented Lagrangians
43	Junhu Wang	Database Design with Equality-Generating Dependencies.	DASFAA	2005	DBLP DOI BibTeX RDF	equality-generating dependency, XML tree, normalization, database design, functional dependency, relations, normal form, data redundancy
43	Vilém Novák	On fuzzy equality and approximation in fuzzy logic.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Evaluated syntax, Fuzzy approximation, Fuzzy logic, Fuzzy equality
43	Riza Aditya, Kun Peng, Colin Boyd, Ed Dawson, Byoungcheon Lee	Batch Verification for Equality of Discrete Logarithms and Threshold Decryptions.	ACNS	2004	DBLP DOI BibTeX RDF	Proof of equality of discrete logarithms (PEQDL), Threshold decryption, Threshold ElGamal, Threshold RSA, Batch verification
43	Olga Tveretina	A Decision Procedure for Equality Logic with Uninterpreted Functions.	AISC	2004	DBLP DOI BibTeX RDF	equality logic with uninterpreted functions, DPLL procedure, satisfiability
41	Karl-Hans Bläsius, Jörg H. Siekmann	Partial Unification for Graph Based Equational Reasoning.	CADE	1988	DBLP DOI BibTeX RDF	built-in equality, clause graphs with equality, planning in abstraction spaces, Unification
40	Gustavo Peconick, Elizabeth F. Wanner, Ricardo H. C. Takahashi	Projection-based local search operator for multiple equality constraints within genetic algorithms.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
40	Lutz Schröder	The Logic of the Partial lambda-Calculus with Equality.	CSL	2004	DBLP DOI BibTeX RDF
40	Margarita V. Korovina	Computational Aspects of sigma-Definability over the Real Numbers without the Equality Test.	CSL	2003	DBLP DOI BibTeX RDF
40	Anatoli Degtyarev, Andrei Voronkov	Equality Elimination for the Tableau Method.	DISCO	1996	DBLP DOI BibTeX RDF
40	Serge Abiteboul, Jan Van den Bussche	Deep Equality Revisited.	DOOD	1995	DBLP DOI BibTeX RDF
38	Cuiwen Cao, Jinwei Gu, Bin Jiao, Zhong Xin, Xingsheng Gu	Optimizing constrained non-convex NLP problems in chemical engineering field by a novel modified goal programming genetic algorithm.	GEC Summit	2009	DBLP DOI BibTeX RDF	equality constraints, mgpga, non-convex NLP
38	Siyamand Ayubi, Maybin K. Muyeba, John A. Keane	An Algorithm to Mine General Association Rules from Tabular Data.	IDEAL	2007	DBLP DOI BibTeX RDF	equality operators, data mining, general association rules, tabular data
38	Kosta Dosen, Zoran Petric	Coherent Bicartesian and Sesquicartesian Categories.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	categorial proof theory, conjunction and disjunction, decidability of equality of deductions Mathematics Subject Classification (2000): 18A30, 18A15, 03G30, 03F05
36	Martin Giese	Superposition-based Equality Handling for Analytic Tableaux.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	superposition rules, equality handling, analytic tableaux
36	Healfdene Goguen	A syntactic approach to eta equality in type theory.	POPL	2005	DBLP DOI BibTeX RDF	beta-eta equality, decidability, type checking, logical frameworks
36	Aram V. Arutyunov, Alexey F. Izmailov	Abnormal equality-constrained optimization problems: sensitivity theory.	Math. Program.	2004	DBLP DOI BibTeX RDF	equality-constrained problem, abnormal point, second-order sufficient conditions, regularity, sensitivity analysis, parametric optimization
35	Miroslav N. Velev	Using Abstraction for Efficient Formal Verification of Pipelined Processors with Value Prediction.	ISQED	2006	DBLP DOI BibTeX RDF
35	Botao Wang, Wang Zhang, Masaru Kitsuregawa	UB-Tree Based Efficient Predicate Index with Dimension Transform for Pub/Sub System.	DASFAA	2004	DBLP DOI BibTeX RDF
35	Gilles Bernot, Michel Bidoit, Teodor Knapik	Towards an Adequate Notion of Observation.	ESOP	1992	DBLP DOI BibTeX RDF
35	Franz-Josef Brandenburg	Extended Chomsky-Schützenberger Theorems.	ICALP	1982	DBLP DOI BibTeX RDF
34	Miroslav N. Velev	Efficient formal verification of pipelined processors with instruction queues.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	logic of equality, positive equality, decomposition, SAT
33	Manuel Bodirsky, Jan Kára	The Complexity of Equality Constraint Languages.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Clones on infinite domains, Computational complexity, Constraint satisfaction, Logic in computer science
33	Pedro Cabalar	Partial Functions and Equality in Answer Set Programming.	ICLP	2008	DBLP DOI BibTeX RDF
33	Chandan Raj Rupakheti, Daqing Hou	An empirical study of the design and implementation of object equality in Java.	CASCON	2008	DBLP DOI BibTeX RDF
33	Manuel Bodirsky, Hubie Chen	Quantified Equality Constraints.	LICS	2007	DBLP DOI BibTeX RDF
33	Arnaud Carayol, Didier Caucal	The Kleene Equality for Graphs.	MFCS	2006	DBLP DOI BibTeX RDF
33	Manuel Bodirsky, Jan Kára	The Complexity of Equality Constraint Languages.	CSR	2006	DBLP DOI BibTeX RDF	Clones on Infinite Domains, Computational Complexity, Constraint Satisfaction, Logic in Computer Science
33	Christopher K. Monson, Kevin D. Seppi	Linear equality constraints and homomorphous mappings in PSO.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
33	Peter Baumgartner 0001, Cesare Tinelli	The Model Evolution Calculus with Equality.	CADE	2005	DBLP DOI BibTeX RDF
33	Miroslav N. Velev	Using Rewriting Rules and Positive Equality to Formally Verify Wide-Issue Out-of-Order Microprocessors with a Reorder Buffer.	DATE	2002	DBLP DOI BibTeX RDF
33	Erik Ruf	Improving the Precision of Equality-Based Dataflow Analyses.	SAS	2002	DBLP DOI BibTeX RDF
33	Jens Palsberg	Equality-based flow analysis versus recursive types.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	type systems, flow analysis
33	Anuj Goel, Khurram Sajid, Hai Zhou 0001, Adnan Aziz, Vigyan Singhal	BDD Based Procedures for a Theory of Equality with Uninterpreted Functions.	CAV	1998	DBLP DOI BibTeX RDF