|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1089 occurrences of 770 keywords
|
|
|
Results
Found 3703 publication records. Showing 3703 according to the selection in the facets
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 |
|
Displaying result #1 - #100 of 3703 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|