yusuke1997/dblp-id-title huggingface dataset:
Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions
Verification of Sets of Infinite State Processes Using Program Transformation
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols
Nominal Unification of Higher Order Expressions with Recursive Let
Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking
Computing Abstract Distances in Logic Programs
A Generic Program for Minimal Subsets with Applications
Design and Implementation of A T : A Real-Time Action Description Language
Designing Prolog Programming Techniques
A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs
Correctness of Context-Moving Transformations for Term Rewriting Systems
Towards Synthesis of Nearly Pure Prolog Programs (Extende Abstract)
Memoing with Abstract Answers and Delphi Lemmas
Automata Theory Approach to Predicate Intuitionistic Logic
Deciding Full Branching Time Logic by Program Transformation
Test Data Generation of Bytecode by CLP Partial Evaluation
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks
Analysis of Logic Programs Using Regular Tree Languages - (Extended Abstract)
A Completion Procedure for Equational Rewriting Systems with Binders
Correct Object-Oriented Systems in Computational Logic
A Productivity Checker for Logic Programming
Simplifying the Verification of Quantified Array Assertions via Code Transformation
On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic
How to Talk to a Human: The Semantic Web and the Clash of the Titans
Proving Uniqueness of Normal Forms w.r.t Reduction of Term Rewriting Systems
A Scalable Inclusion Constraint Solver Using Unification
Proving Program Properties as First-Order Satisfiability
Reasoning in the Theory of Heap: Satisfiability and Interpolation
Improving the Whelk System: A Type-Theoretic Reconstruction
Determinacy Analysis for Logic Programs Using Mode and Type Information
Refinement of Higher-Order Logic Programs
Constraint Logic Programming Applied to Model Checking
Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines
Strictness Analysis as Finite-Domain Constraint Solving
Mode Analysis Domains for Typed Logic Programs
Resourceful Program Synthesis from Graded Linear Types
Dynamic Symbolic Computation for Domain-Specific Language Implementation
A Modular Equational Generalization Algorithm
On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms
Combining Different Proof Techniques for Verifying Information Flow Security
Mathematical Foundations for Program Transformations
Extending Co-logic Programs for Branching-Time Model Checking
Generation of Initial Contexts for Effective Deadlock Detection
Modular Extensions for Modular (Logic) Languages
Attempto Controlled English - Not Just Another Logic Specification Language
On the precision of abstract interpretations
To Parse or Not To Parse
Using a Prolog Prototype for Designing an Object Oriented Scheme
Abstract Specialization and Its Application to Program Parallelization
Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras
Defining Datalog in Rewriting Logic
Towards a Logic for Reasoning About Logic Programs Transformation
Relational Solver for Java Generics Type System
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
Pruning Operators for Partial Evaluation
Best-first Strategies for Incremental Transformations of Logic Programs
Speed-up Transformations of Logic Programs by Abstraction and Learning
Generation of Rule-Based Constraint Solvers: Combined Approach
A Basis for a Multi-Level Meta-Logic Programming Language
Verification of the Schorr-Waite Algorithm - From Trees to Graphs
Concolic Execution in Functional Programming by Program Instrumentation
Transformation of Left Terminating Programs
Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs
Bottom-Up Specialisation of Logic Programs
Infinite State Model Checking by Abstract Interpretation and Program Specialisation
An Inference Algorithm for Guaranteeing Safe Destruction
Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
Combined Abstract Congruence Closure for Theories with Associativity or Commutativity
Redundant Argument Filtering of Logic Programs
slepice: Towards a Verified Implementation of Type Theory in Type Theory
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs
Towards Erlang Verification by Term Rewriting
Generating Functions for Probabilistic Programs
Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging
A Program Transformation for Backwards Analysis of Logic Programs
Program Synthesis Based on the Equivalent Transformation Computation Model
Schema-Guided Synthesis of Imperative Programs by Constraint Solving
Automated Translation of Occam to a Concurrent Logic Language
Analytical Inductive Functional Programming
An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs
Symbolic Profiling for Multi-paradigm Declarative Languages
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation
Predicate Anti-unification in (Constraint) Logic Programming
From Static to Dynamic Access Control Policies via Attribute-Based Category Mining
Specialising Logic Programs with Respect to Call?Post Specifications
A Reversible Semantics for Erlang
Proving Termination for Logic Programs by the Query-Mapping Pairs Approach
An Integrated Approach to Assertion-Based Random Testing in Prolog
Extracting General Recursive Program Schemes in Nuprl's Type Theory
Automated strategies for specializing constraint logic programs
Disjunctive Delimited Control
A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
Input-Termination of Logic Programs
Using Call/Exit Analysis for Logic Program Transformation
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs
A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties
An Introduction to Search Combinators
Computing Environment-Aware Agent Behaviours with Logic Program Updates
Formal Program Development in Modular Prolog: A Case Study
Efficient Local Unfolding with Ancestor Stacks for Full Prolog
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models
Proof Checking and Logic Programming
A Formal Semantics for the Cognitive Architecture ACT-R
Runtime Complexity Analysis of Logically Constrained Rewriting
OOD Frameworks in Component-Based Software - Development in Computational Logic
A Formal Framework for Synthesis and Verification of Logic Programs
Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing
Fuzzy Unification and Generalization of First-Order Terms over Similar Signatures
Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction
On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics
Logic-Based Program Synthesis and Transformation, 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Development of Correct Transformation Schemata for Prolog Programs
Logic Program Synthesis and Transformation, Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991
Inferring and Compiling Termination for Constraint Logic Programs
Specialisation of a Unification Algorithm
Solving Proximity Constraints
Prolog Program Transformations and Meta-Interpreters
Variant-Based Equational Anti-unification
An Efficient Method for Boosting Human Pose Estimation
Designing Non-Uniform Constellations using an Artificial Immune System
Multi-rate Multicasting Over Fixed Pre-Computed MIMO Beams
Method for Analyzing Service Risk of Optical Transport Network based on Index System
Adaptive broadcast beamforming techniques in a multiple frequency network
Movement-based incentive for cellular traffic offloading through D2D communications
Improving the Playability of Cloud Games
BQE-CVP: Blind Quality Evaluator for Colored Point Cloud Based on Visual Perception
Modulated Recognition and Function Realization Based on Deep Learning
On the Aliasing-Elimination for CAS Channel Estimation
A Machine Learning-based xAPP for 5G O-RAN to Mitigate Co-tier Interference and Improve QoE for Various Services in a HetNet Environment
A low latency algorithm for efficient PAPR reduction for DVB-T2 and ATSC 3.0 broadcast
Novel approach to shape the spectrum for TDS-OFDM systems with cancellation carriers
Adaptive Live Streaming for Multi-user Access with Fairness Guarantee
Study of emergency warning broadcasting systems
Lowering error floors by removing dominant trapping sets of low-density parity-check codes for broadcasting systems
World's first hybrid 3DTV broadcasting experiment
Hybrid Terrestrial-Airborne Connectivity for Unicast/Broadcast Services Beyond 5G
Research on 3D Driveable Digital Human Generation System
Towards Advanced V2X Multimedia Services for 5G Networks
Effectively integrating broadband communications within wireless multimedia systems
Angle of arrival-based interference mitigation and spatial grouping techniques for Hetnet
Audio quality in audio description: Getting the priorities right (June 2015)
Performance Evaluation of Additional Parity for L1 Signaling in ATSC 3.0
Adaptive 3D-DCT based compression algorithms for integral images
A RIS Aided Channel Estimation Algorithm for MIMO Systems
Efficient production and synchronization of linked content for two-screen systems
Design of a bit interleaver for the high-order constellation DVB-T2 system
Joint Optimization of IRS-assisted MU-MIMO Communication Systems through a DRL-based Twin Delayed DDPG Approach
DVB-T2 field trials results for portable indoor reception using T2-Lite and multiple PLP
Federated Multimedia Recommendation Systems with Privacy Protection
An Innovative Algorithm for Improved Quality Multipath Delivery of Virtual Reality Content
Construction of rate compatible length scalable LDPC codes with low implementation complexity
Enhanced Adaptive Normalized Min-Sum Algorithm for Layered Scheduling of 5G-NR LDPC codes
Leveraging 5G Physical Layer Monitoring for Adaptive Remote Rendering in XR Applications
Decentralized Multi-layer Vehicular Edge Computing Framework for Time-Efficient Task Coordination
Representation Learning-based Slice Resource Reconfiguring Scheme in Multimedia Networks
SNR estimation based on CNN and LSTM in broadcasting channel
Subjective QoE based HEVC encoder adaptation scheme for multi-user video streaming
URAN: Utility-based reputation-oriented access network selection strategy for HetNets
Improvement of the tile format for stereoscopic video
Authorization for Access in Fog Radio Access Networks
FRADIS: A Machine Learning-based Multipath Solution for Differentiated Services in a Network Slicing-enhanced Delivery Environment
ATSC 3.0 Field Trial Under 3-Tx SFN Environments
Multi-hop LoRa Link optimized scheduling method for energy saving in Power IoT
Lossless Point Cloud Attribute Compression with Normal-based Intra Prediction
Adaptive LDPC Decoder with Performance Prediction Based on Average Mutual Information
A Satellite Networking Approach Supporting Batch Ephemeris Update
Design of Smart Production Scheduling Using Computational Heuristic Intelligence
Implementation of BICM-ID Receiver for Coded Modulation in DTMB-A
Protection ratios and interference curves for broadcast and cognitive co-channel and adjacent channel operation
Joint Subcarrier and Power Allocation Design Based on Radar SNR Ratio in Integrated Radar and Communication System
Rapidly Deployable Network System for Critical Communications in Remote Locations
Low-precision CNN Model Quantization based on Optimal Scaling Factor Estimation
Novel Personalized Multimedia Recommendation Systems Using Tensor Singular-Value-Decomposition
Tower overlay over LTE-Advanced+ (TOoL+): Results of a field trial in Paris
Dynamic optimization of the quality of experience during mobile video watching
Research on key technologies of audiovisual media microservices and industry applications
Device communication technology between various terminals for delivering ATSC 3.0 service
GC-LDPC Coded Modulation
Novel Biological Prompting Technology: Automatic Directional Control by Eye-Tracking Sensor
A 2-2 pull-downed film mode detection and treatment method with scrolling subtitles
Dynamic sparse channel estimation over doubly selective channels: Differential simultaneous orthogonal matching pursuit
Regional context model and dynamic Huffman binarization for adaptive entropy coding of multimedia
Image semantic segmentation optimization by Conditional Random Field integrated with object clique potential
Novel Extended Kalman Filter Using Matrix-Based Levenberg-Marquardt Algorithm and Its Application for Variable Bit-Rate Video Frame-Size Prediction
On Collaborative Air-Ground Replenishment of Combined UAVs for Live Broadcast
Fine-Tuning Optimization of Small Language Models: A Novel Graph-Theoretical Approach for Efficient Prompt Engineering
Always-on Personal AI for 6G networks
Path Loss Measurements of User Equipment to Access Point Communications at 60 GHz
Design and realization of an early warning system for natural disaster on digital television in Indonesia
Efficient interactive multicast over DVB-T2 - Utilizing dynamic SFNs and PARPS
Radar Aided Active Prediction Based On Deep Learning
Frequency Reuse Techniques for eMBB Services over 5G Multi-Beam Non-Terrestrial Networks
Video Enhancement Based on Unpaired Learning
Power consumption model using green policies in Heterogeneous Networks
Simplified Rate-Distortion Optimized Quantization for HEVC
A broadcast protocol in Multi-Hop Cognitive Radio Ad Hoc Networks with guarantees
A Study of Learning Experience during Olfaction-enhanced Adaptive Rich Media Delivery
Automated industrial crack inspection system based on edge-edge collaboration of multiple cameras and programmable logic controller
Parallel transform domain Wyner-Ziv video encoding scheme for standard definition video
Secure D2D Communications in 6G-oriented Networks for Multimedia eHealth Applications
ATSC 3.0 LDM-based mobile performance under HPHT metropolitan environment
In-Band Full-Duplex Communications with MIMO in ATSC 3.0
Realising a vRAN based FeMBMS Management and Orchestration Framework
MARL-Based Joint Computation Offloading and Aerial Base Stations Deployment in MEC Systems
Detection of Diffusion Model-Generated Faces by Assessing Smoothness and Noise Tolerance
No-reference image blur assessment based on gradient profile sharpness
Holographic Communications and Extended Reality in 5G Private Networks: A Digital Health Scenario
Balanced uplink scheduling for dedicated return channel of future broadcast TV
Analytical method for objective scoring of HTTP Adaptive Streaming (HAS)
A microphone array dereverberation algorithm based on TF-GSC and postfiltering
Estimating Quality of Experience in Multicast Point Cloud Streaming over 5G Networks
Performance Evaluation of ATSC 3.0 DASH Over LTE eMBMS
Fast HEVC intra coding algorithm based on Otsu's method and gradient
Mobile Edge Computing Tasking Offloading Strategy in Cell-Free Massive MIMO with Graph Neural Network
High-quality and real-time frame interpolation on heterogeneous computing system
Joint Parameterized Resource Allocation for IAB Networks with Deep Reinforcement Learning
A Fairness-Driven Resource Allocation Scheme Based on a Weighted Interference Graph in HetNets
Efficient caching scheme for data access in disruption tolerant networks
Mutual information maximization for optimal spatial modulation MIMO system
Design of an End-to-End and Open-Source 5G MBS SDR Validation Pilot
A real-time high-speed visible light communication system based on RGB-LEDs
An Adaptive Template Update Network for Siamese Trackers
Optimization of high-order non-uniform QAM constellations
Detection Performance of Transmitter Identification for ATSC 3.0
Traffic Anomaly Detection for Smart Grid based on Hierarchical Spatial-Temporal Feature Learning
Dual Convolutional Neural Network for Image Steganalysis
An enhanced QoS mechanism based on QoS decision assistant information
No-reference Panoramic Image Quality Assessment based on Adjacent Pixels Correlation
Enabling NR Cellular Networks for UAV: Introduction to the Interference and Mobility Issues
Forward Modeling of the Triaxial Induction Logging Instrument in Layered Anisotropic Medium
Non-Equiprobable Non-Uniform APSK Constellations Design for BICM Systems
On Services Unequal Error Protecting and Pushing by Using Terrestrial Broadcasting Network
Research on Operator Routing Security Technology Based on Transformer
Dynamic hyperlinker for 3D content search and retrieval
Offloading Strategy for UAV-Assisted Mobile Edge Computing with Computation Rate Maximization
Federated Learning for V2X Communications: Opportunities and Challenges
Performance Analysis of TV 3.0 Over-the-Air Physical Layer Protocols
Efficient modulation and coding scheme based on low-density parity-check codes
Networked Tactile Sharing Enabled by Online Texture Twinning and Rendering
Advancements and Challenges in Network Information and Knowledge Processing: A Comprehensive Exploration
Extended space shift keying scheme for MIMO channels
The Rise of Edge Computing: Driving Efficiency and Experience in Distributed Networks
Coverage Analysis of ATSC 3.0 Transition Based on SFN
The Rise of AI Communication: Opportunities, Challenges, and the Path Forward
Extracting foreground in video sequence using segmentation based on motion, contrast and luminance
Terrestrial TV network coverage: Measuring its impact on media market
A DNN-Based Channel Estimation Scheme for PMCH in LTE-Based 5G Terrestrial Broadcast System
Design of a next generation 5G broadcasting core network in China
ATSC 3.0 Broadcast Core Network for Next-Generation Media Delivery
Signal Isolation in Full-Duplex Inter-Tower Communication Networks: Field Trials
A Terahertz Metamaterial Biosensor For Liquid Detection Combined With Microfluidic Technique
A location aware DVB-based early warning system for civil protection
A DASH-aware Performance Oriented Adaptation Agent
Expectation Propagation Based Signal Detection for MIMO-OFDM with Inter-Carrier Interference
Technologies for the next generation of digital terrestrial television broadcasting - A study on spatially coupled LDPC codes
An Intelligent Mining Method of Alarm Knowledge Based on Multimedia Software-defined Network
Performance Evaluation of Rel-16 5G-MBMS
Edge-to-Cloud Continuum Orchestrator for Distributed Video Applications
On channel estimation in hybrid broadcasting and cellular networks with high mobility
A Study on the Transmission System of an Advanced ISDB-T
Influence of IQ-errors on DVB-T2 performance and its suppression by different methods
Cost and QoS Balanced Service Function Graph Scaling Algorithm in Cloud-Edge Collaborative Multimedia IoT
A study on PLC synchronization based on PLC preamble correlation for DOCSIS 3.1 Downstream
Generation of Automated Sports Commentary from Live Sports Data
A Joint Backscatter and VLC-NOMA Communication Scheme for B5G/6G umMTC System
Quality of Experience Assessment for Free-viewpoint Video
OFDMA-RSMA-based Multiple MBSs Intersymbol Interference Coordination Design in Hybrid Networking with LTE and NR Coexistence
A comparison between theoretical and practical planning approaches for DVB-T2 single frequency networks
Multi-level Stereo Attention Model for Center Channel Extraction
GPU accelerated high-quality video/image super-resolution
Image Statistics Conversion for Color Transfer
Exploring Network Management Implications in 5G and Future Generational Mobile Networks
Urban SigFox-based Mobility System
Leveraging Digital Twin Technology for Traffic Optimization: A Pathway to Sustainable Urban Transportation
DVB-T2 MISO field measurements and a calibrated coverage gain predictor
Real-time logical screen composition for non-planner digital signage broadcasting services
Efficient depth error concealment for 3D video over error-prone channels
Towards a Resilient Openflow Channel Through MPTCP
Novel Cooperative Automatic Modulation Classification Based on Received-Signal Quality
AI-based Inter-Tower Communication Networks: First approach
On locality of Generalized Reed-Muller codes over the broadcast erasure channel
NUC Optimization Design for Multi-layer Layered Division Multiplexing
Low delay rate control for HEVC
Multi-Agent Deep Reinforcement Learning Based on Actor-Critic for Task Offloading
Enhancing Synchronization and Error-Correction Performances Under Low C/N Condition Based on ISDB-S3 for 12-GHz-band Satellite Broadcasting
Power budget analysis including PAPR reduction techniques and power amplifier consumption for DVB-T2 and ATSC 3.0
Non-Orthogonal Multiple Access in 5G from the Energy Efficiency Perspective
A trial implementation of an MMT-receiving application to enable HTTP access by designating absolute time
A heuristic approach for the delivery schedule optimization in Dynamic Broadcast
A Comprehensive Framework to Design An Intent-driven Self-intelligent Orchestration Management Platform
IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, BMSB 2024, Toronto, ON, Canada, June 19-21, 2024
An efficient mobile coverage measurement system for ATSC DTV network
Data Drift Handling Techniques for License Plate Image Recognition
Progressive interference cancellation for position location in DTV Single Frequency Networks
Blockchain-Based Recommendation and Advertisement System for the TV Ecosystem
Dynamic VR live streaming over MMT
Intelligent Semantic Extraction and Transformation Pipeline for Large-Scale Multimedia Data Processing
Research of Computing-Aware Traffic Steering Scheme for Time-Variant Routing
Radio Environment Map of an LTE Deployment Based on Machine Learning Estimation of Signal Levels
Distribution Media-Independent Multidevice Cooperation System for Content Viewing
Digital Meter Recognition Method Based on Topological Features of Image Contour
Spectrum-efficiency parametric channel estimation scheme for massive MIMO systems
Towards Optimized Coexistence of IEEE 802.22 and DTMB: Protection Ratios and Interference Analysis
IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, BMSB 2022, Bilbao, Spain, June 15-17, 2022
Multiple description Wyner-Ziv video coding based on decoder multi-resolution motion refinement
Performance Evaluation of ATSC 3.0 MIMO Precoding
A Fast Virtual and Real Mixing Method for Adaptive Wear
Field Testing of LDM and SHVC Broadcast in ATSC 3.0
A Blockchain Model for the Metaverse
Unknown Channel End-to-End Learning of Communication System With Residual DCGAN
Enhanced ZF and LS channel estimators for OFDM with MPSK modulation
Cooperative sensing for dynamic spectrum access in Cognitive Wireless Mesh Networks
IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, BMSB 2021, Chengdu, China, August 4-6, 2021
Design of Two-Dimensional Non-uniform Constellations with Better Performance
Non-Uniform Constellations for Broadcast and Multicast in 5G New Radio
A technical analysis of digital television broadcasting in brazil
Co-existence of 5G and Meteorological Satellite Systems Using ITU-R Interference Analysis
An Attribute-Based Access Policy Mining Method Integrating Decision Trees and Clustering
Research on Distributed Routing Trusted Identity Authentication Technology
FLB: A Novel Video-on-Demand Broadcasting Scheme Over Channel Limitation
Collaborative D2D Cache System Based on SDN Network