yusuke1997/dblp-id-title huggingface dataset:
Eine Variante des Nelsonschen Verfahrens zum Aufsuchen der Primimplikanten eines Ausdrucks
Discrete Open Systems or Markov Chains in a Random Environment II
Eine Bemerkung über stochastische Wahrheitsfunktionen und ihre Anwendung in der Strukturtheorie stochastischer Automaten
On Classes of Random Sets and Point Process Models
Eine algebraische Charakterisierung der linearen Sprachen
Zum Reduktionsverhalten von Modulautomaten
Degree Bounds and Subhamiltonian Cycles in Planar Graphs
Methode zur Berechnung der Primkonjunktionen unvollständig bestimmter Boolescher Funktionen
Ein Dualitätstheorem der Automatentheorie
Analyse-Synthese-Probleme bei linearen nichtdeterministischen Automaten
NBSF - eine Sprache zur strukturellen Beschreibung von Schaltkreisen
Die Lösung und Auflösung binärer Gleichungen mit Hilfe des Booleschen Differentialkalküls
D!=ND für mehrdimensionale Turing-Automaten mit sublogarithmischer Raumschranke
Strict Deterministic Grammars and Greibach Normal Form
Planning Mathematical Proofs with Methods
Ein Beitrag zum Thema "Minimalautomaten"
Theoretical Investigations on Functional Grammars
Bayes-Automaten
Sur la possibilité de simuler par le calcul électronique les réseaux de cellules nerveuses
An Equivalence Result for Oracle Sets
Exakte stereologische Formeln und Näherungslösungen für konvexe Körper
Equational Dependencies
Automatentheorie und dynamische Programmierung
Untersuchungen über die Kompliziertheit von Berechnungs- und Tabellenprogrammen
Minimierung des Einflusses der in der Praxis auftretenden Störungen der Samplingwerte II. Zeitkontinuierliche Betrachtung und Spektraldarstellung
Systolic Systems for Polynomial GCD Computation
Ein Verfahren zur Selektion von geometrischen Merkmalen mit Hilfe parallelverarbeitender homogener diskreter Schichten aus vorwärtsgekoppelten identischen Verarbeitungselementen
An Approach to Correctness Proofs of Programs
Numerical Fourier Analysis of Nonperiodic Functions
Disjunctive omega-Languages
A New Approach to Queues With Warming-up Times
Design and Microprogramming of Bit-sequential Processors for Parallel Systems
Ein Vorschlag zur systematischen Bezeichnung aller n-wertigen und k-stelligen Booleschen Funktionen und ein Algorithmus, nach dem auf dieser Grundlage die Funktionswerte dieser Funktionen berechnet werden können
Über einige Probleme bei der mathematisch exakten Definition der Semantik einer Programmiersprache
Periodisch stationäre Markovsche Entscheidungsmodelle
A Note on Two Classes of t-ary Trees
On Estimation Methods in Planar Sampling
Zur Kompliziertheit der Realisierung Boolescher Funktionen durch F-V-Schemata
Types of Separations for Relativized Complexity Classes
Zur Dekomposition von Mengensystemen, Booleschen Funktionen und Graphen
Einige Bemerkungen zu einer Arbeit von W. Knödel über das mittlere Verhalten von on-line-Packungsalgorithmen
Unpredictable Sets
Reading Data in a Hierarchical Memory
On the Asymptotic Behaviour of the Mantissa Distributions of Sums
Eine modifizierte Fourier-Analyse nichtperiodischer Funktionen: Das diskrete zeitabhängige Spektrum
Diskrete lineare zellulare Systeme
A model for PL/I list-processing using the method of semantic bricks
Mehrwertige Mengenlehre und Klassifikationsprozesse
On Iterative Methods in Markov Modelling
Hybrid training with binary search protocol for wireless sensor networks
Semantic and Virtual Reality-Enhanced Configuration of Domestic Environments: The Smart Home Simulator
Automatic Decision Algorithm of Interpretation Power in Criminal Justice Based on Data Activity Consultant
Equestrian Sports Posture Information Detection and Information Service Resource Aggregation System Based on Mobile Edge Computing
iBGP: A Bipartite Graph Propagation Approach for Mobile Advertising Fraud Detection
Interface Assignment-Based AODV Routing Protocol to Improve Reliability in Multi-Interface Multichannel Wireless Mesh Networks
Feature Optimization of Exhaled Breath Signals Based on Pearson-BPSO
Interaction Modes for Emergency Mobile Apps
Mobile Applications for Knowledge Workers and Field Workers
Perception-Based Tactile Soft Keyboard for the Touchscreen of Tablets
Fair and Efficient Rate Allocation for Wireless-Powered Machine-Type Communication Networks
Mobile Information System of Ceramic Appreciation and Communication Management Based on Mobile Edge Computing
Construction and Application of E-Government Simulation Network Experimental Teaching Practice Environment under the Background of Machine Learning
The Social Relationship Based Adaptive Multi-Spray-and-Wait Routing Algorithm for Disruption Tolerant Network
Emerging Trends in Mobile Collaborative Systems
Implementation of CAVENET and its usage for performance evaluation of AODV, OLSR and DYMO protocols in vehicular networks
GuideLoc: UAV-Assisted Multitarget Localization System for Disaster Rescue
Detecting Home and Work Locations from Mobile Phone Cellular Signaling Data
Novel Point-to-Point Scan Matching Algorithm Based on Cross-Correlation
A CSMA Mechanism with Variable Collision Control and Priority Provision in Multichannel Mobile Ad Hoc Networks
Prediction of Volleyball Competition Using Machine Learning and Edge Intelligence
Study about Law Multi-Issue Automatic Negotiation Method Based on Artificial Intelligence and Multiagent Evolutionary Algorithm
Incorporating D2D to Current Cellular Communication System
Research on Indoor Scene Classification Mechanism Based on Multiple Descriptors Fusion
A Cloud-Based Mobile System to Improve Project Management Skills in Software Engineering Capstone Courses
Dealing with Pure New User Cold-Start Problem in Recommendation System Based on Linked Open Data and Social Network Features
Mobile Based User-Centered Learning Environment for Adult Absolute Illiterates
An Intelligent Garbage Sorting System Based on Edge Computing and Visual Understanding of Social Internet of Vehicles
Lightweight Verification Schema for Image-Based Palmprint Biometric Systems
Design and Research of Intelligent Educational Administration Management System Based on Mobile Edge Computing Internet
Self-Organization in Mobile Networking Systems
ULMAP: Ultralightweight NFC Mutual Authentication Protocol with Pseudonyms in the Tag for IoT in 5G
A Survey of Channel Measurements and Models for Current and Future Railway Communication Systems
ANT: Agent Stigmergy-Based IoT-Network for Enhanced Tourist Mobility
Real-Time Collection Method of Athletes' Abnormal Training Data Based on Machine Learning
Rate Adaptation Mechanism with Available Data Rate Trimming and Data Rate Information Provision for V2I Communications
Analyzing and Predicting Empathy in Neurotypical and Nonneurotypical Users with an Affective Avatar
IWKNN: An Effective Bluetooth Positioning Method Based on Isomap and WKNN
How Dangerous Are Your Smartphones? App Usage Recommendation with Privacy Preserving
The Resource Mapping Algorithm of Wireless Virtualized Networks for Saving Energy in Ultradense Small Cells
Analysis of Wireless Energy Harvesting Relay Throughput in Rician Channel
FastFlow: Efficient Scalable Model-Driven Framework for Processing Massive Mobile Stream Data
Target Detection Coverage Algorithm Based on 3D-Voronoi Partition for Three-Dimensional Wireless Sensor Networks
Energy-Neutral Communication Protocol for Living-Tree Bioenergy-Powered Wireless Sensor Network
An MSCN-Based Virtual Computing Cell-Oriented BSM Dissemination Mechanism
Selecting Critical Data Flows in Android Applications for Abnormal Behavior Detection
QDroid: Mobile Application Quality Analyzer for App Market Curators
Authenticated Diffie-Hellman Key Agreement Scheme that Protects Client Anonymity and Achieves Half-Forward Secrecy
Dilemma and Solution of Traditional Feature Extraction Methods Based on Inertial Sensors
Dynamic Optimization of Government Data Transmission Based on Blockchain Technology
Applications of the Small and Medium Enterprise Management System Using the Clustering Algorithm
Smart Contract-Based Cross-Domain Authentication and Key Agreement System for Heterogeneous Wireless Networks
Efficient ConvNet Feature Extraction with Multiple RoI Pooling for Landmark-Based Visual Localization of Autonomous Vehicles
Simultaneous Wireless Information and Power Transfer Mechanism in Interference Alignment Relay Networks
A Device-to-Device Multicast Scheme for Delay-Constraint Content Delivery
Public Information Dissemination Using Data Mining-Enabled Image Enhancement and Internet of Things
Improving Healthcare Team Collaboration in Hospital Transfers through Cloud-Based Mobile Systems
A Study on Tracking and Augmentation in Mobile AR for e-Leisure
Mountain Rainfall Estimation and BIM Technology Site Safety Management Based on Internet of Things
Deep Learning Approach in DOA Estimation: A Systematic Literature Review
Constructing the Web of Events from raw data in the Web of Things
Online Signature Verification on MOBISIG Finger-Drawn Signature Corpus
Towards Activity Recognition through Multidimensional Mobile Data Fusion with a Smartphone and Deep Learning
Cross-Layer Cooperative Power Control in Heterogeneous Multihop Networks
Weighted-DESYNC and Its Application to End-to-End Throughput Fairness in Wireless Multihop Network
Using Hybrid Machine Learning Methods to Predict and Improve the Energy Consumption Efficiency in Oil and Gas Fields
Joint Bandwidth and Power Allocation for LTE-Based Cognitive Radio Network Based on Buffer Occupancy
An Enhanced Distributed Scheme for WSNs
Research on BeiDou Satellite Positioning Algorithm Based on GPRS Technology
A Cloud-Assisted Region Monitoring Strategy of Mobile Robot in Smart Greenhouse
Internet Rumor Reporting System Based on the Blockchain Incentive Mechanism
Optimization Strategy of Multiarea Interconnected Integrated Energy System Based on Consistency Theory
Piano Performance and Music Automatic Notation Algorithm Teaching System Based on Artificial Intelligence
A Clustering-Based Approach for Improving the Accuracy of UWB Sensor-Based Indoor Positioning System
An Improved LTE RACH Protocol for M2M Applications
Prediction Model of Juvenile Football Players' Sports Injury Based on Text Classification Technology of Machine Learning
A low-cost hybrid coordinated checkpointing protocol for mobile distributed systems
Cognition and Cooperation in Advanced Wireless and Mobile Information Systems
One More Accuracy k-Anonymity Framework for LBS
Artificial Intelligence for Mobile Health Data Analysis and Processing
Falcon: A Blockchain-Based Edge Service Migration Framework in MEC
Porting Mobile Apps from iOS to Android: A Practical Experience
Multimode Pedestrian Dead Reckoning Gait Detection Algorithm Based on Identification of Pedestrian Phone Carrying Position
Community Public Safety Evaluation System Based on Location Information Service Architecture
Spectrum Assignment Algorithm for Cognitive Machine-to-Machine Networks
An Empirical Study on the Influence of the Mobile Information System on Sports and Fitness on the Choice of Tourist Destinations
Energy Efficient Interest Forwarding in NDN-Based Wireless Sensor Networks
Advances in Mobile Video Networking
E-Commerce Enterprise Supply Chain Financing Risk Assessment Based on Linked Data Mining and Edge Computing
Application Strategies of Cloud Computing Intelligent Optimization Algorithms in English Translation Major Teaching
Group-Interest-Based Verifiable CCN
An English Learning System Based on Mobile Edge Computing Constructs a Wireless Distance Teaching Environment
The Potential Energy of Artificial Intelligence Technology in University Education Reform from the Perspective of Communication Science
Efficient English Translation Method and Analysis Based on the Hybrid Neural Network
Green Communication for Mobile and Wireless Networks
Real-Time Data Scheduling of Flexible Job in Papermaking Workshop Based on Deep Learning and Improved Fuzzy Algorithm
Research on the New Model of Aerobics Physical Education under the Background of Artificial Intelligence Era
Using an Efficient Technique Based on Dynamic Learning Period for Improving Delay in AI-Based Handover
A Hybrid Wi-Fi Fingerprint-Based Localization Scheme Achieved by Combining Fisher Score and Stacked Sparse Autoencoder Algorithms
LSOT: A Lightweight Self-Organized Trust Model in VANETs
Data gathering using mobile agents for reducing traffic in dense mobile wireless sensor networks
A Framework for Exploiting Internet of Things for Context-Aware Trust-Based Personalized Services
Fault reconnaissance agent for sensor networks
EHeBby: An evocative humorist chat-bot
Research on the Smart Medical System Based on NB-IoT Technology
Small-Range High-Precision Positioning Based on Two-Point Coordination for Robot
EpSoc: Social-Based Epidemic-Based Routing Protocol in Opportunistic Mobile Social Network
The Risk Management Mode of Construction Project Management in the Multimedia Environment of Internet of Things
Efficiently and Effectively Mining Time-Constrained Sequential Patterns of Smartphone Application Usage
A Novel UAV Path Planning Algorithm Based on Double-Dynamic Biogeography-Based Learning Particle Swarm Optimization
BFLP: An Adaptive Federated Learning Framework for Internet of Vehicles
A Local Information Sensing-Based Broadcast Scheme for Disseminating Emergency Safety Messages in IoV
On the Eigenvalue Based Detection for Multiantenna Cognitive Radio System
Design and Testing of Automatic Machine Translation System Based on Chinese-English Phrase Translation
Energy Measure Semigraph-Based Connected Edge Domination Routing Algorithm in Wireless Sensor Networks
Glowbal IP: An adaptive and transparent IPv6 integration in the Internet of Things
Contiki-Based IEEE 802.15.4 Channel Capacity Estimation and Suitability of Its CSMA-CA MAC Layer Protocol for Real-Time Multimedia Applications
SWOT Research on the Development of Rural Tourism E-Commerce System under the Background of Big Data Era
Node-Subset Scheduling with a Subset-Reset Mechanism for the Decoding Algorithm of Nonbinary LDPC Codes
Research on Artificial Intelligence Interaction in Computer-Aided Arts and Crafts
HeartCare+: A Smart Heart Care Mobile Application for Framingham-Based Early Risk Prediction of Hard Coronary Heart Diseases in Middle East
Development of Hepatitis Disease Detection System by Exploiting Sparsity in Linear Support Vector Machine to Improve Strength of AdaBoost Ensemble Model
A Comparative Study of Spreadsheet Applications on Mobile Devices
The Effects of Consumer Innovativeness on Mobile App Download: Focusing on Comparison of Innovators and Noninnovators
Adaptive Power Saving Method for Mobile Walking Guidance Device Using Motion Context
Mobile information systems for the private everyday life
Performance evaluation with different mobility models for dynamic probabilistic flooding in MANETs
Certificateless Public Auditing with Privacy Preserving for Cloud-Assisted Wireless Body Area Networks
Integration and Optimization of Ancient Literature Information Resources Based on Big Data Technology
Efficient Coding-Based Scheduling for Multi-Item Requests in Real-Time On-Demand Data Dissemination
Trajectory Planning for Emergency Landing of VTOL Fixed-Wing Unmanned Aerial Vehicles
A cluster-based web service discovery in MANET environments
Improving MQTT Data Delivery in Mobile Scenarios: Results from a Realistic Testbed
Improved Nearest Neighbor Propagation Algorithm Based on Internet of Things Technology in Financial Management Early Warning
Detecting Boundary Nodes and Coverage Holes in Wireless Sensor Networks
Towards Mobile Information Systems for Indoor Space
Virtual MIMO Beamforming and Device Pairing Enabled by Device-to-Device Communications for Multidevice Networks
An Improved Collaborative Filtering Recommendation Algorithm and Recommendation Strategy
A Process Mining Based Service Composition Approach for Mobile Information Systems
A Comparison Study for Investigation of Diffracted Waves between Parallel Edges and Edges with Arbitrary Angle
Dynamic Resource Allocation with Integrated Reinforcement Learning for a D2D-Enabled LTE-A Network with Access to Unlicensed Band
Fault Diagnosis Method of the Construction Machinery Hydraulic System Based on Artificial Intelligence Dynamic Monitoring
Impact of radio randomness on performances of lattice wireless sensors networks based on event-reliability concept
Anchor-Less Producer Mobility Management in Named Data Networking for Real-Time Multimedia
Digital Media Application Technology of Mobile Terminals Based on Edge Computing and Virtual Reality
User Association and Small-Cell Base Station On/Off Strategies for Energy Efficiency of Ultradense Networks
GAIML: A new language for verbal and graphical interaction in chatbots
DIANA: A Machine Learning Mechanism for Adjusting the TDD Uplink-Downlink Configuration in XG-PON-LTE Systems
Subspace Learning and Joint Distribution Adaptation for Unsupervised Cross-Database Microexpression Recognition
ProMe: A Mentoring Platform for Older Adults Using Machine Learning Techniques for Supporting the "Live and Learn" Concept
An Anonymous Access Authentication Scheme Based on Proxy Ring Signature for CPS-WMNs
A Smart System for Sitting Posture Detection Based on Force Sensors and Mobile Application
The Dangers of Rooting: Data Leakage Detection in Android Applications
Content Downloading with the Assistance of Roadside Cars for Vehicular Ad Hoc Networks
Mobility management algorithms for the Client-driven Mobility Frame System - mobility from a brand new point of view
Artistic Style Conversion Based on 5G Virtual Reality and Virtual Reality Visual Space
On Cancellation Capability of Full-Duplex RF Self-Interference Cancellation Schemes
A Cross-Media Retrieval Method Based on Semisupervised Learning and Alternate Optimization
Intergroup Joint Scheduling for Mitigating Asymmetric Uplink Interference in Self-Organizing Virtual Cell Networks
Analysis of Distributed Transmit Diversity with Outdated Diversity Weights
Machine Learning Theory in the Strategic Management of Regional Risk Factors Measurement
Gait Speed Measurement for Elderly Patients with Risk of Frailty
A distributed approach to continuous monitoring of constrained k-nearest neighbor queries in road networks
Enhanced Internet Mobility and Privacy Using Public Cloud
A Collaborative Semantic Annotation System in Health: Towards a SOA Design for Knowledge Sharing in Ambient Intelligence
The design and implementation of tamper resistance for mobile game service
Assessment of Smartphone Positioning Data Quality in the Scope of Citizen Science Contributions
Study on Dynamic Service Migration Strategy with Energy Optimization in Mobile Edge Computing
A New Vehicle Localization Scheme Based on Combined Optical Camera Communication and Photogrammetry
Research on the Scientific Research Efficiency of Provincial Universities Based on the DEA Model
On the Modelling of Context-Aware Security for Mobile Devices
Integrated Packet Classification to Support Multiple Security Policies for Robust and Low Delay V2X Services
Cooperative proxy caching for wireless base stations
SPRINT-SELF: Social-Based Routing and Selfish Node Detection in Opportunistic Networks
A Low-Cost Vehicle Anti-Theft System Using Obsolete Smartphone
A Luggage Control System Based on NFC and Homomorphic Cryptography
Matching Sensor Ontologies with Simulated Annealing Particle Swarm Optimization
IoT Services and Virtual Objects Management in Hyperconnected Things Network
An Optimization Model of Raw Material Supply Chain Using Improved Genetic Algorithm for Primary and Secondary School Uniform under IoT Environment
Channel Allocation Based on Content Characteristics for Video Transmission in Time-Domain-Based Multichannel Cognitive Radio Networks
A Robust FLOM Based Spectrum Sensing Scheme under Middleton Class A Noise in IoT
Application of Mobile App in English Teaching in an Intelligent Environment
Effects of Implementing Adaptable Channelization in Wi-Fi Networks
Analysis and Evaluation of Braille to Text Conversion Methods
Pedestrian Heading Estimation Methods Based on Multiple Phone Carrying Modes
A Disembarking Notification Application for Public Transportation Using Inaudible Frequency
RoC: Robust and Low-Complexity Wireless Indoor Positioning Systems for Multifloor Buildings Using Location Fingerprinting Techniques
A Crowd-Based Intelligence Approach for Measurable Security, Privacy, and Dependability in Internet of Automated Vehicles with Vehicular Fog
An Efficient Channel Access Scheme for Vehicular Ad Hoc Networks
Information Dissemination Control Algorithm of Ecological Changes in the New Media Communication Environment
Failure-Aware and Delay-Predicted Multipath Virtual Queue Scheduling for Multimedia Transmission in Edge IoT
Adaptive Video Caption Detection and Extraction Method Based on Color Filtering Principle
WiFi-Based Virtual Access Network Scheduling for Downlink Traffic Dominated Smart Spaces
Secure Mobile Agent from Leakage-Resilient Proxy Signatures
Designing a Teaching Assistant System for Physical Education Using Web Technology
Exploring and Researching Ideological and Political Education of College Students' Psychological Quality for the Development of Artificial Intelligence
Analyzing User Awareness of Privacy Data Leak in Mobile Applications
Efficient Service Selection in Mobile Information Systems
Remote Sensing Image Compression Evaluation Method Based on Neural Network Prediction and Fusion Quality Fidelity
A Novel Travel Group Recommendation Model Based on User Trust and Social Influence
Tourism Destination Preference Prediction Based on Edge Computing
Different Approximation Algorithms for Channel Scheduling in Wireless Networks
A Window-Based, Server-Assisted P2P Network for VoD Services with QoE Guarantees
Design and Implementation of a Vehicle Social Enabler Based on Social Internet of Things
A mobile relational algebra
SACA: Self-Aware Communication Architecture for IoT Using Mobile Fog Servers
Reducing energy waste through eco-aware everyday things
Employ a mobile agent for making a payment
Architecture for mobile Heterogeneous Multi Domain networks
Application of Adaptive Virtual Reality with AI-Enabled Techniques in Modern Sports Training
Human Mobility Modelling Based on Dense Transit Areas Detection with Opportunistic Sensing
Minimizing the Average Waiting Time of Unequal-Size Data Items in a Mobile Computing Environment
Adaptive Step Size Gradient Ascent ICA Algorithm for Wireless MIMO Systems
Health participatory sensing networks
An Energy-Aware Task Offloading Mechanism in Multiuser Mobile-Edge Cloud Computing
Joint Full- and Half-Duplex Communication Strategy for MIMO Interference Channels
Local Cultural IP Development and Cultural Creative Design Based on Big Data and Internet of Things
Individual Driver Crash Risk Classification Based on IoV Data and Offline Consumer Behavior Data
An Intelligent Caching and Replacement Strategy Based on Cache Profit Model for Space-Ground Integrated Network
Analyzing the Physical and Mental Quality of College Students Using Multidimensional Data Mining
Expanding GÉANT Testbeds Service to Support Pan-European 5G Network Slices for Research in the EuWireless Project
A Perturbed Compressed Sensing Protocol for Crowd Sensing
Distributed Control of Networked Unmanned Aerial Vehicles for Valley Area Coverage
An Indoor Location-Based Positioning System Using Stereo Vision with the Drone Camera
Road Travel Time Prediction Based on Improved Graph Convolutional Network
Scrutinizing the Vulnerability of Ephemeral Diffie-Hellman over COSE (EDHOC) for IoT Environment Using Formal Approaches
Energy Efficiency Maximization of Full-Duplex and Half-Duplex D2D Communications Underlaying Cellular Networks
Application of Basketball Training System Based on Dynamic Intelligent Fog Computing Network
Helping Elderly Users Report Pain Levels: A Study of User Experience with Mobile and Wearable Interfaces
Smart Spectrum Technologies for Mobile Information Systems
LPPS: A Distributed Cache Pushing Based K -Anonymity Location Privacy Preserving Scheme
The Path Optimization Algorithm of Car Navigation System considering Node Attributes under Time-Invariant Network
Unobtrusive Support System for Prevention of Dangerous Health Conditions in Wheelchair Users
Rational Supplier Selection Based on Two-Phase Deep Analysis considering Fuzzy QFD and Game Theory