yusuke1997/dblp-id-title huggingface dataset:
Linear spans of optimal sets of frequency hopping sequences
Sur les TOL - Systemes Unaires
The analogue of overlap-freeness for the Fibonacci morphism
Towards parametrizing word equations
Uniformly bounded duplication codes
Separating Words with Machines and Groups
On Languages Satisfying "Interchange Lemma"
Algorithme de Bareiss, algorithme des sous-résultants
Retrieving Library Functions by Unifying Types Modulo Linear Isomorphism
Réseaux Systoliques Pour des Problèmes de Mots
A Game Theoretical Approach to The Algebraic Counterpart of The Wagner Hierarchy: Part II
Cutwidth of iterated caterpillars
Computing the jth solution of a first-order query
The code problem for directed figures
A tight bound for exhaustive key search attacks against Message Authentication Codes
On the hardness of game equivalence under local isomorphism
On the complexity of the hidden weighted bit function for various BDD models
On maximal QROBDD's of Boolean functions
Three complexity functions
On winning shifts of marked uniform substitutions
Image encryption using novel chaotic map and cellular automata dynamics
Circular critical exponents for Thue-Morse factors
Un Interprète Lisp de La Programmation Fonctionnelle Réalisé Par des Combinateurs
Codes, Languages and MOL Schemes
Some remarks on entropic measure of connexion and Hamming distance
Lower space bounds for accepting shuffle languages
On the generation of discrete figures with connectivity constraints
The family of languages satisfying "Bar-Hillel's" lemma
Open shop scheduling with delays
On the Stack-Size of General Tries
Strategies to scan pictures with automata based on Wang tiles
The number of binary rotation words
Monotonous and Randomized Reductions to Sparse Sets
Sur Les Semi-Groupes Vérifiant Le Théorème de Kleene
Spécialisation de la suite de Sturm et sous-résulants
Maximal circular codes versus maximal codes
Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
Non-Générateurs Algébriques et Substitution
Foreword to the special issue dedicated to the sixteenth "Journées Montoises d'Informatique Théorique"
Rebalancing Operations for Deletions in AVL-Trees
Synchronization of Primitive Automata
Multidimensional Linear Congruential Graphs
A Theory of Complexity of Monadic Recursion Schemes
Énumération des permutations par nombre de marches
Betweenness of partial orders
A mixed theory of information. I: symetric, recursive and measurable entropies of randomized systems of events
Translation from classical two-way automata to pebble two-way automata
Sur Quelques Limitations des Algorithmes Dans Le Traitement des Suites
Verschränkte Homomorphismen Formaler Sprachen
On the Average Number of Registers Needed to Evaluate a Special Class of Backtrack Trees
Non-returning deterministic and nondeterministic finite automata with translucent letters
On a characteristic property of ARNOUX-RAUZY sequences
Méthodes D'Optimisation pour un Problème de Théorie des Nombres
Sure l'Émitation Itérative des Situations de Blocage dans un Système
Semi-commutations and partial commutations
On the growth rates of complexity of threshold languages
On the Periodicity of Morphisms on Free Monoids
Nested Sibling Tree Automata
Négation constructive et aximatique interne
The average scattering number of graphs
Notes on Finite Asynchronous Automata
Saturating right congruences
Undecidability of infinite post correspondence problem for instances of size 8
Characteristic formulae for timed automata
Immunity and Simplicity in Relativizations of Probabilistic Complexity Classes
An Application of m-Ary Trees to The Design of Data Structures for Geometric Searching Problems
Can we transform logic programs into attribute grammars?
Transducteurs Finis d'Arbres et Tests d'Égalité
Bidirectional string assembling systems
Some modifications of auxiliary pushdown automata
Language Classes Defined by Time-Bounded Relativised Cellular Automata
A Generalized Model of PAC Learning and its Applicability
A note on constructing infinite binary words with polynomial subword complexity
Reaction automata working in sequential manner
Lower Bounds on The Complexity of Real-Time Branching Programs
Meanders and Dyck-Path Billiards
Note sur les relations entre les racines d'un polynéme réductible (Text in French)
Towards a general principle of evaluation for approximation Algorithms
The Difference and Truth-Table Hierarchies for NP
On Shuffle Ideals
A periodicity property of iterated morphisms
Transcendence of numbers with an expansion in a subclass of complexity 2n+1
Séries Algébriques Solutions D'Équations Linéaires avec Opérateurs
A polynomial time algorithm for geodetic hull number for complementary prisms
On codes with finite interpreting delay: A defect theorem
Traceable Identity-Based Group Signature
Succession rules and deco polyominoes
Note sur l'Argebre des Fonctions
On avoidability of formulas with reversal
Fixpoint alternation: Arithmetic, transition systems, and the binary tree
Arbes infinis et systèmes d'équations
D0L sequence equivalence is in P for fixed alphabets
Upper bound for palindromic and factor complexity of rich words
On the Restricted Equivalence Subclasses of Propositional Logic
Comparaison Et Équivalence De Sémantiques Pour Les Schémas De Programmes Non Déterministes
Commutativity in Groups Presented By Finite Church-Rosser Thue Systems
On the classes of languages accepted by limited context restarting automata
Reducibilities on tally and sparse sets
Algorithmes universels
Computing the prefix of an automaton
Tree inclusion problems
Computing grammars and contex-sensitive languages
Packing of (0, 1)-matrices
Final dialgebras: From categories to allegories
An Analysis of Lambek's Production Machines
Note on the exponential recursive k -ary trees
On the Robustness of ALMOST- R
Linear automata with translucent letters and linear context-free trace languages
Formal Methods to Improve Public Administration Business Processes
EDT0L grammars with only one variable have tractable generating functions
Krohn-Rhodes complexity pseudovarieties are not finitely based
The Intersection Problem for Alphabetic Vector Monoids
Classes of two-dimensional languages and recognizability conditions
The determinacy strength of pushdown ω -languages
Analysis of algorithms for the recognition of rational and context-free trace languages
A uniform cube-free morphism is k -power-free for all integers k ≥ 4
Équivalence Entre la Famille des Ensembles Réguliers et la Famille des Ensembles Algébriques
CD-systems of stateless deterministic R(1)-automata governed by an external pushdown store
On an algorithm to decide whether a free group is a free factor of another
Weightreducing grammars and ultralinear languages
Relations of contextual grammars with strictly locally testable selection languages
Incorporating an Implicit Time Dimension Into the Relational Model and Algebra
Rétractions et interprétation interne du polymorphisme: problème de la rétraction universelle
Fibrations and Recursivity
On the size of transducers for bidirectional decoding of prefix codes
Monoïde Libre Et Musique: Deuxième Partie
Spanning trees with low crossing number
Une Extension des Langages Déterministes
Advice complexity of disjoint path allocation
Topologies on Free Monoids Induced by Closure Operators of a Special Type
A Novel Niederreiter-like cryptosystem based on the (u|u + υ)-construction codes
A Fast Algorithm to Decide on the Equivalence of Stateless DPDA
Deux Remarques sur un Théorème de S. Eilenberg
On a class of infiinitary codes
Emploi de Méthodes Constructives en Programmation. Un Dossier: La Fonction d'Ackermann
Factorisation Des Ensembles Préfixiels
Automatic sequences in negative bases and proofs of some conjectures of shevelev
Transductions de Forets Reconnaissables Monadiques Forets Coregulieres
Highly Undecidable Problems For Infinite Computations
A combinatorial theorem on p-power-free words and an application to semigroups
New bounds on the edge-bandwidth of triangular grids
Une Preuve Combinatiore de la Rationalité d'une Série Génératrice Associée aux Arbres
Separating complexity classes related to certain input oblivious logarithmic space-bounded turing machines
Dépliage D'un Graphe Pointe En Un Cactus
Sur Les Automates Circulaires et la Conjecture de Cerný
A Hierarchy That Does Not Collapse: Alternations in Low Level Space
Les I -types du système F
Sur l'Image, par une Transduction Rationelle, des Mots sur une Lettre
Analysis of an Algorithm to Construct Fibonacci Partitions
Data Types as Lattices: Retractions, Closures and Projections
A Remark on Morphic Sturmian Words
Skip Trees, an Alternative Data Structure to Skip Lists in a Concurrent Approach
A note on the paper "Disjunctive languages and compatible orders"
Les types de données syntaxiques du système F
Une Condition Suffisante de Reconnaissabilité Dans un Monoïde Partiellement Commutatif
On the D0L Repetition Threshold
Sur les monoïdes finis dont les groupes sont commutatifs
Introduction à l'algorithmique des objets partagés
Traced Premonoidal Categories
The Theory of Invertible Algorithms
Varieties of Finite Categories
Proposal for A Natural Formalization of Functional Programming Concepts
TTL: A formalism to describe local and global properties of distributed systems
Imre Simon: an exceptional graduate student
The Laterality Problem for Non-Erasing Turing Machines on {0, 1} is Completely Solved
A characterization of poly-slender context-free languages
An Almost Naive Algorithm for Finding Relative Neighbourhood Graphs in L p Metrics
Consensual languages and matching finite-state computations
On the hierarchy of Petri net languages
Well quasi-orders, unavoidable sets, and derivation systems
Census algorithms for chinese remainder pseudorank
Easy lambda-terms are not always simple
Inductive computations on graphs defined by clique-width expressions
p329 The µ-calculus alternation-depth hierarchy is strict on binary trees
Analysis of digital search trees incorporated with paging
Classes of Languages Proof Against Regular Pumping
On Some Context Free Languages That Are Not Deterministic ETOL Languages
Digital semigroups
Über die Darstellbarkeit des syntaktischen Monoïdes kontextfreier Sprachen
When input-driven pushdown automata meet reversiblity
Sublogarithmic Sigma 2 -Space is not Closed under Complement and Other Separation Results
Edit distance between unlabeled ordered trees
Characterization and lower bounds for addivive charges for heterogeneous questionnaires
Graphes canoniques de graphes algébriques
Une Double Hierarchie Infinie de Langages Verifiables
Indexed counter languages
Toward A Semantics for the Quest Language
Left-to-right regular languages and two-way restarting automata
Chronique sur la Théorie de l'Information
Efficient Distributed Algorithms by Using The Archimedean Time Assumption
Minimum parametric flow in time-dependent dynamic networks
The Reduction of Binary Trees by Means of an Input-Restricted Deque
Monoïde Libre Et Musique Première Partie: Les Musiciens Ont-Ils Besoin Des Mathématiques?
Signed Chip Firing Games and symmetric Sandpile Models on the cycles
Axiomatizing omega and omega-op powers of words
The complexity of weakly recognizing morphisms
On the Size of One-way Quantum Finite Automata with Periodic Behaviors
Une généralisation de la notion d'ensemble immune
Computing epsilon-free NFA from regular expressions in O(n log 2 (n)) time
Completing Codes
Complexité et automates cellulaires linéaires
Note sur la non-prinipalité de certains FAL
Shuffle binoids
Morphisms fixing words associated with exchange of three intervals
A note on graph coloring
Special issue in the honor of the 14th "Journées Montoises d'Informatique Théorique" - Foreword
Algorithm design and theoretical analysis of a novel CMM modular exponentiation algorithm for large integers
Quorum colorings of maximum cardinality in linear time for a subclass of perfect trees
A Note on NSPACE(log 2 n ) and Substitution
Termination checking with types
An Algorithm for the Solution of Fixed-Point Equations for Infinite Words
Space Classes, Intersection of Languages and Bounded Erasing Homomorphisms
Repetitive Strings are not Context-Free
On languages satisfying Ogden's lemma
Decimations and Sturmian Words
Capacity Improvement for DVB-NGH with Dual-Polarized MIMO Spatial Multiplexing and Hybrid Beamforming
Satellite Media Broadcasting with Adaptive Coding and Modulation
Evolutionary Game Theory-Based Evaluation of P2P File-Sharing Systems in Heterogeneous Environments
Enhancing the Security of Customer Data in Cloud Environments Using a Novel Digital Fingerprinting Technique
New Adaptive Algorithms for GOP Size Control with Return Channel Suppression in Wyner-Ziv Video Coding
Complexity Analysis of New Future Video Coding (FVC) Standard Technology
Decision Feedback Blind Equalizer with Tap-Leaky Whitening for Stable Structure-Criterion Switching
IPTV: Technology, Practice, and Service
An Adaptive Systematic Lossy Error Protection Scheme for Broadcast Applications Based on Frequency Filtering and Unequal Picture Protection
M2M Communications in the Smart Grid: Applications, Standards, Enabling Technologies, and Research Challenges
Video Data Integrity Verification Method Based on Full Homomorphic Encryption in Cloud System
Towards an Automatic Parameter-Tuning Framework for Cost Optimization on Video Encoding Cloud
On the Principles and Decisions of New Word Translation in Sino-Japan Cross-Border e-Commerce: A Study in the Context of Cross-Cultural Communication
QoS Supported IPTV Service Architecture over Hybrid-Tree-Based Explicit Routed Multicast Network
Multi-Resolution Multimedia QoE Models for IPTV Applications
Personalization of Mobile Multimedia Broadcasting
Real-Time DVB-MHP Interactive Data Transcoding to Blu-Ray
Interference Coordination for E-MBMS Transmissions in LTE-Advanced
Emerging Technologies, Infrastructures, and Applications for Video Streaming over Future Communication Networks
Acceptance Threshold: A Bidimensional Research Method for User-Oriented Quality Evaluation Studies
Visual Three-Dimensional Reconstruction of Aortic Dissection Based on Medical CT Images
Network-Aware Peer-to-Peer (P2P) and Internet Video
Mixed-Signal Parallel Compressive Spectrum Sensing for Cognitive Radios
Adaptive Image Compressive Sensing Using Texture Contrast
Broadcast Network Coverage with Multicell Cooperation
Performance and Implementation Evaluation of TR PAPR Reduction Methods for DVB-T2
Dynamic Soft Real-Time Scheduling with Preemption Threshold for Streaming Media
An Energy-Efficient Clustering Routing for Wireless Sensor Networks Based on Energy Consumption Optimization
An Interactive Holographic Multimedia Technology and Its Application in the Preservation and Dissemination of Intangible Cultural Heritage
An Efficient Periodic Broadcasting with Small Latency and Buffer Demand for Near Video on Demand
Statistical Time-Frequency Multiplexing of HD Video Traffic in DVB-T2
AL-FEC for Improved Mobile Reception of MPEG-2 DVB-T Transport Streams
Spectrum Sharing and Sensing for Future Broadband Networks: The Cognitive Radio Technology
Evolving the Convergence of Telecommunication and TV Services over NGN
Design and Implementation of a Mobile Multihop WSN for AGV System
A Novel Steganography Technique for SDTV-H.264/AVC Encoded Video
Monitoring Accessibility Services in Digital Television
Personalized Sports Video Customization Using Content and Context Analysis
Expected Transmission Energy Route Metric for Wireless Mesh Senor Networks
Minimizing Zapping Delay Using Adaptive Channel Switching with Personalized Electronic Program Guide
A Framework for an IP-Based DVB Transmission Network
Spatial Domain Resource Sharing for Overlapping Cells in Indoor Environment
A Convolutional Neural Network for Nonrigid Structure from Motion
An Occlusion Approach with Consistency Constraint for Multiscopic Depth Extraction
Design and Implementation of an Underwater Information Acquisition System Prototype Based on Optical Fiber Communication
Automatic Story Segmentation for TV News Video Using Multiple Modalities
Utilizing Context in Location-Aware Short-Range Wireless Communication
Automatic TV Broadcast Structuring
Extracting Moods from Songs and BBC Programs Based on Emotional Context
Interactive Digital Terrestrial Television: The Interoperability Challenge in Brazil
Creative Design and Technical Analysis of Animation Public Service Advertisement Based on Ant Colony Optimization Algorithm
Implementing a DVB-T/H Receiver on a Software-Defined Radio Platform
A Novel Preferential Diffusion Recommendation Algorithm Based on User's Nearest Neighbors
A Video Browsing Tool for Content Management in Postproduction
Nonconvex Optimization of Collaborative Multiband Spectrum Sensing for Cognitive Radios with Genetic Algorithms
Low-Light Image Enhancement Based on Guided Image Filtering in Gradient Domain
Implementing Statistical Multiplexing in DVB-H
Improvement of Image Compression by Changing the Mathematical Equation Style in Communication Systems
A Transmit Beamforming and Nulling Approach with Distributed Scheduling to Improve Cell Edge Throughput
Gaussian Pulse-Based Two-Threshold Parallel Scaling Tone Reservation for PAPR Reduction of OFDM Signals
Software-Defined Radio Demonstrators: An Example and Future Trends
Multiband Antennas for SDR Applications
Individual Channel Estimation in a Diamond Relay Network Using Relay-Assisted Training
Generalized Block-Diagonalization Schemes for MIMO Relay Broadcasting Systems
Resource Allocation with MAC Layer Node Cooperation in Cognitive Radio Networks
Collaborative Spectrum Sensing Optimisation Algorithms for Cognitive Radio Networks
Handheld Digital TV Performance Evaluation Method
Adaptive Probabilistic Broadcasting over Dense Wireless Ad Hoc Networks
Spatial Multiple Description Coding for Scalable Video Streams
Client-Driven Joint Cache Management and Rate Adaptation for Dynamic Adaptive Streaming over HTTP
On the Optimization of the IEEE 802.11 DCF: A Cross-Layer Perspective
Cognitive Radio for Smart Grid: Theory, Algorithms, and Security
Identification of Weakly Pitch-Shifted Voice Based on Convolutional Neural Network
Proposing Smart System for Detecting and Monitoring Vehicle Using Multiobject Multicamera Tracking
Block Iterative/Adaptive Frequency-Domain Channel Estimation for Cyclic-Prefixed Single-Carrier Broadband Wireless Systems
A Geometry-Inclusive Analysis for Single-Relay Systems
Rate-Distortion and Rate-Energy-Distortion Evaluations of Compressive-Sensing Video Coding
Short Video Copyright Storage Algorithm Based on Blockchain and Expression Recognition
Adaptive Streaming of Scalable Videos over P2PTV
Stationary Interference Cancellation in Upstream Coordinated DSL Using a Turbo-MMSE Receiver
A Safe and Secured Medical Textual Information Using an Improved LSB Image Steganography
Real-Time Communications in Large-Scale Wireless Networks
Performance Evaluation of an Object Management Policy Approach for P2P Networks
Iterative Decoding and Cross-Layering Techniques for Multimedia Broadcasting and Communications
MEL-IRIS: An Online Tool for Audio Analysis and Music Indexing
Context-Aware UPnP-AV Services for Adaptive Home Multimedia Systems
A Simple Scheme for Belief Propagation Decoding of BCH and RS Codes in Multimedia Transmissions
Multibody Nonrigid Structure from Motion Segmentation Based on Sparse Subspace Clustering
A Prediction Method of Mobile User Preference Based on the Influence between Users
Utility-Based Joint Routing, Network Coding, and Power Control for Wireless Ad Hoc Networks
Research of Simulation in Character Animation Based on Physics Engine
The Information Theoretic Approach to Signal Anomaly Detection for Cognitive Radio
Multi-Session Multicasting for 360-Degree Video Multicast over OFDMA Systems
Video Analysis, Abstraction, and Retrieval: Techniques and Applications
Software-Defined Radio and Broadcasting
On the QoS of IPTV and Its Effects on Home Networks
BVS: A Lightweight Forward and Backward Secure Scheme for PMU Communications in Smart Grid
Research on Wireless Positioning Technology Based on Digital FM Broadcasting
Efficient Wireless Broadcasting through Joint Network Coding and Beamforming
Bandwidth Reduction via Localized Peer-to-Peer (P2P) Video
Distributed Storage Manager System for Synchronized and Scalable AV Services across Networks
Digital Holographic Capture and Optoelectronic Reconstruction for 3D Displays
Research on Cloud Compression Codec Technology for Remote Production
Optimization of ATSC Mobile Handheld Service Capacity
Research on the Influence of Virtual Reality on the Learning Effect of Technical Skills of Science and Engineering College Students: Meta-Analysis Based on 32 Empirical Studies
Adjustable Two-Tier Cache for IPTV Based on Segmented Streaming
Model Aspects of Open Access to Multimedia Broadcast Services in the Evolved Packet System
Design of a VLSI Decoder for Partially Structured LDPC Codes
A Survey of Standardized Approaches towards the Quality of Experience Evaluation for Video Services: An ITU Perspective
Multi-Objective Genetic Algorithm for Task Assignment on Heterogeneous Nodes
Unsupervised Segmentation Methods of TV Contents
"Q-Feed" - An Effective Solution for the Free-Riding Problem in Unstructured P2P Networks
DASH Framework Using Machine Learning Techniques and Security Controls
A Software and Hardware IPTV Architecture for Scalable DVB Distribution
Phase-Shift Cyclic-Delay Diversity for MIMO OFDM Systems
Multiantenna Analog Network Coding for Multihop Wireless Networks
Secure and Reliable IPTV Multimedia Transmission Using Forward Error Correction
Challenges of Data Science Implementation in Indonesian Digital-Native Newsrooms: Detik.com and Kumparan
An Optimized Dynamic Scene Change Detection Algorithm for H.264/AVC Encoded Video Sequences
A Scalable Multiple Description Scheme for 3D Video Coding Based on the Interlayer Prediction Structure
Localized Multistreams for P2P Streaming
ipProjector: Designs and Techniques for Geometry-Based Interactive Applications Using a Portable Projector
Effectiveness of Feature Extraction by PCA-Based Detection and Naive Bayes Classifier for Glaucoma Images
Development and Simulation of a Fast Delay Cancellation Algorithm for Digital Multimedia Network Communication
Lossy Joint Source-Channel Coding Using Raptor Codes
PAPR Reduction Approach Based on Channel Estimation Pilots for Next Generations Broadcasting Systems
Loss-Aware CMT-Based Multipathing Scheme for Efficient Data Delivery to Heterogeneous Wireless Networks
An Analytical Multimodulus Algorithm for Blind Demodulation in a Time-Varying MIMO Channel Context
An Empirical Study on the Behavioral Intention of College Students' Online Ideological and Political Learning
Intra-Skip in Inter-Frame Coding of H.264/AVC
A Hybrid Approach to Assess the Network Awareness of P2P-TV Applications
Concept for Mobility and Interconnections Aspects in Converged NGN-Based IPTV Architecture
RTSP-based Mobile Peer-to-Peer Streaming System
Bandwidth Management in Wireless Home Networks for IPTV Solutions
Slow Motion and Zoom in HD Digital Videos Using Fractals
Multiview Shooting Geometry for Multiscopic Rendering with Controlled Distortion
A Cross-Layer Location-Based Approach for Mobile-Controlled Connectivity
Adaptive Geometry Images for Remeshing
Prior Knowledge-Based Event Network for Chinese Text
Live Broadcasting of High Definition Audiovisual Content Using HDTV over Broadband IP Networks
Robust MMSE Transceiver Designs for Downlink MIMO Systems with Multicell Cooperation
Advances in Video Coding for Broadcast Applications
Application of Improved Image Processing Technology in New Media Short Video Quality Improvement in Film and Television Postproduction
Near Real-Time Estimation of Super-resolved Depth and All-In-Focus Images from a Plenoptic Camera Using Graphics Processing Units
The Exploration of Network Coding in IEEE 802.15.4 Networks
Video Streaming Transfer in a Smart Satellite Mobile Environment
Development for Multisensor and Virtual Simulator-Based Automatic Broadcast Shooting System
PO-MPTCP: Priorities-Oriented Data Scheduler for Multimedia Multipathing Services
Building Automation Networks for Smart Grids
Multicamera Real-Time 3D Modeling for Telepresence and Remote Collaboration
Rate Adaptive Selective Segment Assignment for Reliable Wireless Video Transmission