Results 51 to 60 of about 26,066,357 (246)
Analyzing recursive programs using a fixed-point calculus
, 2009 We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a fixed-point calculus. In contrast with programming in traditional languages, a
Salvatore La Torre +8 more
core +1 more source
Stochastic differential utility as the continuous-time limit of recursive utility [PDF]
, 2013 We establish a convergence theorem that shows that discrete-time recursive utility, as developed by Kreps and Porteus (1978), converges to stochastic differential utility, as introduced by Dufffie and Epstein (1992), in the continuous-time limit of ...
Seifried, Frank Thomas, Kraft, Holger
core +1 more source
Data‐Driven Bulldozer Blade Control for Autonomous Terrain Leveling
Advanced Robotics Research, EarlyView.A simulation‐driven framework for autonomous bulldozer leveling is presented, combining high‐fidelity terramechanics simulation with a neural‐network‐based reduced‐order model. Gradient‐based optimization enables efficient, low‐level blade control that balances leveling quality and operation time.
Harry Zhang +5 more
wiley +1 more source
Probabilistic analysis of bucket recursive trees
Theoretical Computer Science, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hosam M. Mahmoud, Robert T. Smythe
openaire +2 more sources
Review: A State-of-the-Art of Time Complexity (Non-Recursive and Recursive Fibonacci Algorithm)
JITeCS (Journal of Information Technology and Computer Science), 2016 . Solving strategies in the computation the time complexity of an algorithm is very essentials. Some existing methods have inoptimal in the explanations of solutions, because it takes a long step and for the final result is not exact, or only limited ...
Imam Cholissodin, Efi Riyandani
doaj +1 more source
Mutual Adaptation and Influence: Review of Latent Dynamics Models in Human–Robot Interaction
Advanced Robotics Research, EarlyView.Robots are becoming better teammates by learning hidden patterns in how people act. This review covers how state‐of‐the‐art approaches leverage these patterns to help robots not only react but also anticipate and guide cooperation. Here, we synthesize a unifying framework for these approaches, classify and review existing works, and highlight key ...
Mason O. Smith +4 more
wiley +1 more source
The noisy veto-voter model: a recursive distributional equation on [0, 1] [PDF]
, 2008 We study a particular example of a recursive distributional equation (RDE) on the unit interval. We identify all invariant distributions, the corresponding `basins of attraction', and address the issue of endogeny for the associated tree-indexed problem,
Sheehan, Marcus, Jacka, Saul D.
core +1 more source
Advanced Robotics Research, EarlyView.DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano +3 more
wiley +1 more source
Down two steps: Are bilinguals delayed in the acquisition of recursively embedded PPs?
Matraga, 2017 The present study examines whether bilingual children are delayed in the ability to produce complex DPs. We elicited production of DPs containing two PP modifiers, in two conditions designed to tease apart the acquisition of an embedding rule from the ...
Ana Pérez-Leroux +2 more
doaj +1 more source
Вестник Волгоградского государственного университета: Серия 2. Языкознание, 2023 The study offers a developed algorithm, aimed to observe cognitive-communicative syntactic specifiers based on recursive comparison in the process of computer-aided translation of statements in agglutinating languages.
Sergey N. Bredikhin +1 more
doaj +1 more source