Results 71 to 80 of about 806,387 (285)
L’analyse du discours et les études rhétoriques
Argumentation et Analyse du Discours, 2012 This text is the introduction to a book entitled Rhetoric in Detail that is intended to demonstrate the importance of Discourse Analysis for American Rhetorical Studies.
Christopher Eisenhart, Barbara Johnstone
doaj +1 more source
Heuristic Methods for Security Protocols
, 2009 Model checking is an automatic verification technique to verify hardware and software systems. However it suffers from state-space explosion problem. In this paper we address this problem in the context of cryptographic protocols by proposing a security ...
Nizamani, Qurat ul Ain, Tuosto, Emilio
core +2 more sources
Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback
Advanced Robotics Research, EarlyView.BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat +4 more
wiley +1 more source
Local heuristic for the refinement of multi-path routing in wireless mesh networks
, 2012 We consider wireless mesh networks and the problem of routing end-to-end traffic over multiple paths for the same origin-destination pair with minimal interference.
Abolhasan +30 more
core +2 more sources
Advanced Robotics Research, EarlyView.Robots can learn manipulation tasks from human demonstrations. This work proposes a versatile method to identify the physical interactions that occur in a demonstration, such as sequences of different contacts and interactions with mechanical constraints.
Alex Harm Gert‐Jan Overbeek +3 more
wiley +1 more source
A hyper-heuristic for adaptive scheduling in computational grids [PDF]
, 2007 In this paper we present the design and implementation of an hyper-heuristic for efficiently scheduling independent jobs in computational grids.
Xhafa Xhafa, Fatos
core +1 more source
Auditory–Tactile Congruence for Synthesis of Adaptive Pain Expressions in RoboPatients
Advanced Robotics Research, EarlyView.In this work, we explore auditory–tactile congruence for synthesizing adaptive vocal pain expressions in robopatients. Using a robopatient platform that integrates vocal pain sounds with palpation forces, we conducted 7680 trials across 20 participants.
Saitarun Nadipineni +4 more
wiley +1 more source
Advanced Robotics Research, EarlyView.This work presents a state‐adaptive Koopman linear quadratic regulator framework for real‐time manipulation of a deformable swab tool in robotic environmental sampling. By combining Koopman linearization, tactile sensing, and centroid‐based force regulation, the system maintains stable contact forces and high coverage across flat and inclined surfaces.
Siavash Mahmoudi +2 more
wiley +1 more source
Bidirectional Heuristic Search Reconsidered
, 1997 The assessment of bidirectional heuristic search has been incorrect since it was first published more than a quarter of a century ago. For quite a long time, this search strategy did not achieve the expected results, and there was a major ...
Kaindl, H., Kainz, G.
core +1 more source
Topological acceleration in relativistic cosmology
, 2012 Heuristic approaches in cosmology bypass more difficult calculations that would more strictly agree with the standard Einstein equation. These give us the well-known Friedmann-Lemaitre-Robertson-Walker (FLRW) models, and, more recently, the feedback ...
Roukema, Boudewijn F.
core +1 more source