yusuke1997/dblp-id-title huggingface dataset:
A case study of Time-Multiplexed Assertion Checking for post-silicon debugging
A segment-aware multi-core scheduler for system C PDES
Static analysis of deadends in SVA constraints
2012 IEEE International High Level Design Validation and Test Workshop, HLDVT 2012, Huntington Beach, CA, USA, November 9-10, 2012
Localizing transient faults using dynamic bayesian networks
Interactive presentation abstract: Assertion-based verification in embedded-software design
Design and implementation of FPGA-based muscle conduction velocity tracker in dynamic contractions during the gait
The role of parallel simulation in functional verification
Model validation for mapping specification behaviors to processing elements
An analysis of ATPG and SAT algorithms for formal verification
ToucHMore toolchain and system software for energy and variability customisation
An instrumented observability coverage method for system validation
Automatic abstraction refinement for Petri nets verification
Adding Performance Information to ADT Interfaces
Interface Definition Language Conversions: Recursive Types
Polymorphism and Subtyping in Interfaces
Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994
A Pragmatic Approach to Software Synthesis
Interfaces and Extended ML
Using Interface Inheritance to Address Problems in System Software Evolution
The Concert Signature Representation: IDL as Intermediate Language
A Checkable Interface Language for Pointer-Based Structures
Inheritance of Interface Specifications (Extended Abstract)
A Client-Side Stub Interpreter
ADL - An Interface Definition Language for Specifying and Testing Software
Beyond Definition/Use: Architectural Interconnection
Interface Language for Supporting Programming Styles
Charging from sampled network usage
An empirical study of realvideo performance across the internet
On the marginal utility of network topology measurements
Evidence for long-tailed distributions in the internet
Precision timestepping of network packets
Pop-level and access-link-level traffic dynamics in a tier-1 POP
Towards improving packet probing techniques
Early measurements of a cluster-based architecture for P2P systems
Measuring end-to-end bulk transfer capacity
Topology modeling via cluster graphs
The Inktomi climate lab: an integrated environment for analyzing and simulating customer network traffic
A method to compress and anonymize packet traces
Analyzing the browse patterns of mobile clients
A non-instrusive, wavelet-based approach to detecting network performance problems
On the design and performance of prefix-preserving IP traffic trace anonymization
Characterizing large DNS traces using graphs
Using loss pairs to discover network properties
Characteristics of network traffic flow anomalies
Experience in black-box OSPF measurement
Characteristics of fragmented IP traffic on internet links
On the use and performance of content distribution networks
Proceedings of the 1st ACM SIGCOMM Internet Measurement Workshop, IMW 2001, San Francisco, California, USA, November 1-2, 2001
Monitoring very high speed links
Measurement study of low-bitrate internet video streaming
On the constancy of internet path properties
Towards global network positioning
DNS performance and the effectiveness of caching
Connection-level analysis and modeling of network traffic
An analysis of BGP multiple origin AS (MOAS) conflicts
RFID-Based People Detection for Human-Robot Interaction
Improving Grasping Performance of Underactuated Two Finger Robotic Hands Using Variable Stiffness
Coordinated Multi-UAV Exploration Strategy for Large Areas with Communication Constrains
Poses Optimisation Methodology for High Redundancy Robotic Systems
Mission Supervisor for Food Factories Robots
Detecting and Manipulating Objects with a Social Robot: An Ambient Assisted Living Approach
A Review of Segmentation Methods for 3D Semantic Mapping
Dynamic UAV Flight Simulator Utilizing a Stewart Platform
Voice Assistant for an Autonomous Vehicle Aimed at Elderly
Airfoil Selection and Wingsail Design for an Autonomous Sailboat
Distributed Dynamic Assignment of Multiple Mobile Targets Based on Person Re-Identification
Dynamic AMR Navigation: Simulation with Trajectory Prediction of Moving Obstacles
Monte-Carlo Workspace Calculation of a Serial-Parallel Biped Robot
On the Innovative Management of Remote Robotic Experimentation
Robot 2015: Second Iberian Robotics Conference - Advances in Robotics, Lisbon, Portugal, 19-21 November 2015, Volume 2
Remote Planning and Operation of a UGV Through ROS and Commercial Mobile Networks
Development of a Customized Interface for a Robotic Welding Application at Navantia Shipbuilding Company
Knowledge and Tasks Representation for an Industrial Robotic Application
A Preliminary Approach to a Wheelchair with Embedded Exoskeleton Capabilities
Simulating a Gas Source Localization Algorithm with Gas Dispersion Produced by Recorded Outdoor Wind
ROSS-LAN: RObotic Sensing Simulation Scheme for Bioinspired Robotic Bird LANding
Skeletal Modeling, Analysis and Simulation of Upper Limb of Human Shoulder under Brachial Plexus Injury
A New Combined Strategy for Discrimination between Types of Weed
From Augmented Reality to Deep Learning-Based Cognitive Assistance: An Overview for Industrial Wire Harnesses Assemblies
Tactile-Based In-Hand Object Pose Estimation
User Intention Driven Adaptive Gait Assistance Using a Wearable Exoskeleton
Assistance Strategies for Robotized Laparoscopy
Classification of Humans Social Relations Within Urban Areas
Self-awareness in Intelligent Vehicles: Experience Based Abnormality Detection
High Level Humanoid Postural Control Architecture with Human Inspiration
Evaluation of SLAM Algorithms for Highly Dynamic Environments
MANTIS: UAV for Indoor Logistic Operations
Local Heuristics Analysis in the Automatic Computation of Assembly Sequences for Building Structures with Multiple Aerial Robots
Automatic Characterization of Phase Resetting Controllers for Quick Balance Recovery During Biped Locomotion
Towards Inspection of Marine Energy Devices Using ROVs: Floating Wind Turbine Motion Replication
Task Allocation for Teams of Aerial Robots Equipped with Manipulators in Assembly Operations
Path Planners Analysis to Avoid Human Arms in Supernumerary Robotic Devices
Coverage Path Planning Optimization for Slopes and Dams Inspection
Design of a Robotic as a Service Platform to Perform Rehabilitation Therapies
External Force Estimation for Telerobotics without Force Sensor
Squirtle: An ASV for Inland Water Environmental Monitoring
Interactive Social Agents Simulation Tool for Designing Choreographies for Human-Robot-Interaction Research
A Vision-Based Strategy to Segment and Localize Ancient Symbols Written in Stone
Mobile Robot Navigation in Dynamic Environments Taking into Account Obstacle Motion in Costmap Construction
Project and Trajectory Control of an Autonomous Aerator for Aquaculture
Higher Education Teachers' Perceptions About Teaching and Learning Related Qualities of Telepresence Robots
Genome Variations - Effects on the Robustness of Neuroevolved Control for Swarm Robotics Systems
Passivity-Based Control Improvement of Single-Link Flexible Manipulators by a Two-Degree-of-Freedom PID Motor Controller
Obtaining 3D Dense Thermal Models of Interiors of Buildings Using Mobile Robots
Shape Control of Maneuvering Planar Formations Based on Distributed Deformation Minimization
Human-Robot Collaborative Navigation Search Using Social Reward Sources
Deep Learning Applications in Agriculture: A Short Review
Human Manipulation Segmentation and Characterization Based on Instantaneous Work
Vision-Based Control for an AUV in a Multi-robot Undersea Intervention Task
Air Drones for Explosive Landmines Detection
Implementation of a Control System Environment for Validating ITER Remote Handling Operations
Pest Management in Olive Cultivation Through Computer Vision: A Comparative Study of Detection Methods for Yellow Sticky Traps
Stereo Based 3D Perception for Obstacle Avoidance in Autonomous Wheelchair Navigation
Bridge Mapping for Inspection Using an UAV Assisted by a Total Station
3-Dimensional Object Perception for Manipulation Tasks Using the Atlas Robot
Affordance-Based Grasp Planning for Anthropomorphic Hands from Human Demonstration
Tree Trunks Cross-Platform Detection Using Deep Learning Strategies for Forestry Operations
Design and Assessment of a Modular Exoskeleton for Lifting Bimanual Loads
CLARC: A Cognitive Robot for Helping Geriatric Doctors in Real Scenarios
The ROSIN Education Concept - Fostering ROS Industrial-Related Robotics Education in Europe
Edge-Enabled Autonomous Navigation and Computer Vision as a Service: A Study on Mobile Robot's Onboard Energy Consumption and Computing Requirements
Optimizing Initial Path Finding in Informed-RRT* with a Novel Map-Adaptive Sampling Technique
7th Iberian Robotics Conference, ROBOT 2024, Madrid, Spain, November 6-8, 2024
Autonomous Robot Navigation for Automotive Assembly Task: An Industry Use-Case
RGBD Data Analysis for the Evaluation of Trajectory Planning Algorithms in Human Robot Interaction Environments for Rehabilitation
Haptic Feedback in Surgical Robotics: Still a Challenge
3D Object Mapping Using a Labelling System
A Robotic System to Automate the Disassembly of PCB Components
Comparison of Pallet Detection and Location Using COTS Sensors and AI Based Applications
Integration of a Surgical Robotic Co-worker in an Endoscopic Neurosurgical Assistance Platform
Development of a Controller for the FANUC S-420FD Industrial Robot: A Description of the Graphical User Interface
Adaptive Bayesian Optimization for Robotic Pushing of Thin Fragile Deformable Objects
Sensor-Based 3-D Pose Estimation and Control of Rotary-Wing UAVs Using a 2-D LiDAR
Kinematic Estimator for Flexible Links in Parallel Robots
Robotic Society: Privacy as a Legal and Technological Issue
Robot Modeling With Autoregressive Transformers
Real-Time Torque Estimation Using Human and Sensor Data Fusion for Exoskeleton Assistance
ROSE: Robot for Automatic Spacer Installation in Overhead Power Lines
A Robust Reach Set MPC Scheme for Control of AUVs
Modeling and Simulation of a Hacked Neato XV-11 Laser Scanner
Real Time People Detection Combining Appearance and Depth Image Spaces Using Boosted Random Ferns
Aerial Image Mosaicking for Multi-purpose Civil Applications
Mind Perception of a Sociable Humanoid Robot: A Comparison Between Elderly and Young Adults
Simulation of a System Architecture for Cooperative Robotic Cleaning
euRathlon and ERL Emergency: A Multi-domain Multi-robot Grand Challenge for Search and Rescue Robots
A Story-Telling Social Robot with Emotion Recognition Capabilities for the Intellectually Challenged
Design, Development and Validation of a Ground Control Station for Aerial Manipulators
Development of a Lower-Limb Active Orthosis and a Walker for Gait Assistance
Adaptive Self-triggered Control for Remote Operation of Wifi Linked Robots
Visual Surveillance System with Multi-UAVs Under Communication Constrains
Web Client for Visualization of ADAS/AD Annotated Data-Sets
Simulation Environment for the Evaluation and Design of Reactive Obstacle Avoidance Algorithms in UAS Operating in Low Altitude Airspace
Knowledge-Oriented Physics-Based Motion Planning for Grasping Under Uncertainty
Practical Aspects of Deploying Robotherapy Systems
Perception and Navigation in Unknown Environments: The DARPA Robotics Challenge
Operational Space Consensus in Networks of Robots: The Leader-Follower Case
Influence of Session Duration in Robot-Assisted Neurorehabilitation Therapies: A Pilot Study with Patients
Full-stack S-DOVS: Autonomous Navigation in Complete Real-World Dynamic Scenarios
The Role of Educational Technologist in Robot Supported Math Lessons
Dynamic Analysis Base on Lie Algebra of a 2-DOF Spatial Mechanism for a Bio-Inspired Manta Ray Robot
Exploring Domain Adaptation with Depth-Based 3D Object Detection in CARLA Simulator
Improving Lidar Based Tracking of UAVs Using an Approach Based on Focusing
Integrating Internode Measurements in Sum of Gaussians Range Only SLAM
Evaluation of Neural Euclidean Signed Distance Fields for Distance-Aware Local Path Planning
Integrating State-Based Multi-Agent Task Allocation and Physical Simulators
Teaching Practical Robotics During the COVID-19 Pandemic: A Case Study on Regular and Hardware-in-the-Loop Simulations
Vision-Based Deflection Estimation in an Anthropomorphic, Compliant and Lightweight Dual Arm
Locomotion Control of a Biped Robot through a Feedback CPG Network
Limit Characterization for Visual Place Recognition in Underwater Scenes
Autonomous Guidance of an Aerial Robot Using 6-DoF Visual Control and Behavior Trees
Multispectral Image Segmentation in Agriculture: A Comprehensive Study on Fusion Approaches
Collision Avoidance for Multi-robot Systems with Coincident Paths Based on Fictitious Collision Points Using Nonlinear Formulation
Detecting Indoor Smoldering Fires with a Mobile Robot
Physics-Based Motion Planning: Evaluation Criteria and Benchmarking
Tracking Drones with Drones Using Millimeter Wave Radar
An Aerial Robot Path Follower Based on the 'Carrot Chasing' Algorithm
Robot at Factory 4.0: An Auto-Referee Proposal Based on Artificial Vision
The Role of Strapping Forces on Human Exoskeleton Interaction Pressure - A Pilot Study
Influence of Positive Instances on Multiple Instance Support Vector Machines
Deep Learning for Victims Detection from Virtual and Real Search and Rescue Environments
Double A* Path Planning for Industrial Manipulators
New Technologies in Surgery
Complete ROS-based Architecture for Intelligent Vehicles
Ball Detection for Robotic Soccer: A Real-Time RGB-D Approach
Lift Failure Detection and Management System for Quadrotors
A Novel Model for Emotion Detection from Facial Muscles Activity
Mobile Robots as a Tool to Teach First Year Engineering Electronics
Design and Implementation of an Innovative Soft Tool for Robotic Pollination
Object Classification for Robotic Platforms
Appropriate Spherical Coordinate Model for Trocar Port Constraint in Robotic Surgery
ROBOT 2022: Fifth Iberian Robotics Conference - Advances in Robotics, Volume 1, Zaragoza, Spain, 23-25 November 2022
Automatic Calibration of Multiple LIDAR Sensors Using a Moving Sphere as Target
A New Extended SDLS to Deal with the JLA in the Inverse Kinematics of an Anthropomorphic Robotic Hand
Proposal of an Augmented Reality Tag UAV Positioning System for Power Line Tower Inspection
ISR Missions in Maritime Environment Using UAS - Contributions of the Portuguese Air Force Academy Research Centre
A Multisensor Factor-Graph SLAM Framework for Steep Slope Vineyards
Biped Walking Learning from Imitation Using Dynamic Movement Primitives
Hardware Attacks on Mobile Robots: I2C Clock Attacking
Blueberry Row Detection Based on UAV Images for Inferring the Allowed UGV Path in the Field
SAFaD: A System for Automatic Fall Detection on Surveillance Imagery
Low-Cost Attitude Estimation for a Ground Vehicle
European Legal Issues Applied to Safe Robots
Human-Robot Scaffolding, an Architecture to Support the Learning Process
3D Motion Estimation of Volumetric Deformable Objects from RGB-D Images Synthetically Generated by a Multi-camera System
Learning Robotics for Youngsters - The RoboParty Experience
Learning to Move Objects With Fluid Streams in a Differentiable Simulation
A*-Based Solution to the Coverage Path Planning Problem
Benchmark on Real-Time Long-Range Aircraft Detection for Safe RPAS Operations
Building Fuzzy Elevation Maps from a Ground-Based 3D Laser Scan for Outdoor Mobile Robots
Integration of a Free Navigation Autonomous Mobile Robot into a Graph and ROS-Based Robot Fleet Manager
Robot 2015: Second Iberian Robotics Conference - Advances in Robotics, Lisbon, Portugal, 19-21 November 2015, Volume 1
Towards Endowing Collaborative Robots with Fast Learning for Minimizing Tutors' Demonstrations: What and When to Do?
Exploring DJI Tello as an Affordable Drone Solution for Research and Education
Joint Instance Segmentation of Obstacles and Lanes Using Convolutional Neural Networks
Using Deep Learning for 2D Primitive Perception with a Noisy Robotic LiDAR
Robot 2023: Sixth Iberian Robotics Conference - Advances in Robotics, Volume 2, Coimbra, Portugal, 22-24 November 2023
Cooperative Adaptive Cruise Control for a Convoy of Three Pioneer Robots
Versatile and Massive Experimentation of Robot Swarms in Industrial Scenarios
Contact Detection and Location from Robot and Object Tracking on RGB-D Images
Validation of a Multisensory System for Fruit Harvesting Robots in Lab Conditions
Accurate Map-Based RGB-D SLAM for Mobile Robots
Analysis and Evaluation of a Low-Cost Robotic Arm for @Home Competitions
Path Planning for Automatic Recharging System for Steep-Slope Vineyard Robots
Initial Results with a Simulation Capable Robotics Cognitive Architecture
A New Emotional Social Robotic Platform
From Underground Mines to Offices: A Versatile and Robust Framework for Range-Inertial SLAM
Positioning System for Pipe Inspection with Aerial Robots Using Time of Flight Sensors
Meta-control and Self-Awareness for the UX-1 Autonomous Underwater Robot
Automated Detection of Cetaceans in Their Natural Habitats via R-CNN and Computer Vision Techniques
Guaranteeing Communication for Robotic Intervention in Long Tunnel Scenarios
GadenTools: A Toolkit for Testing and Simulating Robotic Olfaction Tasks with Jupyter Notebook Support
Safe Autonomous Multi-vehicle Navigation Using Path Following Control and Spline-Based Barrier Functions
Stability Analysis of an Articulated Agri-Robot Under Different Central Joint Conditions
Grasp Quality Measures for Transferring Objects
Internet-Based Supervisory Teleoperation of a Virtual Humanoid Robot
MAPLE: A Multi-Agent, Prosocial Learning Environment, Engaging and Motivating Children
Socially-Accepted Path Planning for Robot Navigation Based on Social Interaction Spaces
Robot@Factory Lite: An Educational Approach for the Competition with Simulated and Real Environment
End-Effector Precise Hand-Guiding for Collaborative Robots
Improving Teleoperation with Vibration Force Feedback and Anti-collision Methods
Multi-Robot Planning for Perception of Multiple Regions of Interest
Automatic People Detection Based on RGB and Thermal Imagery for Military Applications
Design and Implementation of a Range-Based Formation Controller for Marine Robots
Virtual Reality Game for Cognitive Training: A Usability and Qualitative Evaluation
Architecture of a Flight Endurance Enhancement System for Maritime Operations with Fixed Wing UAS
D-TOP: Deep Reinforcement Learning with Tuneable Optimization for Autonomous Navigation
Rotation Estimation for Two-Dimensional Forward-Looking Sonar Mosaicing
LiDAR-Based Topological Mapping of Orchard Environments
Development of an Autonomous Mobile Towing Vehicle for Logistic Tasks
A Comparison of Robot Interaction with Tactile Gaming Console Stimulation in Clinical Applications
Manipulation of Deformable Objects with a Multi-robot System
Multispectral Image Segmentation in Agriculture: Evaluating Deep Learning Models with Train-Test Split and Cross-Validation Strategies
Analysis and Experimental Evaluation of an Object-Level In-Hand Manipulation Controller Based on the Virtual Linkage Model
A Hierarchical Hybrid Architecture for Mission-Oriented Robot Control
Leg Detection and Tracking for a Mobile Robot and Based on a Laser Device, Supervised Learning and Particle Filtering
Cleaning Robot for Free Stall Dairy Barns: Sequential Control for Cleaning and Littering of Cubicles
Particle Filter SLAM on FPGA: A Case Study on Robot@Factory Competition
Survey of SLAM Algorithms with ROS Support
Control of Robot Fingers with Adaptable Tactile Servoing to Manipulate Deformable Objects
RiskRRT-Based Planning For Interception of Moving Objects in Complex Environments
Feedback Linearizing Controller for a Flexible Single-Link Arm under Gravity and Joint Friction
Design and Evaluation of a Passive Gripper for Remote Manipulation Tasks
Review of Control Strategies for Lower Limb Prostheses
An Autonomous Guided Field Inspection Vehicle for 3D Woody Crops Monitoring
How to Transfer a Semantic Segmentation Model from Autonomous Driving to Other Domains?
Detection and Tracking of Livestock Herds from Aerial Video Sequences
A 6-Axis Force-Torque Sensor to Achieve Compliant Behavior in an Omnidirectional Mobile Platform for Wheeled Humanoid Robots
Cybersecurity in Autonomous Systems: Hardening ROS Using Encrypted Communications and Semantic Rules
Teaching ROS1/2 and Reinforcement Learning using a Mobile Robot and its Simulation
Modelling and Control of a 5DoF Tilting Quadrotor
Consensus-Based Distributed Source Term Estimation with Particle Filter and Gaussian Mixture Model
Path and Velocity Trajectory Selection in an Anticipative Kinodynamic Motion Planner for Autonomous Driving
Quantifying Intentional Social Acceptance for Effective Child-Robot Interaction
AVASTT: A New Variable Stiffness Actuator with Torque Threshold
RANSAC Based Data Association for Underwater Visual SLAM
Spherical Fully Covered UAV with Autonomous Indoor Localization
Programming Manipulators by Instructions
A Robotic System Based on a Universal Joint Actuated by Two Cables Applied to the Orientation of Photovoltaic Panels
A Collaborative Robot-Assisted Manufacturing Assembly Process
Event-Based Visual Servoing with Features' Prediction
Design of Modular Robot System for Maintenance Tasks in Hazardous Facilities and Environments
Slip Detection in Robotic Hands with Flexible Parts
A Perspective of Security for Mobile Service Robots
Control Framework for Take-Off of UAVs with Suspended Load in Pipeline Inspection
An Integrated Method for Landing Site Selection and Autonomous Reactive Landing for Multirotors
Interpreting Manipulation Actions: From Language to Execution
Task Automation in Construction Sites: Robot Learning from Teleoperated Demonstrations
Flapping-Wing Aerial Manipulation Robot with Perching-Launching Capabilities: Integrated Modeling and Control
Real-Time Vehicle Detection and Tracking Using Haar-Like Features and Compressive Tracking
Visual Localization Based on Quadtrees
Graph-Based Robot Localization in Tunnels Using RF Fadings
UAV-Assisted Navigation for Insect Traps in Olive Groves
Grasping Angle Estimation of Human Forearm with Underactuated Grippers Using Proprioceptive Feedback
A UGV Approach to Measure the Ground Properties of Greenhouses
Enhancing a Robotic Rehabilitation Model for Hand-Arm Bimanual Intensive Therapy
A General Approach to the Extrinsic Calibration of Intelligent Vehicles Using ROS
Towards the always-on operation of mobile service robots
Model-Based Policy Optimization for Legged Locomotion
Performance of New Global Appearance Description Methods in Localization of Mobile Robots
Force-Sensorless Friction and Gravity Compensation for Robots
Cascade LifeCycle: A Convenient Building Block for Efficient Robot Software Architectures
A Multisensor Based Approach Using Supervised Learning and Particle Filtering for People Detection and Tracking
Dual Arm Aerial Manipulation While Flying, Holding and Perching: Comparative Case Study
Deadzone-Quadratic Penalty Function for Predictive Extended Cruise Control with Experimental Validation
Robot 2019: Fourth Iberian Robotics Conference - Advances in Robotics, Volume 1, Porto, Portugal, 20-22 November, 2019
A Simulation Tool for Visualizing the Assembly Modes and Singularity Locus of 3RPR Planar Parallel Robots
Assessing Soil Ripping Depth for Precision Forestry with a Cost-Effective Contactless Sensing System
Correlation of Spatiotemporal and EMG Measures with Lower Extremity Fugl-Meyer Assessment Score in Post-Stroke Walking
Enhancing Quality Inspection in Zero-Defect Manufacturing Through Robotic-Machine Collaboration
A Hybrid ZMP-CPG Based Walk Engine for Biped Robots
Multi-robot Implicit Control of Massive Herds
Design and Development of a Pneumatic Robot for Neurorehabilitation Therapies
Wireless Sensor Networks for Urban Information Systems: Preliminary Results of Integration of an Electric Vehicle as a Mobile Node
Data Generation in Simulated Domestic Environments for Assistive Robots
Map Merge and Accurate Localization in Multi-robot Systems in Real Environments
On-Body Mobile Robot with Grasping Control