yusuke1997/dblp-id-title huggingface dataset:
Semantic Segmentation under Adverse Conditions: A Weather and Nighttime-aware Synthetic Data-based Approach
Geometric LDA: A Generative Model for Particular Object Discovery
A Step Towards Efficient Bayesian Signal Reconstruction
Robust segment-based Stereo using Cost Aggregation
The Kinematics and Eye Movements for a Two-Eyed Robot Head
NCA-Morph: Medical Image Registration with Neural Cellular Automata
Corner Detection Via Topographic Analysis of Vector Potential
Segmenting natural images with the least effort as humans
Multi-Weight Partial Domain Adaptation
Accurate Closed-form Estimation of Local Affine Transformations Consistent with the Epipolar Geometry
Unsupervised Learning of Shape Manifolds
GPRAR: Graph Convolutional Network based Pose Reconstruction and Action Recognition for Human Trajectory Prediction
Semi-Online Knowledge Distillation
Exploring Prior Knowledge for Pedestrian Detection
Choosing an Optimal Neural Network Size to aid a Search Through a Large Image Database
Learning Background and Shadow Appearance with 3-D Vehicle Models
Incremental Dictionary Learning for Unsupervised Domain Adaptation
Wide Baseline Stereo Matching based on Local, Affinely Invariant Regions
IRFusionFormer: Enhancing Pavement Crack Segmentation with RGB-T Fusion and Topological-Based Loss
Filter for Car Tracking Based on Acceleration and Steering Angle
Referring Expression Object Segmentation with Caption-Aware Consistency
Discovering an Image-Adaptive Coordinate System for Photography Processing
Multiple Plane Segmentation Using Optical Flow
Interactive Learning Environment in Mechanics
WORDMATH: A Computer-Based Environment for Learning Word Problem Solving
An Approach to Learning Software Based on Student Modelling
Motivating the Design for a Computer Assisted Environment for Writers in a Second Language
Epiphyte Advisor Systems for Collaborative Learning
3D-Schema: An Intuitive Model for Analog Circuits Instruction
Support for Simulation-Based Learning: The Effect of Assignments in Learning about Transmission Lines
Tutorized Simulated Study of RC, LR and LRC Circuits for Windows
Teaching Primary Science: A Psychologically Well-Grounded Approach
XMOISE: A Logical Spreadsheet to Elicit Didactic Knowledge
Preliminary Student Evaluation of a CBL Course on Digital Systems Electronics
The Analogical Model-based Physics System: A Workbench to Investigate Issues in How to Support Learning by Analogy in Physics
Applied Artificial Intelligence for Teaching Numeric Topics in Engineering Disciplines
A Computer-Supported Course in Mechanics
Designing Educational Multimedia
Multimedia Training and Remote Operating Laboratory: Innovative Solutions for Instrumentation and Electronic Measurements Courses
Learning Proton NMR Spectroscopy with Computers..
DLW - A Learning Environment for Lake Water Diagnosis
Testbed for Measuring Multimedia Presentation Quality Disorders in Courseware
Computer Aided Learning and Instruction in Science and Engineering, Third International Conference, CALISCE '96, San Sebastian, Spain, July 29-31, 1996, Proceedings
Computer Aided Learning in Microelectronics Technology in Slovakia (State of the Art)
FLIP: Flexibel Learning in Physics and Mechanics
An Object-Oriented Shell for Intelligent Tutoring Lessons
Cooperative Distance Learning with an Integrated System for Computer Assisted Laboratory Work
GITE: Intelligent Generation of Tests
Foundations of an Adaptative Tutoring System Based on Systemic Networks
Evaluating Educational Technologies: Evaluation of Teaching Material Versus Evaluation of Learning?
Towards Pedagogically Sound Learning Environments: The Specification Process
Design of a Windows Software for Elastic Field Simulation: Application to Visualisation and Animation of a Rectangular Piece in a Projection with a Load on the End
Computer Modelling and Simulation of the High Frequency Disturbing Processes for Low Voltage Consumers Applied in Power System Training and Education
Multimedia System for Instruction and Learning Electronics
A Component-Based Interactive Practice Environment
A Multi-Agent Architecture for an ITS with Multiple Strategies
Representations of Instructional Purpose in Courseware Requirements
Teaching Informatics with ARIANE: An Experimental Internet-Based Pedagogical Environment
SBC-RX: Knowledge Based System for Raiodiagnosis and Training of Radiologists. The Teaching File Tool. A New Feature
CREAM-Tools: An Authoring Environment for Curriculum and Course Biulding in an Intelligent Tutoring System
A Hypermedia Intelligent Tutor for Mathematical Modelling Teaching
Cooperative and Distance Learning in Electronics Using Internet
Hypertexts as Educational Systems: Pedagogical Issues in Teaching and Learning Mathematical Problem Solving
TEA: An Agrarian Economuy Instructor System
Collaborative Learning Systems on the Internet with Case-Based Reasoning
The Leibinz TLSI: A Secondary Macro Programming Interface and Universal ASCII User Interface Shell for Hypermedia
Structured Hypermedia Authoring: A Simple Tool for the Design and Implementation of Structured Hypermedia Databases
Interactive Knowledge Base for Designing New Technology Base Tutoring Systems
The InforMed Professor: Clinical Instruction of Breast Disease Diagnosis and Management
Design of Software for the Simulated and Tutorized Study of Atomic Models Through the Use of Hypertext
SIMFOT: A Software for Simulating Photoelastic Experiments
The Intelligent Discussion Supporting System under the Distributed Environment
Interactive Practical Teaching of Digital Circuits Design by Means of Field Programmable Gate Arrays
TUDER: An Intelligent Tutoring System for Symbolic Derivation
Implementation and Evaluation of a WWW Multiple Choice Question Server
Some Characteristics of Instructional Design for Industrial Training
Decentralized Computer Learning Systems Based on Autonomous Agent Approach
Hypermedia Exercises Prototyping and Modelising
An Experimental Environment for the Production of Pedagogical Simulations
Expertext Approach and Learning Environments
A Student Model in Numerical Analysis for an Actual Engineering Student
On Content-Balanced Adaptive Testing
Authoring System for Reinforcement and Evaluation (SARE)
Introduction to Thermodynamics Based on Simulations and Hypertext
The Formula: A Relation? Yes, but a Concept Too!!
Flexible Intelligent Environment for Tutoring and Assessing Learners
Panel Discussion: The Use of Internet in Education
A Hypermedia Presentation to Understand Interactions Between Electron and Solid-Scanning Electron Microscope-
Deconstructionist Student Models in the Computer-Based Learning of Science
A Social IoT-Driven Pedestrian Routing Approach During Epidemic Time
AI-enabled IoT Applications: Towards a Transparent Governance Framework
AI-Driven Anomaly Detection Framework for Improving IoT System Reliability
Artificial Intelligence Pathologist: The use of Artificial Intelligence in Digital Healthcare
Enhancing IoT Security Through Sentiment Analysis: A Framework for Improved Threat Detection and Adaptive Response
IEEE Global Conference on Artificial Intelligence and Internet of Things, GCAIoT 2024, Dubai, United Arab Emirates, November 19-21, 2024
DECML: Distributed Edge Consensus Machine Learning Framework
IEEE Global Conference on Artificial Intelligence and Internet of Things, GCAIoT 2022, Alamein New City, Egypt, December 18-21, 2022
Integrating Big Data Governance and Corporate Strategies in Small and Medium Caspian Basin Seaports
A Deep Learning-Based Steganalysis Model for Color Images Using Statistical Texture Features
IEEE Global Conference on Artificial Intelligence and Internet of Things, GCAIoT 2021, Dubai, United Arab Emirates, December 12-16, 2021
An Early Warning System for Air Pollution Surveillance: An IoT Based Big Data Framework to Monitor Risks Associated with Air Pollution
EEG-Based Cognitive Digit Perception for Brain-Computer Interfaces (BCIs)
SIC and CSI-based Random Channel Access protocol for WLAN supporting Multi packet transmission
Automation of black tea oxidation process leveraging Internet of Things in Rwanda: Case of Rwanda Mountain Tea Factory Limited
What Can the Government Do to Revitalize Food Delivery?
CardioDiverse: A Balanced ECG Dataset for Improved Association of Heart Diseases with Relevant Leads
Interactive Digital Twins Framework for Asset Management Through Internet
Towards the use of IoT and AI for Pervasive Exergames
Privacy-Preserving Multi-Party Machine Learning for Object Detection
The Government's Role in Building a More Resilient Small Business Sector
AIoT-based Smart Home Energy Management System
Origin Destination Estimation Carrying Over Rolling Proximity Identifiers with RSSI
Road-map for digital transformation in shipping industry: a real use case
Technological Solution Development During the COVID-19 Pandemic: a Case Study in an IoT Lab
Scalable Intelligent Traffic Balancing: Advancing Efficiency, Safety, and Sustainability in Urban Transportation Through Machine Learning and AIM Integration
Optimizing Laboratory Safety Compliance Using Computer Vision: Real-Time PPE Detection in Laminar Flow Cabinets
AA-DL: AoI-Aware Deep Learning Approach for D2D-Assisted Industrial IoT
MPauth: A Single Message Identification Method of Internet of Medical Things
A Proposed Maintenance 4.0 Model for Laboratory Ventilation Systems: An Industry 4.0 Approach to Air Quality Management
LoRa WAN Roaming for Intelligent Shipment Tracking
Enhancing Agricultural Support for Small Scale Farmers in Kenya: An IoT-based Mini Weather Station as a Machine Learning Data Collector
Towards a Smart Low-cost Deluge Forecasting System
Heuristic Based Routing Algorithms for Vehicular Network Using Tabu Search and ANN
Designing A Compact Convolutional Neural Network Processor on Embedded FPGAs
The Effect of COVID-19 on the Transit System in Two Regions: Japan and USA
A Deep Analysis of Textual Features Based Cyberbullying Detection Using Machine Learning
Mitigating the effects of temporal distortion in a copy-detection based playback attack detector
Blockchain Smart Contract for Scalable Data Sharing in IoT: A Case Study of Smart Agriculture
Crowd Quantification with Flow Direction Estimation: a Low-Cost IoT-enabled Solution
A New Routing Protocol for Low-Power and Lossy Networks Utilizing Computational Intelligence over IoT Networks
Tiny Machine Learning for Real-Time Aquaculture Monitoring: A Case Study in Morocco
Science Centers as an Essential Tool for AI Pre-College Education in Developing Countries
SmokeAway: An Early Smoke Detection IoT Architecture for Outdoors
IEEE Global Conference on Artificial Intelligence and Internet of Things, GCAIoT 2023, Dubai, United Arab Emirates, December 10-11, 2023
Applying IoT and Deep Learning for ECG Data Analysis
Lightweight Intrusion Detection Using Multiple Entropies of Traffic Behavior in IoT Networks
Green Thumb Engineering: Artificial intelligence for managing IoT enabled houseplants
Towards Smart Interaction: Hand Gesture Recognition Using Machine Learning in IoT Scenarios
Reducing Tail Latency In Cassandra Cluster Using Regression Based Replica Selection Algorithm
Multi-tenant Cloud SaaS Application for a meeting to task transition via deep learning models
Artificial Neural Network Control of a Bipedal Robot Using a Bond Graph Model
Novel IoT Development Kit for Personalized Smart Ecosystems: Aliot
CampuScout: AIoT-Powered Guide for University Campus Exploration
Feeling Artificial Intelligence for AI-Enabled Autonomous Systems
An Elastic IoT Device Management Platform
SmartBlackBox: Enhancing Driver's Safety Via Real-Time Machine Learning on IoT Insurance Black-Boxes
A weakly-supervised deep domain adaptation method for multi-modal sensor data
Enhanced ALIVE Mind Controller and Machine Learning to Detect Drowsiness While Driving
Enhanced Reliability of Mobile Robots with Sensor Data Estimation at Edge
An Empirical Study on Speech Recognition Performance in Low-Resource Radio Environments
CAF-IoT: A Cybersecurity Assessment Framework for IoT Devices
Enhanced Dyna-QPC model with Fuzzy logic to train gaming models
Responsible Integration of Autonomous Vehicles in an Autocentric Society
Software Defined V2X Mesh Networking for Autonomous Vehicles in a Controlled Environment
WiFi Sensing for Presence Detection Using Deep Learning
Reinforcement Learning Based Technique for NOMA User Pairing Enhancement in RIS Assisted HetNets
IEEE Global Conference on Artificial Intelligence and Internet of Things, GCAIoT 2020, Dubai, United Arab Emirates, December 12-16, 2020
Perceptions of Time: Determine the Time of an Analogue Watch using Computer Vision
Mobility-as-a-Service Challenges and Opportunities in the Post-Pandemic
A Generic MDA-IoT Architecture for Connected Vehicles in Smart Cities
SANAD: A Comprehensive IoT Reference Architecture for Integrated Enterprise Platforms
Optimization Model for an Individualized IoT Ambient Monitoring and Control System
Machine Learning of k-Anonymity Data by using Feature Importance and Margin Preservation
A Probabilistic City Model Generation for Application in Internet of Vehicles Technology
Unbalanced Encoding in Synchronous Weight Quantization-Compression for Low-Bit Quantized Neural Network
Tiny Machine Learning Business Intelligence in the Semiconductor Industry: A Case Study
Sensing Quality Driven Positioning and Orientation for LiDAR Sensors
The Use of Arabic Language COVID-19 Tweets Analysis in IoT Applications
Auction-Based Scheduling for Efficient Execution of Stochastic Tasks in Diverse Vehicular Clouds with Flexible Time Datacenter Integration
Entropy Weighted-Based (EWB) I-LEACH Protocol for Energy-Efficient IoT Applications
A Deep Learning-based Approach for an Automated Vulnerability Detection in Source Code
Open Source Intelligence Driven Moving Target Defense for Secure Software-defined WAN: a Game Theoretic Approach
Run-Time Analysis of Road Surface Conditions Using Non-Contact Microwave Sensing
DyStore: Dynamic Item Location Encoding and Navigation for Smart Locker Systems
Impact of AI on employee well-being and decision-making: Insights from OECD member countries
Trust Zone Formation for Building Automation Networks Using Building Information Modeling
A Deep Learning Model for MOOC Dropout Prediction Using Learner's Course-relevant Activities
An IoT based Structural Health Monitoring System for Critical Infrastructures
Visual AI Applications on Smart Delivery Units
The Impact of Redundancy on Resource Utilization in Vehicular Clouds
Job Migration in Dynamic Vehicular Cloud Under Multiple Access Points
IoT-Based Public Transport Management System
Performance of Intelligent Reflecting Surface-Based Wireless Communications Using QAM Signaling
Exploring Nonprofit and Government Agency AI Policies and Regulations: Systems Leadership
A survey on Machine Learning for IoT Trust Management
Fuel Efficiency of Garbage Truck Navigation
Qurra : an Offline AI-based Mobile Doctor
Drone-Based Data Collection for Precision Agriculture Applications
Human Action Recognition Using ConvBiLSTM-GRU In Indoor Environment
Secure Automated Video Assistance in Vehicular Networks using Unmanned Aerial Vehicles
Characteristics of Blockchain and its Relationship with Trust
IoT-Based Smart Watering System Towards Improving the Efficiency of Agricultural Irrigation
ClasScorer: Towards a Gamified Smart Classroom
Perception of Bias in ChatGPT: Analysis of Social Media Data
RSSI Based Real-Time and Secure Smart Parking Management System
IoT-Enhanced Hybrid 5G-UAV Networks for Post-Catastrophe Assessment
Decoding Justice: The Synergy of Artificial Intelligence and Machine Learning in the Legal Landscape
An Evolutionary Algorithm for Collaborative Mobile Crowdsourcing Recruitment in Socially Connected IoT Systems
A Deep Reinforcement Learning Approach for Improving Age of Information in Mission-Critical IoT
IoT Application for the Physical Security in Gas Transportation
Intelligent Reflecting Surfaces Assisted Downlink UWB System
Task Scheduling in Cloud Computing Environment Using Bumble Bee Mating Algorithm
The Impact of Artificial Intelligence on Service Industries: Exploring Federal and State Regulations and Assessing Benefits and Concerns
A Class of Candidate Selection Algorithms for Hybrid IP/SDN to Tolerate Single Bidirectional Link Failures with Budget Constraints
Utilizing Blockchain and Distributed Storage to Enhance Security and Privacy in the IoT Ecosystem
Ethereum Price Prediction using Topological Data Analysis
Decoy VNF for Enhanced Security in Fog Computing
Secure Smart Cities Framework Using IoT and AI
AeroNeuro-GlobalNet: Leveraging LEO Satellite Constellations and 5G/6G Networks for Real- Time Emotional Monitoring of Transport Operators
Performance study on IOTA Chrysalis and Coordicide in the Industrial Internet of Things
Protecting Image-classifiers from Adversarial Attacks using an Adaptive Clustering Buffer-based Detection
Asynchronous Coarse-Grained Load Migration Scheme for IoT Applications in Fog Networks
Online-Learnt and Deployed MoDem System
OLRAMT-DEC: Online Learning-Based Resource Allocation for AI Model Training in a Device-Edge-Cloud Continuum
A DQN-Based Autonomous Car-Following Framework Using RGB-D Frames
Perspective on efficiency enhancements in processing streaming data in industrial IoT networks
Roads: Road Assistance for Driver Safety
Predicting the Sustainable Career Paths of Working Women in the UAE Private Sector Using Machine Learning
Security of SDN in an Adversarial Setting: The DDoS Case
Six Leads Are All You Need for Efficient Cardiac Analysis
Edge-AI Implementation for Milk Adulteration Detection
Machine Learning for Edge-Aware Resource Orchestration for IoT Applications
Serverless Trust-Based Authentication Approach in Vehicular Cloud Computing
An autonomous loyalty program based on blockchains for IoT solution providers
Low Complexity Classification of Power Asset Faults for Real Time IoT-based Diagnostics
Multi-agent reinforcement learning for intelligent resource allocation in IIoT networks
Artificial Intelligence Policy and Regulation in Medicine: Navigating the Promise and Challenges
Contactless Vital Signs Monitoring by mmWave Efficient Modulatorless Tracking Radar
Road Accident Severity Prediction - A Comparative Analysis of Machine Learning Algorithms
Enhancing Urban Mobility with Iot: A Versatile Parking Solution Integrating Real-Time Surveillance and Machine Learning
Novel Nakagami-$m$ Channel Model for G2A UAV Communications and Improved Security in Eavesdropping Dense Urban Environments
Towards an IoT-based Deep Learning Architecture for Camera Trap Image Classification
Weight Compression-Friendly Binarized Neural Network
ChecKuko: Non-Invasive Early Detection of Iron Deficiency Nail Symptoms through Image Processing Using Faster R-CNN
IoT-Ready Millimeter-Wave Radar Sensors
Next-Gen AIoT-Driven Predictive Maintenance and Health Management System for High-Speed Train Wheel and Axle Systems
Personalized Route Navigation System: Utilizing Available Static and Live Data for Preference-Based Recommendation
Towards Intelligent Web Context-Based Content On-Demand Extraction Using Deep Learning
A Novel Framework to Safeguard Inter-Vehicular Communication and Privacy
Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada
Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems
Running Ada on Real-Time Linux
Ada in Europe, Second International Eurospace - Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995, Proceedings
ROSE-Ada: a Method and a Tool to Help Reuse of Ada Codes
The AECSS Fault Tolerant Distributed Ada Testbed and Application
On the Tree Width of Ada Programs
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Exceptions in OO Languages: Using Them and Reasoning about Them
Reliable Software Technologiey - Ada-Europe 2010, 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
Formal Methods for a Space Software Development Environment
Guidance on the Use of Ada95 in High Integrity Systems
Ada after 10 Years of Usage - Is There a Commercial Future?
An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications
Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings
SWG APSE Test Support Toolset (Assessment of the CAIS-A Interface Set)
A Randomised Test Approach to Testing Safety Critical Ada Code
Expression Templates in Ada
PINROB: A Portable API for Industrial Robots
A Comparison of the Object-Oriented Features of Ada 9X and C++
CEDEX - A Tool for the Selection of a Development and Execution Environment for Real Time On-Board Applications
Ada 95: An Effective Concurrent Programming Language
Charles: A Data Structure Library for Ada95
Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada
An Adaptation of our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogenous Applications using Persistence
Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems
Interchangeable Scheduling Policies in Real-Time Middleware for Distribution
JEWL: A GUI Library for Educational Use
The Intermediate Language Diana
Automatic Ada Code Generation Using a Model-Driven Engineering Approach
Testing Safety Critical Ada Code Using Non Real Time Testing
An Approach To Benchmarking Ada Compilation Systems
Implementing Mixed Criticality Systems in Ada
High Integrity Ada in a UML and C World
Ada+B The Formula for Safety Critical Software Development
Observing the Development of a Reliable Embedded System
On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks
Toward a Secondary Standard for Hard Real-Time Ada: The Real-Time Rapporteur Group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35
Transparent Environment for Replicated Ravenscar Applications
KBSE and Ada - Object and Enabling Technology
Software Development and Ada, CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings
Real-Time Stream Processing in Java
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software
A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java TM
Applying Ada 9X to Two Real-Time Applications: A Case Study
Report on the VERA Experiment
The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code
Support of Technology Development in the Information Society
A SPARK/Ada CubeSat Control Program
Ada, Interfaces and the Listener Paradigm
Building Modern Distributed Systems
Safe Web Forms and XML Processing with Ada
A Coprocessor for High Performance Multiprocessor Ada Tasking
Merging Ada 9X and C++ in a Graphics System Software Architecture
Predicated Worst-Case Execution-Time Analysis
An Ada Library to Program Fault-Tolerant Distributed Applications
Handling Irregular Grammars in Ada
Planning the Transition to Ada 95 for a Large Real-Time Project
Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation
The Implementation of Ada 2005 Interface Types in the GNAT Compiler
Translating Time Petri Net Structures into Ada 95 Statements
Software Project Activity Network for Managing the Development and Testing Process
An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch
Porting the GNAT Tasking Runtime System to the Java Virtual Machine
About the Difficulties of Building a Pretty-Printer for Ada
On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systems
Avoiding Anomalies in Inheritance Schemes
Computer Aided Teaching of Programming Languages: An Ada-specific Development
Static Backward Program Slicing for Safety-Critical Systems
Diana Past, Present, and Future
Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT
Teaching Software Engineering with Ada 95
An Application of the Chains-of-Rare-Events Model to Software Development Failure Prediction
AFADA, a Measurement Tool for Ada
Synchronizing Multiple Clients and Servers
Software Development Based on Formal Methods