Results 11 to 20 of about 2,540,801 (303)
A Binary Recursive Gcd Algorithm [PDF]
, 2004 Colloque avec actes et comité de lecture. internationale.International audienceThe binary algorithm is a variant of the Euclidean algorithm that performs well in practice.
Zimmermann, Paul, Stehlé, Damien
core +5 more sources
A Behavioural Theory of Recursive Algorithms [PDF]
Fundamenta Informaticae, 2020 “What is an algorithm?” is a fundamental question of computer science. Gurevich’s behavioural theory of sequential algorithms (aka the sequential ASM thesis) gives a partial answer by defining (non-deterministic) sequential algorithms axiomatically, without referring to a particular machine model or programming language, and showing that they are ...
Egon Börger, Klaus-Dieter Schewe
openaire +3 more sources
Recursive Algorithmic Reasoning
CoRR, 2023 Learning models that execute algorithms can enable us to address a key problem in deep learning: generalizing to out-of-distribution data. However, neural networks are currently unable to execute recursive algorithms because they do not have arbitrarily large memory to store and recall state.
Dulhan Hansaja Jayalath +2 more
openaire +4 more sources
Algorithms for recursive delegation [PDF]
AI Communications, 2019 Task delegation is essential to many applications, ranging from outsourcing of work to the design of routing protocols. Much research in computational trust has been devoted to the generation of policies to determine which agent should the task be delegated to, given the agent’s past behaviour.
Juan Afanador +2 more
openaire +3 more sources
A contraction-recursive algorithm for treewidth
CoRR, 2023 Let tw(G) denote the treewidth of graph G. Given a graph G and a positive integer k such that tw(G) <= k + 1, we are to decide if tw(G) <= k. We give a certifying algorithm RTW ("R" for recursive) for this task: it returns one or more tree-decompositions of G of width <= k if the answer is YES and a minimal contraction H of G such that tw(H ...
openaire +4 more sources
Auto Regulated Recursive Non-Quadratic Algorithm [PDF]
Anais da Academia Brasileira de CiênciasThe problem of non-stationary signals constitutes one of the most serious challenges in the context of adaptive filters, since it simultaneously demands high convergence speed, good tracking capability, and stability.
JONAS J. BARROS +5 more
doaj +2 more sources
Multi-learner based recursive supervised training [PDF]
, 2006 In this paper, we propose the Multi-Learner Based Recursive Supervised Training (MLRT) algorithm which uses the existing framework of recursive task decomposition, by training the entire dataset, picking out the best learnt patterns, and then repeating ...
Guan, S.U. +12 more
core +1 more source
A parallel/recursive algorithm [PDF]
Journal of Computational Physics, 2004 Replaced for various corrections in form and presentation.
openaire +2 more sources
Evolving Recursive Programs using Non-recursive Scaffolding [PDF]
, 2012 Genetic programming has proven capable of evolving solutions to a wide variety of problems. However, the successes have largely been with programs without iteration or recursion; evolving recursive programs has turned out to be particularly challenging ...
Otero, Fernando E. B. +10 more
core +1 more source
Checking LTL Properties of Recursive Markov Chains [PDF]
, 2005 We present algorithms for the qualitative and quantitative model checking of Linear Temporal Logic (LTL) properties for Recursive Markov Chains (RMCs). Recursive Markov Chains are a natural abstract model of procedural probabilistic programs and related ...
M. Yannakakis +3 more
core +1 more source