yusuke1997/dblp-id-title huggingface dataset:
Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT
Realisierung und Anwendung von Constraint-Hierarchien für die Konfiguration technischer Systeme in ConBaCon
Adaptiv-inkrementelle Unifikation
A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results
XML Transformations based on Logic Programming
Finite Set Intervals in Oz
Decomposition of Nonmonotone Aggregates in Answer Set Programming
PPI - A Portable Prolog Interface for Java
Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR
A Partial Evaluator for Curry
Constraint Handling Rules (Extended Abstract)
A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language
The dlv System: Model Generator and Advanced Frontends (system description)
Towards a More General Distributed Constraint Satisfaction Framework: Intensional vs. Extensional Constraint Representation
Data Modeling with Markup Languages
A Theorem-Proving approach to CLP
Replacements in Non-Ground Answer-Set Programming
Meta-S - Combining Solver Cooperation and Programming Languages
Using Objects to Build Constraint Databases
Coroutining and Control Generation for Logic Programs (Extended Abstract)
Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning
Solving Alternating Boolean Equation Systems in Answer Set Programming
Some General Properies of Answer Set Inference for Extended Disjunctive Logic Programs
Herleitung schärferer Ungleichungen für Terminierungsbeweise logischer Programme
Integrating Terminological and Deductive Reasoning
DisLog - A Disjunctive Deductive Database Prototype (system description)
Compilation of Equational Reasoning into Logic Programs
Constraint-Based Timetabling System for the German University in Cairo
Curry without Success
Beziehungen zwischen Logikprogrammierung und XML
Analyzing Declarative Semantics of Logic Programs
Integration of Ordered Constraint Hierarchies Based on a Non-Trivial Error Function in CLP(FD)
DeCoR a Deductive Constraint Database System
Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single Resource
Integrating Temporal Annotations in a Modular Logic Language
Challenge problems for the integration of logic and connectionist systems
Tableaux Calculi for Answer Set Programming
Towards an Object-Oriented Modeling of Constraint Problems
Using the dlv System for Planning and Diagnostic Reasoning
Optimization of GAPLog Programs
Attribute Grammars: Theory and Applications
Compiler Generation from Formal Definition of Programming Languages: A Survey
Building Data Base Management Systems Through Formal Specification
An Extension to Horn Clause Logic Allowing the Definition of Concurrent Processes
On the Algebraic Extensions of Abstract Data Types
The Development of an Interpreter by Means of Abstract Algebraic Software Specifications
A Formal Model of an Interpreter for Nonprocedural Languages
Reducing Types in Applicative Languages with Structured Data
An Approach to Communications and Parallelism in Applicative Languages
Le Calcul des Fermetures dans les Lamda-Langages
A Birkhoff-Like Theorem for Algebraic Classes of Interpretations of Program Schemes
A Construction of Concurrent Systems by Means of Sequential Solutions and Concurrency Relations
Formal Representations for Recursively Defined Functional Programs
FP Systems in Edinburgh LCF
Using Last Fixed Points to Characterize Formal Computations of Non-Deterministic Equations
On the Definition of Lamda-Calculus Models
Algebraic Denotational Semantics Using Parameterized Abstract Modules
An Operational Semantics for a Language with Early Completion Data Structures
A Semantic Algebra for Binding Constructs
About Data Type Genericity
A Proposal for Operational Semantics and Equivalence of Finite Asynchronous Processes
Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions
The Algebra of Functional Programs: Function Level Reasoning, Linear Equations, and Extended Definitions
Petri Nets and Concurrency-Like Relations
Scenarios: A Model of Non-Determinate Computation
Relational Semantics of Strongly Communicating Sequential Processes
On the Representation of Data Types
Distributed Termination with Interval Assertions
Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings
The VDM Principles of Software Specification and Program Design
A Proof Theoretic Methodology for Propositional Dynamic Logic
Implementation of VR-based personal basketball team-practice equipment
Algorithm Cocktail Approach for Predicting Body Constitution and Bias Recovery
Automatic Evaluation of Learning Behaviors for Online Lectures by OpenPose
Correlation Analysis of Nested Consumer Health Data: A New Look at an Old Problem
A MCI Screening Method using the Clock Drawing Test
Measurement Method of Walking Support Effect Using Thermal Image during Long-time Walking
Very-large-scale Integration of a Dual-lead Electrocardiogram Compression Chip with Modified Huffman Encoding
A Study on Worker Tracking Using Camera to Improve Work Efficiency in Factories
A Proposal of Spatial Modulation Using On/Off the Slots of Leaky Coaxial Cable
Action Prediction of AI Bot in FightingICE by using Deep Learning Model
Principles of behavior for solving problems in man-machine collaboration
Development of a Disaster Visualization System for Natural Disasters Using Social Networking Services
An-EMG-controlled Mobile Robot Based on a Multi-layered Non-contact Impedance Model
Application of magnetic field sensors for hand gesture recognition with neural networks
3D-Spatial Learning and Eye Blink
Anemia Examination Using a Hyperspectral Camera in Telecare System
3D-gARt - A New Gachapon 3D-printed Toy Played with Augmented Reality and Story Narration
Music Playlist Generation Based on Graph Exploration Using Reinforcement Learning
The relationship between each length of REM - NREM sleep cycle and sleep stage
Evaluation of a Gait Analysis Tool Using Posture Estimation Technology in Clinical Rehabilitation
Automatic Detection of Chewing and Swallowing Using Multichannel Sound Information
Evaluation of the Effect of ASMR on Reduction of Mental Stress: EEG Study
Shoe Detection Using SSD-MobileNet Architecture
A head-mounted device for easy quantification of vestibulo-ocular reflex through active head rotations
Implementations of Online Job Acceptance Functions in User-PC Computing System
Experimental Results of Aggregated data communication algorithm for rice cultivation
new technique to estimate the direction of sounds stemming from impending dangers
EdiSensor: Facilitating Food Electricity for Eating Habits Analysis
Relationship between the Nasal Region on Facial Thermal Images and the Flow Velocity of Nasal Breathing
Video Classification Based on User Preferences with soft-bag Multiple Instance Learning
Action Recognition System for Senior Citizens Using Depth Image Colorization
Extraction Rules for Optimal Bath Temperature Considering Contexts
Discussions on Capturing a Watermarked Image on an LCD Monitor
Non-invasive swallowing examination device using hetero-core fiber optic pressure sensor
Softness Presentation via Friction Force Control on Electrostatic Tactile Panel Display
A Hybrid Approach: Image Processing Techniques and Deep Learning Method for Cow Detection and Tracking System
A Mobile Device-Based Hairy Scalp Diagnosis System Using Deep Learning Techniques
Comparative Evaluation of Neural Vocoders for Speech Synthesis of Operatic Singing
Automatic Detection of Mounting Behavior in Cattle using Semantic Segmentation and Classification
Human Emotion Estimation Using Multi-Modal Variational AutoEncoder with Time Changes
Correlation Analysis of Cyber-Physical Data for Flood Disaster Prevention: Case of Typhoon Hagibis
Estimation of Subcutaneous Tissue State of Lymphedema Using Pressure Sensor
Index of gait stability using inertial measurement unit
Error Resilient Techniques for Wavelet Based Compressed Sensing
Resetting Threshold Values for Improving Facial Expression Recognition Accuracy
Extension Model of a Growing Rod applied for Pulling Force using Biomaterial
Wearable Accelerometer Optimal Positions for Human Motion Recognition
Recent Advances in Computer Audition for Diagnosing COVID-19: An Overview
Analysis of the Effect of Sensomotoric Inserts in In-toe Gait Patients with Directional Statistics
Outlier analysis in time-evolving sensory evaluation tasks
Fatigue Assessment Using Surface EMG on Lifting Motions
Noncontact Measurement for the Autonomic Nervous System through RGB Camera
Gamma Band Functional Connectivity Enhanced by Driving Experience
Posture Corrector: Incorrect Posture and Repetition Identifier using OpenPose and Deep Neural Network
Heat Stress Assessment using a Wearable Biosensor Network in Workplace Environments
Mental States Estimation Using ECG Affected by Mood Change During Imagining the Near Future
Sparse Modeling Approach for Estimating Odor Pleasantness from Multi-dimensional Sensor Data
Busy/Idle Duration Models of Video and Audio WLAN Traffics and Their Prediction Performance
Quadtree-Based Block Compressed Sensing for Reliable Transmission Applications
Development of a Measurement System for Attention Disorders Caused by Right Cerebral Hemisphere Damage
Surgical Phase Recognition Method with a Sequential Consistency for CAOS-AI Navigation System
EEG Activity Related to Decrease in Persistency of Gait Cycle Variability during Distracted Walking
Effect of an Augmentation on CNNs in Classifying a Cirrhosis Liver on B-Mode Ultrasound Images
Automatic Detection of Crushing Completion Timing of Food
4th IEEE Global Conference on Life Sciences and Technologies, LifeTech 2022, Osaka, Japan, March 7-9, 2022
Development of wearable EMG measurement system on forearm for wrist gestures discrimination
UI/UX Design Methodology of Portable Customizable Simulated Pet System Considering Human Mental Health
3rd IEEE Global Conference on Life Sciences and Technologies, LifeTech 2021, Nara, Japan, March 9-11, 2021
Plethysmography Using Skin Images Captured by RGB and Narrowband Filter Camera
Combinational Operation for Display Device using Acceleration Sensors on Fingertips
Physiological Measurement Combined with Game Devices for Nudged Long-term Health Management in Home
Benchmarking Learning Networks on Eat-Sleep Conditions
A Review on Quantitative Analyzing Axonal Transport of Mitochondria
Question Answering from Brain Activity Data via Decoder Based on Neural Networks
Towards a Smartwatch Application to Assist Students with Disabilities in an IoT-enabled Campus
A Sensor-Based Hand Gesture Recognition System for Japanese Sign Language
Development and Evaluation of a Lightweight Two-Degree-of-Freedom Electric Prosthetic Hand for Toddlers
Contribution of skin hydration to warmth detection among individuals
Estimation of Circadian Rhythms through EEG Signals by Temporal-Scale-Specific Fractal Dimensions
Extraction of Regions Related to Cardiac Sarcoidosis in Polar Map Images
Physiological Effect of Illuminance on Sense of Devotion during Video Gaming
Automatic fall detection by using Doppler-radar and LSTM-based recurrent neural network
Evaluation of posture stability and fatigue reduction effect of nanofiber by 3D motion measurement
A Cloud-based Fall Detection System for Elderly Care with Passive RFID Sensor Tags
Noisiness Estimation of Classroom Students Based on RGB Images
Introduction of experiment examining the relationship between human and robot at automobile manufacturing
Development of a 7-DOF Electric Shoulder Prosthesis Using a Return-routing Coupled Tendondriven Mechanism
Comparison of The Method of Temporal Dominance of Sensations and After-tasting Sensory Evaluation
Development and Evaluation of Swahili Text Based CAPTCHA
Optical Fiber Specklegram Sensor for Probe Position Tracking
3D Documentation of Nursery Activity using Photographs with Location and Sound Information
Can Affective Computing Better the Mental Status of the Electronic Games Player? A Perspective
A Perspective of OBM to BBS and Other Industries
Estimating Visual Acuity Prognosis for Branch Retinal Vein Occlusion using Regression Models
A New Approach for Training on EMG-based Prosthetic Hand Control
Speech Emotion Recognition Using Label Smoothing Based on Neutral and Anger Characteristics
Finger Motor Function Evaluation Device for Hemiplegia Patients at Home
An Epidemiological Sleep Study Based on a Large-Scale Physical Activity Database
Optimized Light-Weight Convolutional Neural Networks for Histopathologic Cancer Detection
Developing mHealth App for Tracking Academic Stress and Physiological Reactions to Stress
Automatic Segmentation of Liver Tumor in Multiphase CT Images by Mask R-CNN
Cane with Millimeter Wave Radar for Base of Support Measurement
Estimating Child's Participation to Class Activity from Teaching Scene Image Analysis
Arduino-based mobile device for resazurin reduction express test of microorganisms activity
Improvement of emotions identification rate while walking using preprocessing for deep learning
Imaging Technology for Promoting Live Streaming in Thai Traditional Long-Boat Racing
1D-DCGAN for Oversampling Minority Mitotic Patterns in HEp-2 Cell Images
Home-life Assessment List "HAL" for Promoting the Review of Lifestyle Habits
Surgical Process Identification System using Machine Learning in Awake Surgery for Brain Tumor
End-to-end Conversion Speed Analysis of an FPT.AI-based Text-to-Speech Application
Recognition of Japanese Sign Language by Sensor-Based Data Glove Employing Machine Learning
Iris Recognition System Implementation Improved by QC-LDPC codes
Home Atmosphere Visualization Based on Motion Sensing in Smart Living Room
Heart Sound Classification based on Fractional Fourier Transformation Entropy
A 3D-printable Prosthetic Hand Considering Dual-arm Operation
Continuous Experiments for Elderly Person's Exercise Sensing and Evaluation
Acceleration Study of Two-Stage and Deep-Learning Based Facial Direction Detection on GPU-Based Edge Device
Enriching IoT Web Application Experience by Integrating Containerized Edge Resource
A Dementia Classification Based on Speech Analysis of Casual Talk During a Clinical Interview
Operation Method for Using Hand Position Information by QZSS to Manipulate Display Device
An Implementation of Coding Rule Checking Function for C Programming Study
Proposal of Close Contact Confirmation Method in Cyberspace for Influencer Marketing
Knowledge-Guided Sequential Recommendation with Reinforcement Learning Using Empirical Distribution Function
Risk distribution method from worker behavior measurement using Behavior-Based Safety procedure
Toward human-centered visual design based on sound symbolic information
Relationship between vertical acceleration and autocorrelation function during jumping rope
Optical Wireless Power Transfer for Moving Objects as A Life-Support Technology
Fluctuation of stride time intervals during walking with smartphone
Classifying the Presence or Absence of Calcifications on Mammography using the EfficientNet: A Feasibility Study
Using Depth Map as Interface to Predict Collision Risks in Remote Participation Assist System
Effect of shoe insoles on body sway in video-based person identification
Interior Lighting Utilizing "Clump of Illumination" for Promoting User Health
E-Worker Mental Fatigue Detection Through Mindwave EEG Data and Deep Neural Networks
Comparison of Precision Grasping Performance between Artificial Fingers With and Without Nails
Toward a Compact Infant Monitoring System Using UWB Radar and Environmental Sensors
Hybrid handwriting authentication model for online testing using a Siamese neural network and MLP
A Study on Evaluation of Dementia Progression Using CNN and Digit Images
Evaluation of Video Compression for Facial Image Photoplethysmography in Time Series Space
Book Recommendation Website with Chatbot
Modeling Energy Consumption for Task-Offloading Decisions on Mobile and Embedded Devices
Enhanced Dynamic Programming for Polygonal Approximation of ECG Signals
Novel Safety Management for Current Industry Revolution-Dynamic Risk Assessment
Self-Organized Unstructured Network Architecture for Device and Service Deployment in Smart Home
Estimation of users' interest levels using tensor completion with SemiCCA
Visual Aircraft Recognition Training via Web Application
Hearing support system for the hearing impaired
Identification and Detection of Immature White Blood Cells Through Deep Learning
Automatic Pet Food Dispenser by using Internet of Things (IoT)
Preliminary Study on Model Construction for Estimating Mental Illness and Developmental Disorders
Safety Performance of Inverted Pendulum Type Personal Mobility Vehicle in Emergency Braking
An Implementation of Offline Answering Function for Code Completion Problem in PLAS
Efficiency Broadcast Base Safety Message BSM Through VANET Based on Transmit Packet Coding (TPC)
A hybrid controller for multiple drug infusion in heart failure using convolutional neural network
Social Data Analysis on Play-to-Earn Non-Fungible Tokens (NFT) Games
A 3D-printable Prosthetic Hand Based on a Dual-arm Operation Assistance Model
Throughput Measurement for IEEE 802.11ad with Various Obstacles and Reflectors by Real Machines
In-vivo and in-vitro mechanical properties of pig liver during needle puncture for needle insertion
Theory of the optimum interpolation reconstruction and an application for 2D NMR spectroscopy
A CatBoost machine learning for prognosis of pathogen's drug resistance in pulmonary tuberculosis
Development of an e-board system for dynamic balance training
Color Inspection Tables for Estimating Degree of Color-Defective Vision
Trust Factors of Social Engineering Attacks on Social Networking Services
Study of Deep Learning for Sound Scale Decoding Technology from Human Brain Auditory Cortex
Enhancements of Robust Transmission for Block Compressed Sensing with LASSO
Multiple Local Weighting Scheme for Dynamic Time Warping in Online Signature Verification
Configuring Interface for IoT: Natural User Interface Study on Senior Adults in Japan
PBL Education Support System to Visualize Students' Attitudes
Intellevator: Enhancing Elevator System Efficiency by Proactive Computing on The Traffic Flow
A Study for Detecting Mild Cognitive Impairment by Analyzing Conversations with Humanoid Robots
Multi-color balancing for correctly adjusting the intensity of target colors
Analysis of Telemonitoring Multi Vital Data for Alert Detection on Telecare System
Automatic Detection of the Chewing Side Using Two-channel Recordings under the Ear
Improving Image Quality Using Noise Removal Based on Learning Method for Surveillance Camera Images
Individual Identification of Cow Using Image Processing Techniques
Cow Identification System using Ear Tag Recognition
Examination of optimal cognitive task for Near-infrared spectroscopy-based brain-computer interfaces
A Study of Grammar-Concept Understanding Problem for C Programming Learning
Visualizing and Communicating Health Trends in a Digital Charting Application for Nursing Home Staff
Quantitative Determination of Optimal Harvest Time by Surface Color Analysis of Tree Fruits
3D Reconstruction of Bone from Multi-View X-Ray Images Using Planar Markers
Estimating the Binding and Unbinding Rate of Motor Protein from Mitochondrial Motion
Amusement assessment of Japanese comedy Manzai using physiological signals
Problem of Pointing Target in Virtual Environment for Prism Adaptation
Development of Acoustically Optimized, 3D-Printed Stethoscope for Telehealth
Automated Evaluation of Coordinated Movement of Fingers Using Home Rehabilitation Device
Distress Level Classification of Road Infrastructures via CNN Generating Attention Map
Basic Approach to Estimation of Blood Oxygen Saturation Using an RGB Color Camera without Infrared Light
Visual SLAM in Dynamic Environments using Multi-lens Omnidirectional Camera
Detection of cervical myelopathy with Leap Motion Sensor by random forests
An AI Edge Computing-Based Intelligent Rear Large Vehicles Approaching Intimation System for Motorcycles
Eye Tracking System Using Facial Image Recognition
Cyclist Speed Estimation Using Accelerometer and Gyroscope in Smartphones
Reflecting personal preference obtained from clothing photos into full-color LED lighting
i-Automator: A Framework for Intelligent IoT Automation using Machine Learning
Facial Feature Points for Japanese Speech Content Estimation
Effective Assist of Hip-joint Support Ambient Walking Assistive System Using Ultrasonic Motors
A System for Determining Road Prices Based on Machine Learning Using Public and Private Sector Data
Person Verification Using Electroencephalograms Evoked by New Imperceptible Vibration Stimulation
Novel Single-Channel EEG Features Correlate with Working Memory Load
An Approach of Trajectory Clustering Using Distributed Representation of User Movement
Comparison of Machine Learning Algorithms for Patient Handling Recognition based on Body Mechanics
Estimating Viewed Images with Natural Language Question Answering from fMRI Data
Measurement of salivary alpha-amylase to support person-centered care for individuals with dementia
Faster R-CNN Model With Momentum Optimizer for RBC and WBC Variants Classification
Toddler's Hand Motion Acquisition with Hand-Made Data Glove
Extraction of useful features for stress detection using various biosignals doing mental arithmetic
ICH 3-party model for claims distribution on the blockchain and their application to the e-KYC-e model
Document Image Analysis of Salary Payslips
Atmosphere Sharing System by Lighting and Fragrance to Enhance Quality of Work in Telework
Modeling Sharpening a Pencil in Virtual Reality
Real Time Sensor Signal Processing Techniques Using Symmetric Dual-Bank Buffer on FreeRTOS
Automated Recognition of Off Phenomenon in Parkinson's Disease During Walking : - Measurement in Daily Life with Wearable Device -
Usability of Instrument for a Farm Product in a Real Farm
Correlation dimension to determine changes in subbands of epileptic signals
Analysis of stereo camera parameters effect on stereo matching performed by remote operator
A study on indoor physical activity monitoring using Bluetooth signal strength
Examination of reliability and convenience of the Safeguarding Supportive System (SSS)-Experimental evidence at a company
A Clustering-based Feature Selection for Automatic Labeling in Human Activity Recognition
A System to Keep Exercising by Suggesting an Appropriate Exercise Timely
Development of Communication System from EMG of Suprahyoid Muscles Using Deep Learning
For a Quantitative Evaluation of Risk Assessment -Behavior-based Safety
Verification of Generalizability of Walking Assist Status Index Using Electromyography
Teleclinical Support System via MR-HMD Displaying Doctor's Instructions and Patient Information
A Study on Time Series Analysis of Environmental Data for Predicting Emotional Conditions
A Lightweight IDS Based on J48 Algorithm for Detecting DoS Attacks on IoT Middleware
Mechanism for Multithreaded and Asynchronous System Call Execution
Adaptation of a Pronunciation Dictionary for Dysarthric Speech Recognition
Video-based Fall Risk Detection System for the Elderly
Relationship between saccadic intrusions and a bimodal aspect of inter-microsaccadic intervals
A Study on Classification Using Machine Learning for Dementia Evaluation
A DBSCAN-based White-Hat Worm Launcher for Botnet Defense System
HoikuCam: Voice Recognizing Camera for In Situ Recording of Child Development
Measurement Frequency Evaluation for Bioimpedance-Based Blood-Glucose Estimation
Development of an ECMO Remote Monitoring System
An Approach to Construct and Validate TCM Dataset Effective against Bacterial Pneumonia
Classification of Robot Service during Sit-to-Stand through Segments Coordination
Bus Location System with LoRa to Cover the Entire Nonoichi City
VR Music Game Considering Range of Arm Motion
Nightscape assessment of shopping district in a virtual reality display
Visual Representation Enhancement of Aircraft Recognition Training System in Virtual Reality
Robustness of Hand Motor Function Evaluation System on Home Rehabilitation Device