Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
165 | Michael McMullin, Terence Soule |
Constant versus variable arity operators in genetic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, pp. 987-988, 2010, ACM, 978-1-4503-0072-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
arity, genetic programming, operators |
88 | Stephanie Weirich, Chris Casinghino |
Arity-generic datatype-generic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010, pp. 15-26, 2010, ACM, 978-1-60558-890-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
agda, arity-generic programming, generic haskell, dependent types |
87 | Flavio Antonio Ferrarotti, Jose Maria Turull Torres |
Arity and alternation: a proper hierarchy in higher order logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 50(1-2), pp. 111-141, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03C13, 68Q19, 03C85 |
87 | Flavio Antonio Ferrarotti, Jose Maria Turull Torres |
Arity and Alternation: A Proper Hierarchy in Higher Order Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings, pp. 92-115, 2006, Springer, 3-540-31782-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
87 | John Hannan, Patrick Hicks |
Higher-Order Arity Raising. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998., pp. 27-38, 1998, ACM, 1-58113-024-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
74 | T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen |
Practical Variable-Arity Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 32-46, 2009, Springer, 978-3-642-00589-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
64 | Hadrien Cambazard, Barry O'Sullivan |
A Reformulation-Based Approach to Explanation in Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SARA ![In: Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings, pp. 395-396, 2007, Springer, 978-3-540-73579-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
62 | Sergei A. Romanenko |
Arity Raiser and its Use in Program Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings, pp. 341-360, 1990, Springer, 3-540-52592-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
arity raiser, retyping, variable splitting, partial evaluation, specializer, compiler generator |
61 | Manfred Schmidt-Schauß |
Decidability of Arity-Bounded Higher-Order Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings, pp. 488-502, 2003, Springer, 3-540-40559-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
48 | George Katsirelos, Toby Walsh |
A Compression Algorithm for Large Arity Extensional Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, pp. 379-393, 2007, Springer, 978-3-540-74969-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Temur Kutsia |
Theorem Proving with Sequence Variables and Flexible Arity Symbols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings, pp. 278-291, 2002, Springer, 3-540-00010-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
48 | Henrik Imhof |
Computational Aspects of Arity Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers, pp. 211-225, 1996, Springer, 3-540-63172-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
48 | Hsianlin Dzeng, Christopher T. Haynes |
Type Reconstruction for Variable-Arity Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1994 ACM Conference on LISP and Functional Programming, Orlando, Florida, USA, 27-29 June 1994., pp. 239-249, 1994, ACM, 0-89791-643-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
ML |
48 | Pratul Dublish, S. N. Maheshwari |
Expressibility of Bounded-Arity Fixed-Point Query Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania, USA, pp. 324-335, 1989, ACM Press, 0-89791-308-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
40 | Boris A. Romov |
Polynomial Completeness Criteria in Finite Boolean Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 262-266, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
completeness criteria, finite Boolean algebras, arity-calibrated product, two-valued logic algebras, maximal subalgebras, Sheffer criterion, Slupecki type criterion, multiple base relation, logic algebras, process algebra, polynomials, algebra, Boolean algebra |
40 | Ke Wang, Weining Zhang, Siu-Cheung Chau |
Decomposition of Magic Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(2), pp. 329-381, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
arity reduction, magic rewriting, database, logic program, deductive database, bottom-up evaluation, program decomposition |
39 | Hadrien Cambazard, Barry O'Sullivan |
Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 13(3), pp. 385-406, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Table constraints, Explanation generation, Functional dependencies |
39 | Hadrien Cambazard, Barry O'Sullivan |
Reformulating Positive Table Constraints Using Functional Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings, pp. 418-432, 2008, Springer, 978-3-540-85957-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Nguyen Xuan Hoai, Robert I. McKay |
Softening the Structural Difficulty in Genetic Programming with TAG-Based Representation and Insertion/Deletion Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (2) ![In: Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part II, pp. 605-616, 2004, Springer, 3-540-22343-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Tomás Werner |
High-arity interactions, polyhedral relaxations, and cutting plane algorithm for soft constraint optimisation (MAP-MRF). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2008), 24-26 June 2008, Anchorage, Alaska, USA, 2008, IEEE Computer Society, 978-1-4244-2242-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Alberto Paccanaro |
Learning Distributed Representations of High-Arity Relational Data with Non-linear Relational Embedding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN ![In: Artificial Neural Networks and Neural Information Processing - ICANN/ICONIP 2003, Joint International Conference ICANN/ICONIP 2003, Istanbul, Turkey, June 26-29, 2003, Proceedings, pp. 149-156, 2003, Springer, 3-540-40408-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Temur Kutsia |
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 290-304, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Dan Corbett |
A Case for Variable-Arity Relations: Definitions and Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Standards and Practices, 7th International Conference on Conceptual Structures, ICCS '99, Blacksburg, Virginia, USA, July 12-15, 1999, Proceedings, pp. 508-509, 1999, Springer, 3-540-66223-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Martin Grohe |
Bounded-Arity Hierarchies in Fixed-Point Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers, pp. 150-164, 1993, Springer, 3-540-58277-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Maximilian C. Bolingbroke, Simon L. Peyton Jones |
Types are calling conventions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009, pp. 1-12, 2009, ACM, 978-1-60558-508-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
arity, calling conventions, strictness, unboxing, uncurrying, intermediate language |
27 | Wissam Khalil |
More expressive extensions of TQL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSTST ![In: CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, Cergy-Pontoise, France, October 28-31, 2008, pp. 607-612, 2008, ACM, 978-1-60558-046-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
constraints on unbound-arity trees, context-free tree languages, synchronized context-free tree languages, synchronized regular tree languages, the TQL logic |
26 | Nilesh N. Dalvi |
Query Evaluation on a Database Given by a Random Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 44(4), pp. 503-532, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Asymptotic probabilities, Random graphs, Conjunctive queries |
26 | Wenfei Fan, Floris Geerts, Laks V. S. Lakshmanan, Ming Xiong |
Discovering Conditional Functional Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 25th International Conference on Data Engineering, ICDE 2009, March 29 2009 - April 2 2009, Shanghai, China, pp. 1231-1234, 2009, IEEE Computer Society, 978-0-7695-3545-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy |
On the Structure of Industrial SAT Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, pp. 127-141, 2009, Springer, 978-3-642-04243-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Stephen Dignum, Riccardo Poli |
Sub-tree Swapping Crossover, Allele Diffusion and GP Convergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN X, 10th International Conference Dortmund, Germany, September 13-17, 2008, Proceedings, pp. 368-377, 2008, Springer, 978-3-540-87699-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Crossover Bias, Allele Diffusion, Genetic Programming, Search, Convergence |
26 | Nilesh N. Dalvi |
Query Evaluation on a Database Given by a Random Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2007, 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings, pp. 149-163, 2007, Springer, 3-540-69269-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | David A. Cohen, Peter Jeavons 0001, Stanislav Zivný |
The Expressive Power of Valued Constraints: Hierarchies and Collapses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, pp. 798-805, 2007, Springer, 978-3-540-74969-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Jinkui Xie, Linpeng Huang |
Specification and Verification of Position Based Routing for Mobile Ad Hoc System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Fifth International Conference on Computer and Information Technology (CIT 2005), 21-23 September 2005, Shanghai, China, pp. 406-409, 2005, IEEE Computer Society, 0-7695-2432-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Jinkui Xie, Linpeng Huang |
Formal Description and Complexity Analysis of Routing in Mobile Ad Hoc System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), 5-8 December 2005, Dalian, China, pp. 421-423, 2005, IEEE Computer Society, 0-7695-2405-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Jorge Coelho 0001, Mário Florido |
CLP(Flex): Constraint Logic Programming Applied to XML Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS/DOA/ODBASE (2) ![In: On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, Agia Napa, Cyprus, October 25-29, 2004, Proceedings, Part II, pp. 1098-1112, 2004, Springer, 3-540-23662-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Frank Neven, Jan Van den Bussche |
Expressiveness of structured document query languages based on attribute grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 49(1), pp. 56-100, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
complexity, logic, automata, Attribute grammars, structured documents |
26 | Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar 0001 |
A Constraint Directed Model for Partial Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI ![In: Advances in Artificial Intelligence, 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000, Montréal, Quebec, Canada, May 14-17, 2000, Proceedings, pp. 26-39, 2000, Springer, 3-540-67557-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Sabrina Mantaci, Daniele Micciancio |
An Algorithm for the Solution of Tree Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings, pp. 417-428, 1997, Springer, 3-540-62781-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Yaniv Bargury, Johann A. Makowsky |
The Expressive Power of Transitive Closue and 2-way Multihead Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings, pp. 1-14, 1991, Springer, 3-540-55789-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Patrick Bellot |
Unformly Applicative Structures, A Theory of Computability and Polyadic Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Eighth Conference, Pune, India, December 21-23, 1988, Proceedings, pp. 270-285, 1988, Springer, 3-540-50517-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
polyadicity, algorithmic, abstraction, computability, representability, recursive function, definability |
26 | Gerard Kiernan, Arnold Koltun, George Psihountas, Edward N. Schwartz |
Manhattanville College expert academic advisor - preliminary report (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 352, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
23 | Carlos Zapata-Carratalá, Xerxes D. Arsiwalla |
An Invitation to Higher Arity Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex Syst. ![In: Complex Syst. 32(4), pp. 409-468, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Thalea Schlender, Mafalda Malafaia, Tanja Alderliesten, Peter A. N. Bosman |
Improving the efficiency of GP-GOMEA for higher-arity operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.09854, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Leonardo Nagami Coregliano, Maryanthe Malliaris |
High-arity PAC learning via exchangeability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.14294, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Carlos Zapata-Carratalá, Maximilian Schich, Taliesin Beynon, Xerxes D. Arsiwalla |
Hypermatrix Algebra and irreducible Arity in Higher-order Systems: Concepts and Perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Complex Syst. ![In: Adv. Complex Syst. 26(6), pp. 2350007:1-2350007:22, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Christoph Koutschan, Bernhard Moser 0001, Anton Ponomarchuk, Josef Schicho |
Representing Piecewise Linear Functions by Functions with Small Arity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.16933, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Antonio Bucciarelli, Antonino Salibra |
Clones, polymorphisms and relations of arity omega. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.05471, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Fosco Loregiàn, Théo de Oliveira Santos |
Coends of Higher Arity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 30(1), pp. 173-221, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Abeer M. Albalahi |
Characteristic Sequence of Strongly Minimal Directed Single Graphs of 1-Arity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 10(12), pp. 220, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Yukihiro Masuoka, Daisuke Kimura |
A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.05791, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Mehdi Zaïdi |
Duality for the existential fragment of first-order logic on words with numerical predicates of a fixed arity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.00872, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Wei Yao, Ye Chen |
The arity of convex spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 40(6), pp. 11455-11462, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Mike Behrisch, Edith Vargas-García |
Centralising Monoids with Low-Arity Witnesses on a Four-Element Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(8), pp. 1471, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Cristina Feier |
Efficiency of Query Evaluation Under Guarded TGDs: The Unbounded Arity Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.11727, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Aleksander Kiryk |
An algorithm for generating random mixed-arity trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.12019, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Artem Chernikov, Henry Towsner |
Hypergraph regularity and higher arity VC-dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.00726, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Temur Kutsia, Cleo Pau |
Proximity-Based Unification with Arity Mismatch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020., pp. 9:1-9:6, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Ian Elmor Lang, Ziqiang Huang, Nachiket Kapre |
Exploring The Impact Of Switch Arity On Butterfly Fat Tree Fpga Nocs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 28th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, FCCM 2020, Fayetteville, AR, USA, May 3-6, 2020, pp. 70-74, 2020, IEEE, 978-1-7281-5803-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Wei Xia, Roland H. C. Yap |
A Hybrid Dynamic Arity Search Heuristic for Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 32nd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2020, Baltimore, MD, USA, November 9-11, 2020, pp. 126-131, 2020, IEEE, 978-1-7281-9228-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Lucia Romani, Alberto Viscardi |
Dual Univariate Interpolatory Subdivision of Every Arity: Algebraic Characterization and Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.09185, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Dan Wang, Shao-Jun Yang, Xinyi Huang 0001 |
The Degree of Arity ≤ n About M-Fuzzifying Convex Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSDM ![In: Fuzzy Systems and Data Mining V - Proceedings of FSDM 2019, Kitakyushu City, Japan, October 18-21, 2019, pp. 337-343, 2019, IOS Press, 978-1-64368-018-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Nina Bulanova, Maxim Buzdalov 0001 |
Limited memory, limited arity unbiased black-box complexity: first insights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Proceedings of the Genetic and Evolutionary Computation Conference Companion, GECCO 2019, Prague, Czech Republic, July 13-17, 2019., pp. 2020-2023, 2019, ACM, 978-1-4503-6748-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Kosuke Akimoto, Takuya Hiraoka, Kunihiko Sadamasa, Mathias Niepert |
Cross-Sentence N-ary Relation Extraction using Lower-Arity Universal Schemas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP/IJCNLP (1) ![In: Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing, EMNLP-IJCNLP 2019, Hong Kong, China, November 3-7, 2019, pp. 6224-6230, 2019, Association for Computational Linguistics, 978-1-950737-90-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Sunny Lai, Chun Hei Lo, Kwong-Sak Leung, Yee Leung |
CUHK at MRP 2019: Transition-Based Parser with Cross-Framework Variable-Arity Resolve Action. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoNLL Shared Task ![In: Proceedings of the Shared Task on Cross-Framework Meaning Representation Parsing at the 2019 Conference on Natural Language Learning, CoNLL 2019, Hong Kong, Novemer 3, 2019, pp. 104-113, 2019, Association for Computational Linguistics, 978-1-950737-60-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Fan-Hong Chen, Chong Shen 0003, Fu-Gui Shi |
A new approach to the fuzzification of arity, JHC and CUP of L-convexities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 34(1), pp. 221-231, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Joachim Breitner |
Call Arity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. Syst. Struct. ![In: Comput. Lang. Syst. Struct. 52, pp. 65-91, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Nina Bulanova, Maxim Buzdalov 0001 |
Better Fixed-Arity Unbiased Black-Box Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.05443, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
23 | Patrick Ernst, Amy Siu, Gerhard Weikum |
HighLife: Higher-arity Fact Harvesting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 2018 World Wide Web Conference on World Wide Web, WWW 2018, Lyon, France, April 23-27, 2018, pp. 1013-1022, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Nina Bulanova, Maxim Buzdalov 0001 |
Better fixed-arity unbiased black-box algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Proceedings of the Genetic and Evolutionary Computation Conference Companion, GECCO 2018, Kyoto, Japan, July 15-19, 2018, pp. 322-323, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Hajime Machida, Ivo G. Rosenberg |
Commutation for Functions of Small Arity Over a Finite Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018, Linz, Austria, May 16-18, 2018, pp. 85-90, 2018, IEEE Computer Society, 978-1-5386-4464-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Raine Rönnholm |
Arity Fragments of Logics with Team Semantics ; Paikkalukujen määräämät alilogiikat tiimisemantiikassa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
23 | Achref El Mouelhi |
Tractable classes for CSPs of arbitrary arity: from theory to practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 22(1), pp. 97-98, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Hajime Machida, Ivo G. Rosenberg |
Centralizing Monoids and the Arity of Witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017, pp. 236-241, 2017, IEEE Computer Society, 978-1-5090-5496-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Miguel Couceiro, Erkko Lehtonen |
On the Arity Gap of Finite Functions: Results and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multiple Valued Log. Soft Comput. ![In: J. Multiple Valued Log. Soft Comput. 27(2-3), pp. 193-207, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
23 | Martin C. Cooper, Aymeric Duchein, Achref El Mouelhi, Guillaume Escamocher, Cyril Terrioux, Bruno Zanuttini |
Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 234, pp. 196-218, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser |
A Survey on the Arity Gap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multiple Valued Log. Soft Comput. ![In: J. Multiple Valued Log. Soft Comput. 24(1-4), pp. 223-249, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
23 | Neeraj Kayal, Chandan Saha 0001 |
Lower Bounds for Sums of Products of Low arity Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR15, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
23 | Martin Lange |
The Arity Hierarchy in the Polyadic μ-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015., pp. 105-116, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Anna Cena, Marek Gagolewski |
OM3: Ordered maxitive, minitive, and modular aggregation operators - Axiomatic and probabilistic properties in an arity-monotonic setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 264, pp. 138-159, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Saikrishna Badrinarayanan, Divya Gupta 0001, Abhishek Jain 0002, Amit Sahai |
Multi-Input Functional Encryption for Unbounded Arity Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2015, pp. 1136, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
23 | Joachim Breitner |
The Safety of Call Arity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2015, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
23 | Saikrishna Badrinarayanan, Divya Gupta 0001, Abhishek Jain 0002, Amit Sahai |
Multi-input Functional Encryption for Unbounded Arity Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT (1) ![In: Advances in Cryptology - ASIACRYPT 2015 - 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 - December 3, 2015, Proceedings, Part I, pp. 27-51, 2015, Springer, 978-3-662-48796-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Benjamin Doerr, Carola Winzen |
Reducing the arity in unbiased black-box complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 545, pp. 108-121, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Joachim Breitner |
Call Arity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Functional Programming ![In: Trends in Functional Programming - 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers, pp. 34-50, 2014, Springer, 978-3-319-14674-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Debidatta Dwibedi, Amitabha Mukerjee |
Characterizing Predicate Arity and Spatial Structure for Inductive Learning of Game Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV Workshops (2) ![In: Computer Vision - ECCV 2014 Workshops - Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part II, pp. 323-338, 2014, Springer, 978-3-319-16180-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser |
Parametrized Arity Gap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 30(2), pp. 557-572, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Robert Van Dam, Irene Langkilde-Geary, Dan Ventura |
Adapting ADtrees for improved performance on large datasets with high-arity features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 35(3), pp. 525-552, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Anna Cena, Marek Gagolewski |
OM3: Ordered Maxitive, Minitive, and Modular Aggregation Operators: Axiomatic Analysis under Arity-Dependence (I). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGOP ![In: Aggregation Functions in Theory and in Practise - Proceedings of the 7th International Summer School on Aggregation Operators at the Public University of Navarra, AGOP 2013, Pamplona, Spain, July 16-20, 2013, pp. 93-103, 2013, Springer, 978-3-642-39164-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Achref El Mouelhi, Philippe Jégou, Cyril Terrioux |
Microstructures for CSPs with Constraints of Arbitrary Arity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SARA ![In: Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, SARA 2013, 11-12 July 2013, Leavenworth, Washington, USA., 2013, AAAI, 978-1-57735-630-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
23 | Benjamin Doerr, Carola Winzen |
Reducing the Arity in Unbiased Black-Box Complexity ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1203.4111, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
23 | Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser |
The arity gap of order-preserving functions and extensions of pseudo-Boolean functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 160(4-5), pp. 383-390, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser |
Decompositions of functions based on arity gap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 312(2), pp. 238-247, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Benjamin Doerr, Carola Winzen |
Reducing the arity in unbiased black-box complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO '12, Philadelphia, PA, USA, July 7-11, 2012, pp. 1309-1316, 2012, ACM, 978-1-4503-1177-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Venkatesh Ramamoorthy, Marius Silaghi 0001, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo |
Soft Nonlinearity Constraints and their Lower-Arity Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAIM ![In: International Symposium on Artificial Intelligence and Mathematics, ISAIM 2012, Fort Lauderdale, Florida, USA, January 9-11, 2012, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
23 | Marek Gagolewski, Przemyslaw Grzegorzewski |
Possibilistic analysis of arity-monotonic aggregation operators and its relation to bibliometric impact assessment of individuals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 52(9), pp. 1312-1324, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Costanza Conti, Kai Hormann |
Polynomial reproduction for univariate subdivision schemes of any arity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Approx. Theory ![In: J. Approx. Theory 163(4), pp. 413-437, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser |
A Survey on the Arity Gap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011, Tuusula, Finland, May 23-25, 2011, pp. 277-281, 2011, IEEE Computer Society, 978-0-7695-4405-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Benjamin Doerr, Daniel Johannsen, Timo Kötzing, Per Kristian Lehre, Markus Wagner 0007, Carola Winzen |
Faster black-box algorithms through higher arity operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOGA ![In: Foundations of Genetic Algorithms, 11th International Workshop, FOGA 2011, Schwarzenberg, Austria, January 5-8, 2011, Proceedings, pp. 163-172, 2011, ACM, 978-1-4503-0633-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Benjamin Doerr, Daniel Johannsen, Timo Kötzing, Per Kristian Lehre, Markus Wagner 0007, Carola Winzen |
Faster Black-Box Algorithms Through Higher Arity Operators ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1012.0952, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
23 | Slavcho Shtrakov, Jörg Koppitz |
Symmetric functions with non-trivial arity gap ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1009.4828, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|