Search results for "arity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
165	Michael McMullin, Terence Soule	Constant versus variable arity operators in genetic programming.	GECCO	2010	DBLP DOI BibTeX RDF	arity, genetic programming, operators
88	Stephanie Weirich, Chris Casinghino	Arity-generic datatype-generic programming.	PLPV	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.	Ann. Math. Artif. Intell.	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.	FoIKS	2006	DBLP DOI BibTeX RDF
87	John Hannan, Patrick Hicks	Higher-Order Arity Raising.	ICFP	1998	DBLP DOI BibTeX RDF
74	T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen	Practical Variable-Arity Polymorphism.	ESOP	2009	DBLP DOI BibTeX RDF
64	Hadrien Cambazard, Barry O'Sullivan	A Reformulation-Based Approach to Explanation in Constraint Satisfaction.	SARA	2007	DBLP DOI BibTeX RDF
62	Sergei A. Romanenko	Arity Raiser and its Use in Program Specialization.	ESOP	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.	CADE	2003	DBLP DOI BibTeX RDF
48	George Katsirelos, Toby Walsh	A Compression Algorithm for Large Arity Extensional Constraints.	CP	2007	DBLP DOI BibTeX RDF
48	Temur Kutsia	Theorem Proving with Sequence Variables and Flexible Arity Symbols.	LPAR	2002	DBLP DOI BibTeX RDF
48	Henrik Imhof	Computational Aspects of Arity Hierarchies.	CSL	1996	DBLP DOI BibTeX RDF
48	Hsianlin Dzeng, Christopher T. Haynes	Type Reconstruction for Variable-Arity Procedures.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	ML
48	Pratul Dublish, S. N. Maheshwari	Expressibility of Bounded-Arity Fixed-Point Query Hierarchies.	PODS	1989	DBLP DOI BibTeX RDF
40	Boris A. Romov	Polynomial Completeness Criteria in Finite Boolean Algebras.	ISMVL	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.	J. ACM	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.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Table constraints, Explanation generation, Functional dependencies
39	Hadrien Cambazard, Barry O'Sullivan	Reformulating Positive Table Constraints Using Functional Dependencies.	CP	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.	GECCO (2)	2004	DBLP DOI BibTeX RDF
35	Tomás Werner	High-arity interactions, polyhedral relaxations, and cutting plane algorithm for soft constraint optimisation (MAP-MRF).	CVPR	2008	DBLP DOI BibTeX RDF
35	Alberto Paccanaro	Learning Distributed Representations of High-Arity Relational Data with Non-linear Relational Embedding.	ICANN	2003	DBLP DOI BibTeX RDF
35	Temur Kutsia	Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms.	AISC	2002	DBLP DOI BibTeX RDF
35	Dan Corbett	A Case for Variable-Arity Relations: Definitions and Domains.	ICCS	1999	DBLP DOI BibTeX RDF
35	Martin Grohe	Bounded-Arity Hierarchies in Fixed-Point Logics.	CSL	1993	DBLP DOI BibTeX RDF
27	Maximilian C. Bolingbroke, Simon L. Peyton Jones	Types are calling conventions.	Haskell	2009	DBLP DOI BibTeX RDF	arity, calling conventions, strictness, unboxing, uncurrying, intermediate language
27	Wissam Khalil	More expressive extensions of TQL.	CSTST	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.	Theory Comput. Syst.	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.	ICDE	2009	DBLP DOI BibTeX RDF
26	Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy	On the Structure of Industrial SAT Instances.	CP	2009	DBLP DOI BibTeX RDF
26	Stephen Dignum, Riccardo Poli	Sub-tree Swapping Crossover, Allele Diffusion and GP Convergence.	PPSN	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.	ICDT	2007	DBLP DOI BibTeX RDF
26	David A. Cohen, Peter Jeavons 0001, Stanislav Zivný	The Expressive Power of Valued Constraints: Hierarchies and Collapses.	CP	2007	DBLP DOI BibTeX RDF
26	Jinkui Xie, Linpeng Huang	Specification and Verification of Position Based Routing for Mobile Ad Hoc System.	CIT	2005	DBLP DOI BibTeX RDF
26	Jinkui Xie, Linpeng Huang	Formal Description and Complexity Analysis of Routing in Mobile Ad Hoc System.	PDCAT	2005	DBLP DOI BibTeX RDF
26	Jorge Coelho 0001, Mário Florido	CLP(Flex): Constraint Logic Programming Applied to XML Processing.	CoopIS/DOA/ODBASE (2)	2004	DBLP DOI BibTeX RDF
26	Frank Neven, Jan Van den Bussche	Expressiveness of structured document query languages based on attribute grammars.	J. ACM	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.	AI	2000	DBLP DOI BibTeX RDF
26	Sabrina Mantaci, Daniele Micciancio	An Algorithm for the Solution of Tree Equations.	TAPSOFT	1997	DBLP DOI BibTeX RDF
26	Yaniv Bargury, Johann A. Makowsky	The Expressive Power of Transitive Closue and 2-way Multihead Automata.	CSL	1991	DBLP DOI BibTeX RDF
26	Patrick Bellot	Unformly Applicative Structures, A Theory of Computability and Polyadic Functions.	FSTTCS	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).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
23	Carlos Zapata-Carratalá, Xerxes D. Arsiwalla	An Invitation to Higher Arity Science.	Complex Syst.	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.	CoRR	2024	DBLP DOI BibTeX RDF
23	Leonardo Nagami Coregliano, Maryanthe Malliaris	High-arity PAC learning via exchangeability.	CoRR	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.	Adv. Complex Syst.	2023	DBLP DOI BibTeX RDF
23	Christoph Koutschan, Bernhard Moser 0001, Anton Ponomarchuk, Josef Schicho	Representing Piecewise Linear Functions by Functions with Small Arity.	CoRR	2023	DBLP DOI BibTeX RDF
23	Antonio Bucciarelli, Antonino Salibra	Clones, polymorphisms and relations of arity omega.	CoRR	2023	DBLP DOI BibTeX RDF
23	Fosco Loregiàn, Théo de Oliveira Santos	Coends of Higher Arity.	Appl. Categorical Struct.	2022	DBLP DOI BibTeX RDF
23	Abeer M. Albalahi	Characteristic Sequence of Strongly Minimal Directed Single Graphs of 1-Arity.	Comput.	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.	CoRR	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.	CoRR	2022	DBLP BibTeX RDF
23	Wei Yao, Ye Chen	The arity of convex spaces.	J. Intell. Fuzzy Syst.	2021	DBLP DOI BibTeX RDF
23	Mike Behrisch, Edith Vargas-García	Centralising Monoids with Low-Arity Witnesses on a Four-Element Set.	Symmetry	2021	DBLP DOI BibTeX RDF
23	Cristina Feier	Efficiency of Query Evaluation Under Guarded TGDs: The Unbounded Arity Case.	CoRR	2021	DBLP BibTeX RDF
23	Aleksander Kiryk	An algorithm for generating random mixed-arity trees.	CoRR	2021	DBLP BibTeX RDF
23	Artem Chernikov, Henry Towsner	Hypergraph regularity and higher arity VC-dimension.	CoRR	2020	DBLP BibTeX RDF
23	Temur Kutsia, Cleo Pau	Proximity-Based Unification with Arity Mismatch.	UNIF	2020	DBLP BibTeX RDF
23	Ian Elmor Lang, Ziqiang Huang, Nachiket Kapre	Exploring The Impact Of Switch Arity On Butterfly Fat Tree Fpga Nocs.	FCCM	2020	DBLP DOI BibTeX RDF
23	Wei Xia, Roland H. C. Yap	A Hybrid Dynamic Arity Search Heuristic for Constraint Programming.	ICTAI	2020	DBLP DOI BibTeX RDF
23	Lucia Romani, Alberto Viscardi	Dual Univariate Interpolatory Subdivision of Every Arity: Algebraic Characterization and Construction.	CoRR	2019	DBLP BibTeX RDF
23	Dan Wang, Shao-Jun Yang, Xinyi Huang 0001	The Degree of Arity ≤ n About M-Fuzzifying Convex Space.	FSDM	2019	DBLP DOI BibTeX RDF
23	Nina Bulanova, Maxim Buzdalov 0001	Limited memory, limited arity unbiased black-box complexity: first insights.	GECCO (Companion)	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.	EMNLP/IJCNLP (1)	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.	CoNLL Shared Task	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.	J. Intell. Fuzzy Syst.	2018	DBLP DOI BibTeX RDF
23	Joachim Breitner	Call Arity.	Comput. Lang. Syst. Struct.	2018	DBLP DOI BibTeX RDF
23	Nina Bulanova, Maxim Buzdalov 0001	Better Fixed-Arity Unbiased Black-Box Algorithms.	CoRR	2018	DBLP BibTeX RDF
23	Patrick Ernst, Amy Siu, Gerhard Weikum	HighLife: Higher-arity Fact Harvesting.	WWW	2018	DBLP DOI BibTeX RDF
23	Nina Bulanova, Maxim Buzdalov 0001	Better fixed-arity unbiased black-box algorithms.	GECCO (Companion)	2018	DBLP DOI BibTeX RDF
23	Hajime Machida, Ivo G. Rosenberg	Commutation for Functions of Small Arity Over a Finite Set.	ISMVL	2018	DBLP DOI BibTeX RDF
23	Raine Rönnholm	Arity Fragments of Logics with Team Semantics ; Paikkalukujen määräämät alilogiikat tiimisemantiikassa.		2018	RDF
23	Achref El Mouelhi	Tractable classes for CSPs of arbitrary arity: from theory to practice.	Constraints An Int. J.	2017	DBLP DOI BibTeX RDF
23	Hajime Machida, Ivo G. Rosenberg	Centralizing Monoids and the Arity of Witnesses.	ISMVL	2017	DBLP DOI BibTeX RDF
23	Miguel Couceiro, Erkko Lehtonen	On the Arity Gap of Finite Functions: Results and Applications.	J. Multiple Valued Log. Soft Comput.	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.	Artif. Intell.	2016	DBLP DOI BibTeX RDF
23	Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser	A Survey on the Arity Gap.	J. Multiple Valued Log. Soft Comput.	2015	DBLP BibTeX RDF
23	Neeraj Kayal, Chandan Saha 0001	Lower Bounds for Sums of Products of Low arity Polynomials.	Electron. Colloquium Comput. Complex.	2015	DBLP BibTeX RDF
23	Martin Lange	The Arity Hierarchy in the Polyadic μ-Calculus.	FICS	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.	Fuzzy Sets Syst.	2015	DBLP DOI BibTeX RDF
23	Saikrishna Badrinarayanan, Divya Gupta 0001, Abhishek Jain 0002, Amit Sahai	Multi-Input Functional Encryption for Unbounded Arity Functions.	IACR Cryptol. ePrint Arch.	2015	DBLP BibTeX RDF
23	Joachim Breitner	The Safety of Call Arity.	Arch. Formal Proofs	2015	DBLP BibTeX RDF
23	Saikrishna Badrinarayanan, Divya Gupta 0001, Abhishek Jain 0002, Amit Sahai	Multi-input Functional Encryption for Unbounded Arity Functions.	ASIACRYPT (1)	2015	DBLP DOI BibTeX RDF
23	Benjamin Doerr, Carola Winzen	Reducing the arity in unbiased black-box complexity.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
23	Joachim Breitner	Call Arity.	Trends in Functional Programming	2014	DBLP DOI BibTeX RDF
23	Debidatta Dwibedi, Amitabha Mukerjee	Characterizing Predicate Arity and Spatial Structure for Inductive Learning of Game Rules.	ECCV Workshops (2)	2014	DBLP DOI BibTeX RDF
23	Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser	Parametrized Arity Gap.	Order	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.	Knowl. Inf. Syst.	2013	DBLP DOI BibTeX RDF
23	Anna Cena, Marek Gagolewski	OM3: Ordered Maxitive, Minitive, and Modular Aggregation Operators: Axiomatic Analysis under Arity-Dependence (I).	AGOP	2013	DBLP DOI BibTeX RDF
23	Achref El Mouelhi, Philippe Jégou, Cyril Terrioux	Microstructures for CSPs with Constraints of Arbitrary Arity.	SARA	2013	DBLP BibTeX RDF
23	Benjamin Doerr, Carola Winzen	Reducing the Arity in Unbiased Black-Box Complexity	CoRR	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.	Discret. Appl. Math.	2012	DBLP DOI BibTeX RDF
23	Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser	Decompositions of functions based on arity gap.	Discret. Math.	2012	DBLP DOI BibTeX RDF
23	Benjamin Doerr, Carola Winzen	Reducing the arity in unbiased black-box complexity.	GECCO	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.	ISAIM	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.	Int. J. Approx. Reason.	2011	DBLP DOI BibTeX RDF
23	Costanza Conti, Kai Hormann	Polynomial reproduction for univariate subdivision schemes of any arity.	J. Approx. Theory	2011	DBLP DOI BibTeX RDF
23	Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser	A Survey on the Arity Gap.	ISMVL	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.	FOGA	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	CoRR	2010	DBLP BibTeX RDF
23	Slavcho Shtrakov, Jörg Koppitz	Symmetric functions with non-trivial arity gap	CoRR	2010	DBLP BibTeX RDF