yusuke1997/dblp-id-title huggingface dataset:
Decision Model and Flexible Component Definition Based on XML Technology
Theorem Proving for Product Line Model Verification
Architecture True Prototyping of Product Lines Using Personal Computer Networks
Product Validation: Discussion Report
Quality Attribute Taxonomies for DSP Software Architecture Design
Variability Issues in Software Product Lines
Towards a UML Profile for Software Product Lines
Automated Validation Environment for a Product Line of Railway Traffic Control Systems
On the Definition of a Framework for an Architecting Process Supporting Product Family Development
A Cost Model for Software Product Lines
Integrating Legacy Documentation Assets into a Product Line
Representing Product Family Architectures in an Extensible Architecture Description Language
A Product Derivation Framework for Software Product Families
Planning and Managing Product Line Evolution
Variability Dependencies in Product Family Engineering
Measuring Product Line Architectures
Applying System Families Concepts to Requirements Engineering Process Definition
Towards a Taxonomy for Software Product Lines
Software Product Family Evaluation
Expression and Usage of the Variability in the Software Product Lines
Software Architecture Helpdesk
On the Importance of Product Line Scope
PLUTO: A Test Methodology for Product Families
Patterns in Product Family Architecture Design
An Initial Model of Product Line Economics
Introducing Product Lines in Small Embedded Systems
Platform Based Product Development
Differencing and Merging within an Evolving Product Line Architecture
Dynamic Software Reconfiguration in Software Product Families
Managing Component Variability within Embedded Software Product Lines via Transformational Code Generation
Economics of Software Product Lines
Reviewing Product Line Architectures: Experience Report of ATAM in an Automotive Context
A Quantitative Model of the Value of Architecture in Product Line Adoption
Process Validation, Session Report
Elicitation of Use Cases for Product Lines
Architecture Recovery for Product Families
Roadmapping a Product Population Architecture
Platform & Quality Solutions
Reliability-Oriented Product Line Engineering of Embedded Systems
Report on Discussion Sessions "Diversity Solutions" and "Light-Weight Processes"
Software Product-Family Engineering, 4th International Workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001, Revised Papers
The Philips-Open TV ® Product Family Architecture for Interactive Set-Top Boxes
Handling the Diversity of Networked Devices by Means of a Product Family Approach
Research Topics and Future Trends
Quantifying Product Line Benefits
Product Family Engineering and Testing in the Medical Domain - Validation Aspects
Supporting Information Product and Service Families with Traceability
Platform Engineering for the Medical Domain
Session Report on Product Issues in Product Family Engineering
Comprehensive Variability Modelling to Facilitate Efficient Variability Treatment
A Case Study of Two Configurable Software Product Families
Exploring the Context of Product Line Adoption
Salion's Experience with a Reactive Software Product Line Approach
Considering Variabilities during Component Selection in Product Family Development
Testing Variabilities in Use Case Models
Session Report for Session 2: Process Issues
Easing the Transition to Software Mass Customization
A Relational Architecture Description Language for Software Families
Introducing Traceability to Product Lines
Software Product-Family Engineering, 5th International Workshop, PFE 2003, Siena, Italy, November 4-6, 2003, Revised Papers
Conditions and Restrictions for Product Line Generation Migration
Evolving a Product Family in a Changing Context
Quality Attribute Design Primitives and the Attribute Driven Design Method
Making Variability Decisions during Architecture Design
The Perfect Architecture is Non-optimal - Winning with Chaos
Modelling Variability with Features in Distributed Architectures
RequiLine: A Requirements Engineering Tool for Software Product Lines
Feature Binding Analysis for Product Line Component Development
SCK: Una Ontología para Evaluar la Performance de una Cadena de Suministro en Ambientes de Simulación Distribuida
A Network of Ontologies for the Integration of Planning and Scheduling Activities in Batch Process Industries
Desarrollo de Ontologías para Capturar el Conocimiento Experto en Modelado del Sistema Endocrino de Pacientes Diabéticos
Redefinition and Statistical Analysis of Measures for Evaluating the Quality of Ontologies
Un Modelo Ontológico para el Gobierno Electrónico de la Provincia de Misiones, Argentina
Método Práctico para la Población y Persistencia de un Modelo Semántico
Extending the Conceptual Base for a Holistic Quality Evaluation Approach
Uso de Ontologías para Mapear una Arquitectura de Software con su Implementación
Ontology Network for Social Network Analysis in a Knowledge Management Context
DCOntoRep: Hacia la Interoperabilidad Semántica de Repositorios Institucionales de Acceso Abierto
An Ontological Approach to Analyze the Data Required by a System Quality Scheme
Proceedings of the 1st Argentine Symposium on Ontologies and their Applications co-located with 44 Jornadas Argentinas de Informática (44JAIIO), Rosario, Argentina, September 2-3, 2015
Ontología para la Gestión Unificada de Variantes y Versiones de Productos
Extension Rules for Ontology Evolution within a Conceptual Modelling Tool
Instant Difficulty Adjustment: Predicting Success Rate of VR Kendama when Changing the Difficulty Level
Gaze Depth Estimation for In-vehicle AR Displays
Locomotion Generation of Hand-shaped Robotic Avatar
Workspace Scaling in Virtual Reality based Robot Teleoperation
Enhancing VR Interaction through Dynamic Virtual Hand Size Changes and Detection Thresholds
TOMURA: A Mountable Hand-shaped Interface for Versatile Interactions
Assessing the extent of the honey-pot effect on public display: a preliminary study in a virtual environment
Human Coincident Robot: A Non-contact Surrounding Robot Sharing the Coordinate with a Human Inside
Muscle Synergy Analysis Under Fast Sit-to-stand Assist : A Preliminary Study
Social Simon Effect in Virtual Reality: Investigating the Impact of Co-actor Avatar's Visual Representation
First Bite/Chew: distinguish typical allergic food by two IMUs
Designing Interactive Shoes for Tactile Augmented Reality
Cast Shadow and Color Change Improve Social Impression of Robotic Massage with Virtual Out-of-Body Experience
Putting Our Minds Together: Iterative Exploration for Collaborative Mind Mapping
Facial Gesture Recognition Using Bio-impedance Sensing
Proceedings of the Augmented Humans International Conference 2024, AHs 2024, Melbourne, VIC, Australia, April 4-6, 2024
iFace: Hand-Over-Face Gesture Recognition Leveraging Impedance Sensing
SkiExARGame: Augmented Reality Exergame for Posture Correction in Alpine Ski
Look and Talk: Seamless AI Assistant Interaction with Gaze-Triggered Activation
Understanding Dynamic Peephole Pointing using Coupled and Decoupled Target Acquisition on Single and Multiple Surfaces
Future So Bright, Gotta Wear Shades: Lens Tint May Affect Social Perception of Head-Worn Displays
Augmenting Sleep Behavior with a Wearable: Can Self-Reflection Help?
Multiplexed VR: Individualized Multiplexing Virtual Environment to Facilitate Switches for Group Ideation Creativity
Serendipity Wall: A Discussion Support System Using Real-time Speech Recognition and Large Language Model
ShadowClones: an Interface to Maintain a Multiple Sense of Body-space Coordination in Multiple Visual Perspectives
Cipherbot: A Learning Platform for AI-Augmented Education
Latency-Induced Impairments in Remote Operation of an Excavator: Reduced Sense of Agency and Narrowed Effective Visual Field
The Impact of Asymmetric AI Assistance on Decision-Making in Social Dilemmas: A Study on Human Augmentation in Economic Games
LocatAR: An AR Object Search Assistance System for a Shared Space
VR remote tourism system with natural gaze induction without causing user discomfort
Sound Seeker Beat: 360-Degree VR Rhythm Game with Surround Audio for Immersive Training in Spatial Cognition
Secured Augmentation: On-Body Security and Safety Interfaces
DUMask: A Discrete and Unobtrusive Mask-Based Interface for Facial Gestures
Effects of Replay Modification and Viewpoint in Virtual Reality on Self-Efficacy
FastPerson: Enhancing Video-Based Learning through Video Summarization that Preserves Linguistic and Visual Contexts
GazeScope: Gaze Target Selection with a Magnifier in VR Environments
Exploring the Design Space of Assistive Augmentation
Melting into shadow: Toward less cognitively loaded communication in the dark
SlopeNav: A Realtime Wearable Blind Ski Assistance System with Adaptive Path Planning for Simulated Environments
Exploration of Sonification Feedback for People with Visual Impairment to Use Ski Simulator
Evaluations of Parallel Views for Sequential VR Search Tasks
Synthetic Visual Sensations: Augmenting Human Spatial Awareness with a Wearable Retinal Electric Stimulation Device
Phantom Undulations: Remote Physiological Sensing in Abstract Installation Works
Standing Balance Improved by Electrical Muscle Stimulation to Popliteus Muscles
Using Wearables to Measure the Impact of Sleep on Decision Making
CC-Glasses: Color Communication Support for People with Color Vision Deficiency Using Augmented Reality and Deep Learning
GAuze-MIcrosuture-FICATION: Gamification in Microsuture training with real-time feedback
ChromaGazer-HMD: Visual Modulation using Unobtrusive Color Vibration for Gaze Guidance with Head-Mounted Displays
Personalizing Augmented Flashcards Towards Long-Term Vocabulary Learning
Owl-Vision: Augmentation of Visual Field by Virtual Amplification of Head Rotation
Study on Interaction Between Electrical and Mechanical Stimulation for Tactile Reproduction on Fingertip
Proceedings of the Augmented Humans International Conference 2025, AHs 2025, Masdar City, Abu Dhabi, United Arab Emirates, March 16-20, 2025
Exploring relationship between EMG, confusion and smoothness of work progress in assembly tasks
Addressing Performance Drop in Motor Learning in Virtual Co-Embodiment: A Method to Enhance Awareness of Movement Differences
VR Shooting Form Practice System for Inexperienced Kyudo Players
SMArt Bracelet: On-Skin interface for user-regulated breathing and stress management
Coldness Presentation to Ventral Forearm using Electrical Stimulation with Elastic Gel and Anesthetic Cream
Proceedings of the Augmented Humans International Conference 2023, AHs 2023, Glasgow, United Kingdom, March 12-14, 2023
Exploring Shared Bodily Control: Designing Augmented Human Systems for Intra- and Inter-Corporeality
Meditation Support System Utilizing Pseudo-Heartbeat Auditory Feedback to Enhance Cardiac Interoceptive Awareness
Augmented Body Communicator: Enhancing daily body expression for people with upper limb limitations through LLM and a robotic arm
Effect of Weight Adjustment in Virtual Co-embodiment During Collaborative Training
Augmenting Online Meetings with Context-Aware Real-time Music Generation
AI Coach: A Motor Skill Training System using Motion Discrepancy Detection
RadioMe: Adaptive Radio with Music Intervention and Reminder System for People with Dementia in Their Own Home
Dynamic Derm: Body Surface Deformation Display for Real-World Embodied Interactions
Challenges in Virtual Reality Studies: Ethics and Internal and External Validity
Wrapped in Anansi's Web: Unweaving the Impacts of Generative-AI Personalization and VR Immersion in Oral Storytelling
Designing a Co-Eating system based on Augmented Reality and Generative AI
Effect of Tilt Information Provided by Motion Seat on Teleoperated Hydraulic Excavator on Tilt Perception
In-the-Wild Exploration of the Impact of the Lunar Cycle on Sleep in a University Cohort with Oura Rings
Exploring Full-Body Wind Sensations through Multisensory Feedback to Multiple Body Regions in Virtual Reality
Happiness Finder: Exploring the Role of AI in Enhancing Well-Being During Four-Leaf Clover Searches
MR Nudge: A Study on Behavior Changes Prompted by Virtual Objects in Mixed Reality
Kavy: Fostering Language Speaking Skills and Self-Confidence Through Conversational AI
E-Scooter Dynamics: Unveiling Rider Behaviours and Interactions with Road Users through Multi-Modal Data Analysis
Purrfect Pitch: Exploring Pitch Interval Learning through an Audio-Haptic Interface
texTENG: Fabricating Wearable Textile-Based Triboelectric Nanogenerators
"When to Take the Lead?" Mediation of Motion Intention in Collaborative Avatar Manipulation
Towards Enhancing a Recorded Concert Experience in Virtual Reality by Visualizing the Physiological Data of the Audience
GenAIReading: Augmenting Human Cognition with Interactive Digital Textbooks Using Large Language Models and Image Generation Models
Developing Strategies for Co-designing Assistive Augmentation Technologies
Tablet Cutting Board: Tablet-based Knife-control Support System for Cookery Beginners
Exploring the Alignment of Perceived and Measured Sleep Quality with Working Memory Using Consumer Wearables
Effects of the Number of Bodies on Ownership of Multiple Bodies
The Use of Large Language Models in HCI: A Critical Analysis of Synthetic Users
Effects of a foot - eye coordination training system using a VR environment
Hack the Room: Exploring the potential of an augmented reality game for teaching cyber security
Cuddle-Fish: Exploring a Soft Floating Robot with Flapping Wings for Physical Interactions
Designing Undetectable Morphing Speech: How Morph Rate and Discrete/Continuous Changes Influences Change Detection Thresholds
Virtual Omnibus Lecture: Investigating the Effects of Varying Lecturer Avatars as Environmental Context on Audience Memory
AIx Speed: Playback Speed Optimization Using Listening Comprehension of Speech Recognition Models
Resonance: Drawing from Memories to Imagine Positive Futures through AI-Augmented Journaling
PairPlayVR: Shared Hand Control for Virtual Games
SoleLoadEvaluator: A Real-Time Feedback System for Walking Posture with Anterior Load Using Insole Sensors
GazeLLM: Multimodal LLMs incorporating Human Visual Attention
Understanding the Effects of Rhythmic Frame-by-Frame Presentation for Improving Dance Learning
Effect of Salesperson Avatar Automatically Mimicking Customer's Nodding on the Enjoyment of Conversation in Virtual Environments
Everyday Life Challenges and Augmented Realities: Exploring Use Cases For, and User Perspectives on, an Augmented Everyday Life
MaskClip: Detachable Clip-on Piezoelectric Sensing of Mask Surface Vibrations for Real-time Noise-Robust Speech Input
Gaze-Augmented Drone Navigation
Conducting and Mitigating Portable Thermal Imaging Attacks on User Authentication using AI-driven Methods
Just Before Touch: Manipulating Perceived Haptic Sensations through Proactive Vibrotactile Cues in Virtual Reality
LUNAChair: Remote Wheelchair System Linking Users to Nearby People and Assistants
Real-time Slow-motion : A Framework for Slow-motion Without Deviating from Real-time
Augmented Astronaut Survival: Updating the 'How to Survive on the Moon' scenario workshop in preparation for an Artemis Edition
Conditions for Inter-brain Synchronization in Remote Communication: Investigating the Role of Transmission Delay
Demonstrating VabricBeads: Variable Stiffness Fabric using Woven Beads Structure
Rapport Building via a Digital Avatar with a "Voice" Entering into a Customer's Personal Space
Evaluation of the Impact of Visualizing Mutual Contexts in Multiplexed Virtual Environments on Creativity in Discussions
Aged Eyes: Optically Simulating Presbyopia Using Tunable Lenses
Investigating Effects of Facial Self-Similarity Levels on the Impression of Virtual Agents in Serious/Non-Serious Contexts
Effects of Self-Avatars in Virtual Reality-Based Reminiscence Therapy
The Effect of Elbow and Shoulder Supports on Detection Threshold of Horizontal and Vertical Hand Redirection
Affective Umbrella - A Wearable System to Visualize Heart and Electrodermal Activity, towards Emotion Regulation through Somaesthetic Appreciation
EarAuthCam: Personal Identification and Authentication Method Using Ear Images Acquired with a Camera-Equipped Hearable Device
Exploring the Kuroko Paradigm: The Effect of Enhancing Virtual Humans with Reality Actuators in Augmented Reality
Super-immersive Remote Working via Virtual Reality Controlled Robotics
Beyond Human: Cognitive and Physical Augmentation through AI, Robotics, and XR - Opportunities and Risks
Intelligent Music Interfaces: When Interactive Assistance and Adaptive Augmentation Meet Musical Instruments
Motor Enhancement through an Individually Optimized Imperceptible Vibration Stimulation
Tape-Tics: A Flexible and Modular Vibrotactile Feedback System for Rapid Prototyping of Haptic Applications in Education
Looking From a Different Angle: Placing Head-Worn Displays Near the Nose
Cartoon Muscle Pumping: A System for Virtual Muscle Expansion and Cloth Bursting
Comparative Evaluation of Joystick and Leaning-Based Locomotion in Immersive Telepresence with Body Motion Feedback
Beyond Boundaries: Exploring Augmented Reality Barrier-Bypassing Display Modalities
"How do people control the \"self\" for motion? Investigation of the effects of pneumatic gel muscle intervention on motion self-control and ego depletion in emotional self-control"
EarLume: Nonverbal Self-Expression Through Light-Based Earable
The Effect of Posture on Virtual Walking Experience Using Foot Vibrations
Tactile Vectors for Omnidirectional Arm Guidance
Visuospatial abilities and cervical spine range of motion improvement effects of a non-goal-oriented VR travel program at an older adults facility: A pilot randomized controlled trial
Lumbopelvic ratio based screening tool for Lumbar health assessment
Effects of Wearing Knee-tightening Devices and Presenting Shear Forces to the Knee on Redirected Walking
Audio-Force: Pseudo-Haptic Force Feedback through Sound Localization, Reinforced by Obstruction and Pitch-Gain Variations
DecluttAR: An Interactive Visual Clutter Dimming System to Help Focus on Work
Evaluating In-situ Cognitive Load Using Physiological Data
Slide Redirection: A Walker-Type Device for Enhancing Redirected Walking through Friction Sensation of a Rotating Handrail
SkillsInterpreter: A Case Study of Automatic Annotation of Flowcharts to Support Browsing Instructional Videos in Modern Martial Arts using Large Language Models
Co-embodied Mirroring: Preliminary Investigating the Effects of Movement Blending on Partner Impressions
WhisperMask: a noise suppressive mask-type microphone for whisper speech
Metacognition-EnGauge: Real-time Augmentation of Self-and-Group Engagement Levels Understanding by Gauge Interface in Online Meetings
Tuning Infill Characteristics to Fabricate Customizable 3D Printed Pressure Sensors
The Intuitive Jacket: Creating A Wearable Interface Acknowledging the Role of the Body in Trauma Mental Health
Effects of the Combination of a Mobile Robot for Haptic Feedback and Hand Redirection on Detection Thresholds
GUI Presentation Method based on Binocular Rivalry for Non-overlay Information Recognition in Visual Scenes
Exoskeleton for the Mind: Exploring Strategies Against Misinformation with a Metacognitive Agent
Illusory Body Ownership of Empty Space between Split Bodies
HapticPole: Running Navigation Through Skin Drag and Shape Change
Spatial feature optimization through a genetic algorithm in a sensory-association-based brain-machine interface
QA-FastPerson: Extending Video Platform Search Capabilities by Creating Summary Videos in Response to User Queries
Brain-Computer Interface using Directional Auditory Perception
Creating viewpoint-dependent display on Edible Cookies
Exploring the Effect of Transfer Learning on Facial Expression Recognition using Photo-Reflective Sensors embedded into a Head-Mounted Display
Holistic Patient Assessment System using Digital Twin for XR Medical Teleconsultation
Cyborgs on the Road: Workshop on Augmenting Road Users to Quantify their Behaviour
Generation of realistic facial animation of a CG avatar speaking a moraic language
Demonstrating "EchoVision": Mixed Reality Sensory Substitution with Bat Echolocation
GestureMark: Shortcut Input Technique using Smartwatch Touch Gestures for XR Glasses
Auditory Interface for Empathetic Synchronization of Facial Expressions between People with Visual Impairment and the Interlocutors
Identifying Hand-based Input Preference Based on Wearable EEG
Vadalog: Recent Advances and Applications
An Epistemic Probabilistic Logic with Conditional Probabilities
Enhancing Query Efficiency for D-DNNF Representations Through Preprocessing
A Computationally Grounded Logic of Graded Belief
Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
Computing MUS-Based Inconsistency Measures
A Complete Connection Calculus with Rigid E-Unification
Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis
The Well-Founded Semantics Is the Principle of Inductive Definition
Deciding the Bisimilarity Relation between Datalog Goals
Probabilistic Argumentation: An Approach Based on Conditional Probability -A Preliminary Report-
Capturing Stationary and Regular Extensions with Reiter's Extensions
Towards a Connection Procedure with Built in Theories
Revision of Non-Monotonic Theories
Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings
Semi-Representability of Default Theories in Rational Default Logic
A Qualitative Reasoning with Nuanced Information
Only Persistence Makes Nonmonotonicity Monotonous
On Extracting Legal Arguments
ReAD: AD-Based Modular Ontology Classification
Linear Proofs and Linear Logic
How to Restore Compactness into Probabilistic Logics?
April - An Inductive Logic Programming System
A Simple Signed System for Paraconsistent Reasoning
Towards Practicable Defeasible Reasoning for ABoxes
Knowledge Base Revision in Description Logics
Automatic Compilation of Protocol Insecurity Problems into Logic Programming
Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations
Loop Checking and Negation
An Abstract View on Optimizations in SAT and ASP
Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals
Hybrid Probabilistic Logic Programs as Residuated Logic Programs
An Abductive Logic Programming Architecture for Negotiating Agents
A Framework for Default Logics
Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials
Higher Order Generalization
A Formal Analysis of KGP Agents
Inconsistency Management in Reactive Multi-context Systems
Stable Belief Sets Revisited
Possibilistic Logic: From Certainty-Qualified Statements to Two-Tiered Logics - A Prospective Survey
Some Techniques for Branch-Saturation in Free-Variable Tableaux
Counter Systems for Data Logics
NoMoRe : Non-monotonic Reasoning with Logic Programs
Normal Form Nested Programs
From Modal Ockham Algebras to Modal Berman Variety: Relational Semantics and Kripke-Completeness
A Compilation of Updates plus Preferences
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis
Exploiting Forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment
Capturing Parallel Circumscription with Disjunctive Logic Programs
Process Miner - A Tool for Mining Process Schemes from Event-Based Data
Exact Query Reformulation with First-Order Ontologies and Databases
First Steps Towards Taming Description Logics with Strings
Parametrized Logic Programming
A Modal Logic of Knowledge, Belief, and Estimation
On the Logic of Theory Base Change
Categorical Approximation Fixpoint Theory
Meta Level Reasoning and Default Reasoning
The CIFF Proof Procedure for Abductive Logic Programming with Constraints
Carving Up Space: Steps Towards Construction of an Absolutely Complete Theory of Spatial Regions
Reasoning About an Agent Based on Its Revision History with Missing Inputs
Ordering-Based Representations of Rational Inference
Transforming Fuzzy Description Logics into Classical Description Logics