yusuke1997/dblp-id-title huggingface dataset:
Improving Active Vision System Categorization Capability Through Histogram of Oriented Gradients
ARE: Augmented Reality Environment for Mobile Robots
An Automated Precision Spraying Evaluation System
Deep Learning Traversability Estimator for Mobile Robots in Unstructured Environments
Towards Robust Mission Execution via Temporal and Contingent Planning
Resistance Tuning of Soft Strain Sensor Based on Saline Concentration and Volume Changes
A Comparative Study for Obstacle Avoidance Inverse Kinematics: Null-Space Based vs. Optimisation-Based
Depth Priors in Removal Neural Radiance Fields
Erratum: H ∞ Path Tracking Control for Quadrotors Based on Quaternion Representation
EMap: Real-Time Terrain Estimation
An Adaptable Robotic Snake Using a Compliant Actuated Tensegrity Structure for Locomotion
A Material-Based Model for the Simulation and Control of Soft Robot Actuator
"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours
Open Source Hardware Whisker Sensor
Terra-Robotics Laboratory: A Facility for Studying Terrain-Robot Interaction
ROS Integration for Miniature Mobile Robots
TheatreBot: A Software Architecture for a Theatrical Robot
Development of an Intelligent Robotic Rein for Haptic Control and Interaction with Mobile Machines
Estimation of Contact Forces in a Backdrivable Linkage for Cognitive Robot Research
Note on Geometric and Exponential Expressions of Screw Displacement
3D Printed Sensorized Soft Robotic Manipulator Design
Self-organized Collective Motion with a Simulated Real Robot Swarm
Robotic Tight Packaging Using a Hybrid Gripper with Variable Stiffness
Fully Distributed Cooperative Multi-agent Underwater Obstacle Avoidance
Full-Rotation Singularity-Safe Workspace for Kinematically Redundant Parallel Robots
Comparative Study of Hand-Tracking and Traditional Control Interfaces for Remote Palpation
Towards Autonomous Robotic Systems - 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings
Size Matters: Exploring the Impact of Scaling on Quadruped Robot Dynamics
Hybrid Insect-Inspired Multi-Robot Coverage in Complex Environments
UAV Horizon Tracking Using Memristors and Cellular Automata Visual Processing
A Modified Computed Torque Control Approach for a Master-Slave Robot Manipulator System
Payload Capabilities and Operational Limits of Eversion Robots
Contextual Recognition of Robot Emotions
Virtual Reality Simulator for Medical Auscultation Training
A Wearable Automated System to Quantify Parkinsonian Symptoms Enabling Closed Loop Deep Brain Stimulation
Mitigating the Time Delay and Parameter Perturbation by a Predictive Extended State Observer-Based Active Disturbance Rejection Control
Using Barometric Pressure Sensors in Soft Robots
Design and Characterisation of a Variable Stiffness Soft Actuator Based on Tendon Twisting
Robotic-Assisted Ultrasound for Fetal Imaging: Evolution from Single-Arm to Dual-Arm System
Agent-Based Simulation of Multi-robot Soil Compaction Mapping
Effects of Residual Charge on the Performance of Electro-Adhesive Grippers
Biomimetic Knee Design to Improve Joint Torque and Life for Bipedal Robotics
Experiment Establishing Spatiotemporal Resolution of Human Thermal Perception for Developing a Prosthetic Robotics Hand Thermal Interface
New Robust Tracking Control for Safe Constrained Robots under Unknown Impedance Environment
WeedScout: Real-Time Autonomous Blackgrass Classification and Mapping Using Dedicated Hardware
Investigation of Action Recognition for Improving Pedestrian Intent Prediction
Perception of a Humanoid Robot as an Interface for Auditory Testing
Ethical Choice in Unforeseen Circumstances
Experiences with LEGO MINDSTORMS as an Embedded and Robotics Plattform within the Undergraduate Curriculum
Mechanism Selection for Multi-Robot Task Allocation
A Portable Active Binocular Robot Vision Architecture for Scene Exploration
A General Classifier of Whisker Data Using Stationary Naive Bayes: Application to BIOTACT Robots
Tactile and Proprioceptive Online Learning in Robotic Contour Following
The Benefits of Explicit Ontological Knowledge-Bases for Robotic Systems
Tactile Dynamic Behaviour Prediction Based on Robot Action
Development of a ROS Driver and Support Stack for the KMR iiwa Mobile Manipulator
A Structural Approach to Dealing with High Dimensionality Parameter Search Spaces
A Study Assessing the Impact of Task Duration on Performance Metrics for Multi-robot Teams
Soft Pneumatic Prosthetic Hand
Sensor Data Fusion Using Unscented Kalman Filter for VOR-Based Vision Tracking System for Mobile Robots
A Bioinspired Approach to Vision
Visual-Inertial Motion Priors for Robust Monocular SLAM
Sensing with Artificial Tactile Sensors: An Investigation of Spatio-temporal Inference
Probabilistic Combination of Noisy Points and Planes for RGB-D Odometry
Automatic, Vision-Based Tool Changing Solution for Dexterous Teleoperation Robots in a Nuclear Glovebox
Standardized Field Testing of Assistant Robots in a Mars-Like Environment
Task-Based Ad-hoc Teamwork with Adversary
Learning to Grasp Information with Your Own Hands
Intelligent Computation of Inverse Kinematics of a 5-dof Manipulator Using MLPNN
Unsupervised Clustering with Geometric Shape Priors for Improved Occlusion Handling in Plant Stem Phenotyping
Priors Inspired by Speed-Accuracy Trade-Offs for Incremental Learning of Probabilistic Movement Primitives
Casting vs Injection Moulding: A Comparison Study for In-Lab Low-Cost Soft Robot Fabrication
Long-Term Experiment Using an Adaptive Appearance-Based Map for Visual Navigation by Mobile Robots
The Pi Swarm: A Low-Cost Platform for Swarm Robotics Research and Education
euRathlon 2015: A Multi-domain Multi-robot Grand Challenge for Search and Rescue Robots
Combining Depth and Intensity Images to Produce Enhanced Object Detection for Use in a Robotic Colony
Evaluating the Effect of Robot Group Size on Relative Localisation Precision
A Novel Path Planning Approach for Robotic Navigation Using Consideration Within Crowds
Building a Navigation System for a Shopping Assistant Robot from Off-the-Shelf Components
A Flexible Component-Based Robot Control Architecture for Hormonal Modulation of Behaviour and Affect
Model-Based 3D Point Cloud Segmentation for Automated Selective Broccoli Harvesting
A Performance Comparison of SLAM-Algorithms for Formula Student Autonomous Driving
Hybrid Communication System for Long Range Resource Tracking in Search and Rescue Scenarios
A Distributed Approach to Haptic Simulation
SaFliTe: Fuzzing Autonomous Systems via Large Language Models
Grasping of Deformable Objects Applied to Organic Produce
Advancing Evolutionary Coordination for Fixed-Wing Communications UAVs
Advances in Autonomous Robotics - Joint Proceedings of the 13th Annual TAROS Conference and the 15th Annual FIRA RoboWorld Congress, Bristol, UK, August 20-23, 2012
Human Management of a Robotic Swarm
LocalSPED: A Classification Pipeline that Can Learn Local Features for Place Recognition Using a Small Training Set
Predicting Artist Drawing Activity via Multi-camera Inputs for Co-creative Drawing
Human-Robot Cooperative Lifting Using IMUs and Human Gestures
Towards Autonomous Energy-Wise RObjects
Towards Adversarial Training for Mobile Robots
A Bio-inspired Aggregation with Robot Swarm Using Real and Simulated Mobile Robots
5G-Based Low-Latency Teleoperation: Two-Way Timeout Approach
Towards Scalable Multi-robot Systems by Partitioning the Task Domain
Improving SLAM in Pipe Networks by Leveraging Cylindrical Regularity
A ROS-Based Control Framework for Simulating Locomotion of a Multi-arm Space Assembly Robot
Surface Inspection via Hitting Sets and Multi-goal Motion Planning
Soft Particles for Granular Jamming
Automated USMN Integration for Precision Robotics and Large-Scale Metrology
Dual-Rate Non-Linear High Order Holds for Visual Servoing Applications
A Domain-Specific Language for the Specification of Gesture-based Applications
Converting Combinatory Logic to and from Concatenative Calculus
Impacto de Ofuscadores e Otimizadores de Código na Acurácia de Classificadores de Programas
An Intrinsic Denotational Semantics for a Lazy Functional Language
Effect Capabilities for Haskell
Adaptable Parsing Expression Grammars
Contextual Abstraction in a Type System for Component-Based High Performance Computing Platforms
Revisiting monitors
Zipper-Based Attribute Grammars and Their Extensions
Towards automatic error recovery in parsing expression grammars
A System for Runtime Type Introspection in C++
Usando Esquema GraphQL para Geração de Consultas de Forma Aleatória
Efficient and Precise Dynamic Construction of Control Flow Graphs
Obstruction-Free Distributed Transactional Memory
A Graph-based Model for Building Optimization Sequences: A Study Case on Code Size Reduction
Proceedings of the 28th Brazilian Symposium on Programming Languages, SBLP 2024, Curitiba, Brazil, September 30 - October 4, 2024
Towards progressive program verification in Dafny
SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022
SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021
Profiling Halide DSL with CPU Performance Events for Schedule Optimization
Detecting Anomalous Energy Consumption in Android Applications
Análise comparativa entre linguagens de programação em sistemas embarcados móveis Android
Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming
Model-Driven Engineering Based on Attribute Grammars
A Hybrid Framework to Accelerate Adaptive Compilation Systems
Optional Type Classes for Haskell
Classifying C++ Solutions Based on Their Energy Profile
A Monadic Semantics for Quantum Computing in Featherweight Java
An Intrinsically-Typed Solution for the List-Machine Benchmark
Exception Handling for Error Reporting in Parsing Expression Grammars
YACOS: a Complete Infrastructure to the Design and Exploration of Code Optimization Sequences
Left Recursion in Parsing Expression Grammars
Certified Derivative-Based Parsing of Regular Expressions
Monadic W in Coq
Deadlocks as Runtime Exceptions
Automatic Annotating and Checking of Dynamic Ownership
Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures
Model-Based Programming Environments for Spreadsheets
Towards an order-aware object comparison
EventManager - a tool to help students analyse concurrent programs
Programming Languages - 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
Synthesis of Benchmarks for the C Programming Language by Mining Software Repositories
IML - An Image Manipulation Language
On the Performance of Multidimensional Array Representations in Programming Languages Based on Virtual Execution Machines
Java Stream Fusion: Adapting FP mechanisms for an OO setting
High-Level Stream and Data Parallelism in C++ for Multi-Cores
Towards a Green Ranking for Programming Languages
Attribute Grammar Macros
A Security Types Preserving Compiler in Haskell
Towards Random Elixir Code Generation
Uma DSL para gerar APIs RESTFul em Haskell
The Register Allocation and Instruction Scheduling Challenge
Structured Stream Parallelism for Rust
Memoization of Mutable Objects
A Surprisingly Simple Lua Compiler
A Graph Transformation System formalism for Software Transactional Memory Opacity
Hok: Higher-Order GPU kernels in Elixir
Proceedings of the XXVII Brazilian Symposium on Programming Languages, SBLP 2023, Campo Grande, MS, Brazil, September 25-29, 2023
A Class of Programs that Admit Exact Complexity Analysis via Newton?s Polynomial Interpolation
Lushu: Ofuscação de Dados Sigilosos via Reconhecimento de Linguagens a partir de Exemplos
Aspect-Oriented Programming Reloaded
Analyzing the Time x Energy Relation in C++ Solutions Mined from a Programming Contest Site
An internal domain-specific language for expressing linear pipelines: a proof-of-concept with MPI in Rust
Modular Bialgebraic Semantics and Algebraic Laws
A Double Effect λ-calculus for Quantum Computation
Case of (Quite) Painless Dependently Typed Programming: Fully Certified Merge Sort in Agda
Type inference for GADTs, outsidein and anti-unification
Certified Bit-Coded Regular Expression Parsing
Go Model and Object Oriented Programming
An extension for Transactional Memory in OpenMP
Refactoring Java Monoliths into Executable Microservice-Based Applications
Compact Representations for Arrays in Lua
Towards Typed Semantics for Parsing Expression Grammars
Purely Functional Incremental Computing
An Algorithm for Context-Free Path Queries over Graph Databases
Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation
A Type-Directed Algorithm to Generate Random Well-Formed Parsing Expression Grammars
Geração Automática de Benchmarks para Compilação Preditiva
A formalisation of LEGv8 in Agda
Software Components as Invariant-Typed Arrows - (Keynote Talk)
SBLP '20: 24th Brazilian Symposium on Programming Languages, Natal, Rio Grande do Norte, Brazil, October 19-23, 2020
High-Level Stream and Data Parallelism in C++ for GPUs
Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
Property-based testing for lambda expressions semantics in featherweight Java
The Science of Killing Bugs in a Black Box - (Keynote Talk)
A Foreign Function Interface for Pallene
Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018
GPotion: An embedded DSL for GPU programming in Elixir
More than meets the eye: invisible instructions
Graphs based on IR as Representation of Code: Types and Insights
Structure verification of deep neural networks at compilation time using dependent types
A Quantitative Assessment of Aspectual Feature Modules for Evolving Software Product Lines
A hybrid intermediate language between SSA and CPS
Spill Code Placement for SIMD Machines
Language Support for Generic Programming in Object-Oriented Languages: Peculiarities, Drawbacks, Ways of Improvement
Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019
Programming Languages - 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
Demand-driven less-than analysis
A Haskell Library for Adaptable Parsing Expression Grammars
Evaluating Optimizations for a High-Level Language
Optimizing a Geomodeling Domain Specific Language
TSDolly: A program generator for TypeScript
Composable Memory Transactions for Java Using a Monadic Intermediate Language
A Graph Transformation System formalism for correctness of Transactional Memory algorithms
Extensible records in Idris
Automatic Inference of Loop Complexity Through Polynomial Interpolation
The importance of being Extrinsic: Coherence and adequacy for a call-by-value language
Fusion: Abstractions for Multicore/Manycore Heterogenous Parallel Programming Using GPUs
A Component Model for Multilevel Parallel Programming
Taskminer: automatic identification of tasks
Inlining for Code Size Reduction
Transparent Replication Using Metaprogramming in Cyan
Comparison Between Model Fields and Abstract Predicates
Differential Testing using Random Well-Typed Haskell Programs
Avoiding Code Pitfalls in Aspect-Oriented Programming
Cloud-based parallel computing across multiple clusters in Julia
Color Flipping
A preliminary assessment of how monads are used in Haskell
Pallene: a statically typed companion language for lua
Parameter Based Constant Propagation
Refactorings for replacing dynamic instructions with static ones: the case of ruby
JetsonLeap: A Framework to Measure Energy-Aware Code Optimizations in Embedded and Heterogeneous Systems
Memoized Zipper-Based Attribute Grammars
Source-to-Source Code Transformation on Rust for High-Level Stream Parallelism
Proceedings of the 21st Brazilian Symposium on Programming Languages, SBLP 2017, Fortaleza, CE, Brazil, September 21-22, 2017
A Verified Operational Semantics for Regular Expression Parsing
Transactional Boosting for Haskell
Stream Parallelism Annotations for Multi-Core Frameworks
Real-World Loops Are Easy to Predict
Hapi: A Domain-Specific Language for the Declaration of Access Policies
Boilerplates for Reconfigurable Systems: A Language and Its Semantics
Preserving Lexical Scoping When Dynamically Embedding Languages
OFG-STM: Transactional Memory for GPUs based on Obstruction-Free STM algorithms
The expression problem in platform-aware programming
E-APK: Energy Pattern Detection in Decompiled Android Applications
Speed and Precision in Range Analysis
Go x Java e gRPC x REST: Um estudo empírico
Multiple Intermediate Structure Deforestation by Shortcut Fusion
Towards certified virtual machine-based regular expression parsing
An Algebraic Framework for Parallelizing Recurrence in Functional Programming
A Snapshot of OpenMP Projects on GitHub
Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings
Type Inference for GADTs and Anti-unification
Bounds Check Hoisting for AddressSanitizer
Synthesis of Random Real-World Java Programs from Preexisting Libraries
Semantic conflict detection via dynamic analysis
Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics
A Gradual Type System for Elixir
The Dinamica Virtual Machine for Geosciences
A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq
LuaRocks - A Declarative and Extensible Package Management System for Lua
A Platform of Scientific Workflows for Orchestration of Parallel Components in a Cloud of High Performance Computing Applications
Concurrent Hash Tables for Haskell
AsyncRFJ: an asynchronous approach to reactive object-oriented programming
Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings
New Optimization Sequences for Code-Size Reduction for the LLVM Compilation Infrastructure
An Inherently-Typed Formalization for Featherweight Java
Retrofitting Typestates into Rust
Compounds in Universal Dependencies: A Survey in Five European Languages
Language Atlas of Japanese and Ryukyuan (LAJaR): A Linguistic Typology Database for Endangered Japonic Languages
Proceedings of the 6th Workshop on Research in Computational Linguistic Typology and Multilingual NLP, SIGTYPE 2024, St. Julian's, Malta, March 22, 2024
Sociolinguistically Informed Interpretability: A Case Study on Hinglish Emotion Classification
Predicting Mandarin and Cantonese Adult Speakers' Eye-Movement Patterns in Natural Reading
GTNC: A Many-To-One Dataset of Google Translations from NewsCrawl
A Computational Model for the Assessment of Mutual Intelligibility Among Closely Related Languages
Allen Institute for AI @ SIGTYP 2024 Shared Task on Word Embedding Evaluation for Ancient and Historical Languages
Syntactic dependency length shaped by strategic memory allocation
ModeLing: A Novel Dataset for Testing Linguistic Reasoning in Language Models
GUIDE: Creating Semantic Domain Dictionaries for Low-Resource Languages
A New Dataset for Tonal and Segmental Dialectometry from the Yue- and Pinghua-Speaking Area
Predicting positive transfer for improved low-resource speech recognition using acoustic pseudo-tokens
Heidelberg-Boston @ SIGTYP 2024 Shared Task: Enhancing Low-Resource Language Analysis With Character-Aware Hierarchical Transformers
TartuNLP @ SIGTYP 2024 Shared Task: Adapting XLM-RoBERTa for Ancient and Historical Languages
UDParse @ SIGTYP 2024 Shared Task : Modern Language Models for Historical Languages
A Call for Consistency in Reporting Typological Diversity
Findings of the SIGTYP 2024 Shared Task on Word Embedding Evaluation for Ancient and Historical Languages
Are Sounds Sound for Phylogenetic Reconstruction?
The Typology of Ellipsis: A Corpus for Linguistic Analysis and Machine Learning Applications
Accessibility Videos
Towards a More Inclusive University - Supporting Teachers Through Universal Design for Learning
Categorization and Comparison of Accessibility Testing Methods for Software Development
Values-Based Conservation in Practice - Accessibility at Akershus Castle
Qualitative Description of Spatial Quality in Inclusive Architecture
Co-Motion: Mobility and Wellbeing in Later Life
World Heritage-Universal Heritage. The Commitment of Brescia Museums Foundation and Brescia Council to Enhance Museums and Public Archaeological Areas
A Pattern Language for Inclusive Design: A Set of Patterns for Designing Reusable Accessible Solutions
360-Degree Films for Cognitive Inclusion at Workplaces
The Emancipatory Design Manifesto: Let's Suppose That Disability Does Not Exist
The Relationship Between Housing Accessibility and Healthy Aging: The Case of Turkish Elderly Women
Simulating Disability in Universal Design Teaching: A Critique - Abandoning Try-It-Yourself in Teaching Universal Design in Architecture
Bringing Human Diversity into Design Processes Through Empathic Modelling
Clothes4all: A Novel Resource for Studying and Improving Web Accessibility
Transforming the Higher Education Experience of Students with Disabilities Through Innovative System Design and Accessible Data Visualisation
From the Ground Up: Establishing a Centre for Universal Design in Australia
Methodologies for the Design of University Teaching Spaces in Covid/19 Regime. A BIM Oriented Approach, Defined for the Case Study of the Buildings of the Department of Architecture of the University of Florence (DiDA)
Who Are We Building for? Tracing Universal Design in Urban Development
Integrating Universal Design and Accessibility into Computer Science Curricula - A Review of Literature and Practices in Europe
Wayfinding Design for Amherst Senior Center
Embracing Universal Design for Transformative Learning
Systemic Approach to Universal Design of Urban Spaces - Case Study of Trbovlje, Slovenia
Universal Design and Social Sustainability in the City: The Case Study of Tehran Iran
A Lead User Approach to Universal Design - Involving Older Adults in the Design Process
Universally Designed Text on the Web: Towards Readability Criteria Based on Anti-Patterns
From Face-to-Face to Online UDeL Camps: Supporting Staff at Higher Education Institutions in Developing Universal Design for eLearning (UDeL)
Shopping with Acquired Brain Injuries, Coping Strategies and Maslowian Principles
Civil War: A Board Game as Pedagogy and Critique
Only as Special as Necessary: Adapted Books in a Universal Design Perspective
Framing the Universal Design of Information and Communication Technology: An Interdisciplinary Model for Research and Practice
RemoTable: Sharing Daily Activities and Moods Using Smart Furniture
Ensuring Universal Design of ICT: Triggering the Triggers!
Transforming our World through Universal Design for Human Development - Proceedings of the Sixth International Conference on Universal Design (UD 2022), Brescia, Italy, 7 - 9 September 2022
Universal Design 2021: From Special to Mainstream Solutions, Proceedings of the th International Conference on Universal Design (UD 2021), virtual event, 9 - 11 June 2021
Housing Design for the Ageing: Struggle Toward Supporting Age-in-Place Instead of Special Housing for Seniors
Universal Design Criteria in Standards and Codes About Accessibility of Built Environments in Brazil
Universal Design Engineering
Examining the Effectiveness of Public Involvement from the Beginning Stage of Railway Projects to Improve Accessibility in Japan - Based on a Satisfaction Survey on Accessibility Achieved in Three Best Practices from the 1990s to the 2010s -
Existential Design Applied in Universal Design Settings
Design and the Mind Engaging and Collaborative Workshops for the Neurodiverse
Social Contact for Older People with Visual Impairment Through Mastery of Smartphones: Barriers and Suggested Solutions
Understanding Children's Independent Mobility Through the Lens of Universal Design: A Case of Delhi, India
Co-Constructing Universal Design in Citizen Science Workshops
The Development of a Methodology for Contextual User Research in Healthcare Design Projects
Universal Balance?
A Universal Design Perspective on Care Homes for Elderly People with and Without Dementia
Facilitating the Concept of Universal Design Among Design Students - Changes in Teaching in the Last Decade