yusuke1997/dblp-id-title huggingface dataset:
Linear regular languages - Part II : The problem of synthesis
Improved QR Code Localization Using Boosted Cascade of Weak Classifiers
Linear Time Ordering of Bins using a Conveyor System
Modeling a Domain in a Tutorial-like System Using Learning Automata
A maximum-selector design in Codd-ICRA cellular automaton
On the hierarchy of ν i -product
Low Level Conditional Move Optimization
Evaluated grammars
Parallel Communicating Watson-Crick Automata Systems
Information Extraction from Wikipedia Using Pattern Learning
Runtime Exception Detection in Java Programs Using Symbolic Execution
Exponential State Enclosure Techniques for the Implementation of Validated Model Predictive Control
On ν i -products of commutative automata
NP-Completeness Results Concerning the Transformation of Logic Programs into Attribute Grammars
Kleene Revisited by Suschkewitsch
Database Slicing on Relational Databases
Notes on the properties of dynamic programming used in direct load control
On some extensions of Indian parallel context free grammars
Computing Maximum Valued Regions
Symbiotic EOL Systems
On the incompleteness of proving partial correctness
Tree Transducers and Formal Tree Series
Limiting Distortion of a Wavelet Image Codec
Backprojection Reconstruction Algorithm Using Order Statistic Filters In Breast Tomosynthesis
Verified Interval Enclosure Techniques for Robust Gain Scheduling Controllers
Testing Internet Applications - Terminology and Applicability
Systems of linear equations over a bounded chain
Generation of the k-trees of a graph
Robust Clustering - Based Realtime Vowel Recognition
Hexagonal polyomino weak (1, 2)-achievement games
Employing Pythagorean Hodograph Curves for Artistic Patterns
Access Control of EHR Records in a Heterogeneous Cloud Infrastructure
A Note on Regular Strongly Shuffle-Closed Languages
Commutative Positive Varieties of Languages
A 1.6 Lower-Bound for the Two-Dimensional On-Line Rectangle Bin-Packing
Partitioning Graphs into Two Trees
Component-based Error Detection of P4 programs
An infinite hierarchy of tree transformations in the class NDR
New Descriptions of the Lovász Number, and the Weak Sandwich Theorem
Use of Petri nets for performance evaluation
Mathematische Fassung der sogenannten "Entscheidungs-Tabellen"
Short-circuited k-trees
Weighted Recognizability over Infinite Alphabets
Completeness in non-simple and stable modal logics
Infinite limits and R-recursive functions
Tree transformations and the semantics of loop-free programs
Toolset for Supporting the Research of Lattice Based Number Expansions
General products and equational classes of automata
Linear regular languages - Part I
Partition-Crossing Hypergraphs
INTERCELLAS an interactive cellular space simulation language
Boolean-Type Retractable Automata with Traps
The lexicographic decision function
InfoMax Bayesian Learning of the Furuta Pendulum
Experiences in Modelling Feature Interactions with Coloured Petri Nets
On Eigenvectors of the Pascal and Reed-Muller-Fourier Transforms
Phase Measurement Using DIC Microscopy
Lamred: Location-Aware and Privacy Preserving Multi-Layer Resource Discovery for IoT
Isomorphic Representation of Nondeterministic Nilpotent Automata
On the performance of on-line algorithms for partition problems
Software specification methods and attribute grammars
Reduction of Simple Semi-Conditional Grammars with Respect to the Number of Conditional Productions
A Parallel Interval Arithmetic-based Reliable Computing Method on a GPU
A probability model for priority processor-shared multiprogrammed computer systems
On Interval Observer Design for Continuous-Time LPV Switched Systems
Evaluating the Performance of Novel JWT Revocation Strategy
On Implementing Relational Databases on DNA Strands
Classification using a sparse combination of basis functions
Robust Control and Actuator Fault Detection Based on an Iterative LMI Approach: Application on a Quadrotor
Free Submonoids and Minimal ω-Generators of R ω
The Structure of Rooted Weighted Trees Modeling Layered Cyber-security Systems
An error-recovering form of DCGs
Weighted First-Order Logics over Semirings
In Memoriam Zoltán Ésik
Frontiers of one-letter languages
Topologies for the Set of Disjunctive oemga-words
Covering Morphisms and Unique Minimal D-Schemes
A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations
Keeping P4 Switches Fast and Fault-free through Automatic Verification
On Shuffe Ideals of General Algebras
Quasi-star-free Languages on Infinite Words
Quotient Complexity of Bifix-, Factor-, and Subword-free Regular Languages
Key and superkey for a closure function
The Influence of the Nonfunctional Requirements on the Data Model
In memory of László Kalmár
Prosper: Developing Web Applications Strongly Integrated with Prolog
Elimination of the Background of Electron Microscope Images by Using FPGA
On Nonpermutational Transformation Semigroups with an Application to Syntactic Complexity
On injective attributed characterization of 2-way deterministic finite state transducers
Identification of Multi-Faults in GNSS Signals using RSIVIA under Dual Constellation
On isomorphic metric equivalence of ν i
Type Inference of Simple Recursive Functions in Scala
Optimal Switching Instants for the Control of Hybrid Systems
Some results about keys of relational schemas
Deterministic ascending tree automata I
Quasioptimal Bound for the Length of Reset Words for Regular Automata
Lively3D: Building a 3D Desktop Environment as a Single Page Application
Some Problems Related to Keys and the Boyce-Codd Normal Form
Representation of automaton mappings in finite length
Recognizing Design Patterns in C++ Programs with the Integration of Columbus and Maisa
Storing the Quantum Fourier Operator in the QuIDD Data Structure
On Semi-Conditional Grammars with Productions Having either Forbidding or Permitting Conditions
Measure of Infinitary Codes
Online Clustering on the Line with Square Cost Variable Sized Clusters
A 3D Parallel Shrinking Algorithm
Recognizable Tree Series with Discounting
Dominant schedules of a steady job-flow pair
Partially Ordered Pattern Algebras
Simple deterministic machines
On Derivation Languages of a Class of Splicing Systems
Automata with Finite Congruence Lattices
Unusual Algorithms for Lexicographical Enumeration
Determining Initial Bound by "Ray-method" in Branch and Bound Procedure
Two-Step Simulations of Reaction Systems by Minimal Ones
Inferring pure context-free languages from positive data
Probabilistic Diagnostics with P-Graphs
Measurement and Optimization of Access Control Lists
Co-reference, Thematic, and Network Analysis of a Selected Hungarian Poem and Its English Translation (Füst Milán: A szőlőműves / The Vine-Dresser)
Sector Based Linear Regression, a New Robust Method for the Multiple Linear Regression
On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators
Evaluation Strategies of Fuzzy Datalog
Ambiguity, Nondeterminism and State Complexity of Finite Automata
On fully initial grammars with regulated rewriting
On ranges of compositions of deterministic root-to-frontier tree transformations
The complexity of coloring graphs without long induced paths
On the Exact Solution of the Euclidean Three-Matching Problem
XML Semantics Extension
An Empirical Study of Reconstructing hv-Convex Binary Matrices from Horizontal and Vertical Projections
Parallel Simulation of Spiral Waves in Reacting and Diffusing Media
Some Properties of Duplication Grammars
Conversion of continuous speech sound to articulation animation as an application of visual coarticulation modeling
Robustness of BitTorrent-like VoD Protocols
Note on the Work Function Algorithm
Locally synchronous cellular automata
Algorithm for constructing of university timetables and criterion of consistency of requirements
On the Garden-of-Eden problem for one-dimensional cellular automata
Fast Recognition of Natural Feature Identifiers by a Mobile Phone
Couverture irrédondante des fonctions booléennes définies par leurs monõmes vrais et faux - fonctions simultanées
Continuous Semiring-Semimodule Pairs and Mixed Algebraic Systems
Standardized Event Pair Based Test Generation Method Using TSS&TP
A note on data base integrity
Analysis of the Completion Time of Markov Reward Models
On commutative asynchronous nondeterministic automata
Estimating the Dimension of the Subfield Subcodes of Hermitian Codes
A Parallel Event System for Large-Scale Cloud Simulations in DISSECT-CF
Decidability results concerning tree transducers I
Various Communications in PC Grammar Systems
Constructive Model of the Natural Language
Proving the Stability of the Rolling Navigation
Improved Greedy Algorithm for Computing Approximate Median Strings
Linear deterministic attributed transformations
On Minimal and Maximal Clones II
Probability model for non-homogeneous multiprogramming computer system
EBE: a language for specifying the expected behavior of programs during debugging
Towards a Classification to Facilitate the Design of Domain-Specific Visual Languages
Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses using Dataflow Analyses
Automatic Calculation of Process Metrics and their Bug Prediction Capabilities
On Sperner families in which no 3 sets have an empty intersection
Giving mathematical semantics of nondeterministic and parallel programming structures by means of attribute grammars
On the Information Content of Semi-Structured Databases
Using Version Control Information to Visualize Developers' Knowledge
Finite State Evaluation of Logical Formulas : Jevons' Approach (1870) and Contemporary Description
On a Tour Construction Heuristic for the Asymmetric TSP
On the computation of union-extensions of finite semigroups
Methods for Relativizing Properties of Codes
Energy-Efficient Routing in Wireless Sensor Networks
ε-Sparse Representations: Generalized Sparse Approximation and the Equivalent Family of SVM Tasks
The work of Academician László Kalmár in the field of computer science
Motion Planning Algorithms for Stratified Kinematic Systems with Application to the Hexapod Robot
On Regular Characterizations of Languages by Grammar Systems
Eigenvalue Placement by Quantifier Elimination - the Static Output Feedback Problem
Pebble Alternating Tree-Walking Automata and Their Recognizing Power
Two transformations on attribute grammars improving the complexity of their evaluation
Extensions to the CEGAR Approach on Petri Nets
On a minimization algorithm for Boolean functions
A Lattice View of Functional Dependencies in Incomplete Relations
Modelling of Heterogeneous Multiprocessor Systems with Randomly Changing Parameters
Bounded Space On-Line Variable-Sized Bin Packing
Density of Tautologies in Logics with One Variable
On a representation of deterministic uniform root-to-frontier tree transformations
A 5 state solution of the early bird problem in a one dimensional cellular space
Rectangular Algebras as Tree Recognizers
On graphs satisfying some conditions for cycles, I
Strongly connected digraphs in which each edge is contained in exactly two cycles
Mobile Resource Management Load Balancing Strategy
Object-Oriented Model for Partially Seperable Functions in Parameter Estimation
Image reconstruction and correction methods in neutron and X-ray tomography
Gaze-based Cursor Control Impairs Performance in Divided Attention
Preserving two-tuple dependencies under projection
Taxonomy for Trade-off Problem in Distributed Telemedicine Systems
x86 Instruction Reordering for Code Compression
On the Characterization of the Integers: The Hidden Function Problem Revisited
Derivation of Incremental Equations for PNF Nested Relations
Asymptotically Minimal Contractors Based on the Centered Form
Iterated grammars
An Algorithmic Comparison of Three Scientific Impact Indices
On the closedness of nilpotent DR tree languages under Boolean operations
A modelling tool based on mathematical logic T-PROLOG
Ein Ansatz zum Entscheidungsverfahren für eine Formelklasse der Prädikatenlogik mit Identität
Reconstruction of Rooted Directed Trees
Performance Metrics Based Mobile Resource Management
Named Entity Recognition for Hungarian Using Various Machine Learning Algorithms
The Inventory Control Problem for a Supply Chain With a Mixed Type of Demand Uncertainty
Run length control in simulations and performance evaluation and elementary Gaussian processes
A language for Markov's algorithms composition
Rational representation of forests by tree automata
An Estimation of the Size of Non-Compact Suffix Trees
The probabilistic behaviour of the NFD Bin Packing algorithm
Initial and Final Congruences
Using Decision Trees to Infer Semantic Functions of Attribute Grammars
Natural Language Understanding: a New Challenge for Grammar Systems
VOSD: A General-Purpose Virtual Observatory over Semantic Databases
An Approach to the Quantitative Assessment of Retinal Layer Distortions and Subretinal Fluid in SD-OCT Images
Designing and Implementing Control Flow Graph for Magic 4th Generation Language
Improving Saturation-based Bounded Model Checking
Nondeterministic programming within the frame of first order classical logic, Part 2
Asymptotic Proportion of Hard Instances of the Halting Problem
RISC-V Based Hardware Acceleration of Interval Contractor Primitives in the Context of Mobile Robotics
Frames for protocol description
Reduction of traffic risks applying cybernetic methods
ℓ 1 Regularization of Word Embeddings for Multi-Word Expression Identification
Reconstruction of Unique Binary Matrices with Prescribed Elements
An Approximative and Semi-automated Method to Create MPEG-4 Compliant Human Face Models
P Systems with Communication Based on Concentration
Two Content Protection Schemes for Digital Items
Improvements of Hungarian Hidden Markov Model-based Text-to-Speech Synthesis
Confidence-based Contractor, Propagation and Potential Clouds for Differential Equations
A multi-visti charaterization of absolutely noncircular attribute grammars
Normal Forms and Minimal Keys in the Relational Datamodel
Deadlock problems of dynamic memory allocation on minicomputers with multi-level interrupt system
Network design problem: structure of solutions and dominance relations
Generalized Dependencies in Relational Databases
Visualisation of Jenkins Pipelines
A note on deadlocks
The finite source queueing model for multiprogrammed computer systems with different CPU times and different I/O times
Execution Time Reduction in Function Oriented Scientific Workflows
Das Prinzip der maximalen Entropie und seine Anwendung in der Codierungs- und Suchtheorie
Some remarks on the paper of K. Varga and P. Fejes
DFS is Unsparsable and Lookahead Can Help in Maximal Matching
Language extension in the HLP/SZ system
Parallel Asynchronous Computation of the Values of an Assotiative Function
Prediction of RoHCv1 and RoHCv2 Compressor Utilities for VoIP
A Note on Connection Between PNS and Set Covering Problems
Teams in Grammar Systems: Hybridity and Weak Rewriting
Symposium of Young Scientists on Intellignet Systems - Preface
On the semigroup of automaton mappings with finite alphabet
On the weak equivalence of Elgot's flow-chart schemata
On isomorphic representations of commutative automata with respect to α i -products
Some remarks on the algorithm of Lucchesi and Osborn
Automatic Test Selection based on CEFSM Specifications
A New Interval Arithmetic to Generate the Complementary of Contractors
On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence
Initial Algebra for a System of Right-Linear Functors
Discovering Associations in Very Large Databases by Approximating
Asymptotic analysis of some controlled finite-source queueing systems
A note on optimal performance of page storage
Phonetic Level Annotation and Segmentation of Hungarian Speech Databases
On alpha i -Products of Nondeterministic Tree Automata
Relationally defined clones of tree functions closed under selection or primitive recursion
On Armstrong Relations for Strong Dependencies
A Note on Intersection of Isotone Clones
On characteristic semigroups of Mealy automata
The Codac Library
Parameter Learning Online Algorithm for Multiprocessor Scheduling with Rejection
Improving the Construction of the DBM Over Approximation of the State Space of Real-time Preemptive Systems
Characterization of clones acting bicentrally and containing a primitive group
Various Robust Search Methods in a Hungarian Speech Recognition System
On the real-time recognition of formal languages in cellular automata
Languages Recognized by a Class of Finite Automata
Some results about functional dependencies
Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics
Some remarks on the chromatic number of the strong product of graphs
On a problem of Ádám concerning precodes assigned to finite Moore automata
Growth Functions and Length Sets of Replicating Systems
On the functional dependency and some generalizations of it
Sets of integers in different number systems and the Chomsky hierarchy
Incorporating Linkage Learning into the GeLog Framework
Endomorphisms of group-type quasi-automata
A New Concept of Effective Regression Test Generation in a C++ Specific Environment
Plagiarism Detection in Source Programs Using Structural Similarities
Invariants and String Properties in the Analysis of the Knuth-Morris-Pratt Algorithm
CD Grammar Systems and Trajectories
The solvability of the equivalence problem for deterministic frontier-to-root tree transducers
Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars
Determination of the structure of the class A(R, S) of (0, 1)-matrices
Weighted Languages Recognizable by Weighted Tree Automata
Geometric Distance Fields of Plane Curves
Local Weighted Tree Languages
Splitters and Barriers in Open Graphs Having a Perfect Internal Matching
A Lower Bound for On-Line Vector-Packing Algorithms
A Family of Fast Constant-Space Substring Search Algorithms
Quantification of Time-Domain Truncation Errors for the Reinitialization of Fractional Integrators
A new approach to defining software complexity measures
Learning Tree Patterns for Syntactic Parsing
Mining High Utility Itemsets in Massive Transactional Datasets
Quotient Complexities of Atoms in Regular Ideal Languages
GPU-Accelerated, Interval-Based Parameter Identification Methods Illustrated Using the Two-Compartment Problem
A Criterion for the Simplicity of Finite Moore Automata
A finite axiomatization of flowchart schemes
Heuristic for the 0-1 Min-Knapsack Problem
MedEdit: A Computer Assisted Image Processing and Navigation System for Orthopedic Trauma Surgery
One-Pass Reductions
Scalix Mix Network
Investigating the Behaviour of a Discrete Retrial System
A Fuzzy Approach for Mining Quantitative Association Rules
Sufficient Conditions for Order-Independency in Sequential Thinning
Iterative method for solving M/G/1//N-type loops with priority queues
Two-Way Metalinear PC Grammar Systems and Their Descriptional Complexity
Some Remarks on Functional Dependencies in Relational Datamodels
On DR Tree Automata, Unary Algebras and Syntactic Path Monoids
Effective Supervision of Students' Activity During Classroom Learning and Testing
Combined application of drawing and steepest descent in generating initial estimates for subsequent optimization
The Logic of Knights, Knaves, Normals and Mutes
Identifying Code Clones with RefactorErl
A solution of the early bird problem in an n-dimensional cellular space
Some Remarks On Generating Armstrong And Inferring Functional Dependencies Relation
Report on the Differential Testing of Static Analyzers
Filter Bank Design for Melody Recognition
Distinguishing Experiments for Timed Nondeterministic Finite State Machines
On the behavior of some cyclically symmetric networks
On some types of incompletely specified automata
A partial solution of the finite spectrum problem
Syntactic pattern recognition in the HLP/PAS system
A Novel Cryptosystem Based on Gluskov Product of Automata
A method for chronological ordering of archeological sites
Modelling a Sender-Receiver System
A new statistical solution for the deadlock problem in resource management systems
Traquest Model: A Novel Model for ACID Concurrent Computations
Two remarks on variants of simple eco-grammar systems
An On-line Speaker Adaptation Method for HMM-based Speech Recognizers
Fuzzy Extension of Datalog
Analysis of data flow for SIMD systems
On some algebraic properties of automata
Optimizing SAP Machine Learning-based Solutions through Custom API Integration
On isomorphic realization of automata with α 0 -products
Platform Independent Tool for Local Event Correlation
Regular Expressions for Muller Context-Free Languages
A Customised ASM Thesis for Database Transformations
YYY - A database design tool
On the worst-case performance of the NkF bin-packing heuristic
A Fixed Point Theorem for Stronger Association Rules and Its Computational Aspects
On Graphs with Perfect Internal Matchings
Normal-form transformations of context-free grammars
PC Grammar Systems with Separated Alphabets
Difference Functions of Dependence Spaces
A regular viewpoint on processes and algebra
On regular languages determined by nondeterministic directable automata
The Self-organizing List and Processor Problems under Randomized Policies
Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata
Eine verbandstheoretische Klassifikation der längentreuen Wortfunktionen
Indexed LL(k) Grammars
On the Interaction Between Closure Operations and Choice Functions with Applications to Relational Database
Some Properties of H-Functions
On the optimization of library information retrieval systems
Petri Net Controlled Grammars with a Bounded Number of Additional Places
The Metric Dimension of Two-Dimensional Extended Meshes
Data pictures on the desktop
On state grammars
On Shift Radix Systems over Imaginary Quadratic Euclidean Domains
Using Genetic Algorithms in Computer Vision: Registering Images to 3D Surface Model
Classifier Combination Schemes in Speech Impediment Therapy Systems
Descriptional Complexity of Multi-Continuous Grammars
A Universal Unification Algorithm Based on Unification-Driven Leftmost Outermost Narrowing
The activities of László Kalmár in the world of information technology
Logical definability of Y-tree and trellis systolic omega-languages
Classes of Tree Languages and DR Tree Languages Given by Classes of Semigroups
Computer simulation of the information preprocessing in the input of the cerebellar cortex
Analysis of Static and Dynamic Test-to-code Traceability Information
Time-dependent Network Algorithm for Ranking in Sports
Homogeneous event indexes
A simple shading for computer displayed surfaces
Langages écrits par un code infinitaire. Théorème du défaut
On the role of blocking in rewriting systems
On the complexity of codes and pre-codes assigned to finite Moore automata
On Binary Minimal Clones
Joint Optimization of Spectro-Temporal Features and Deep Neural Nets for Robust Automatic Speech Recognition
How Sufficient Conditions are Related for Topology-Preserving Reductions
A man-machine principle applied to human behavioural tests
Implementing Global Constraints as Graphs of Elementary Constraints
Quasisequentielle Funktionen
Limitations of Rule Triggering Systems for Integrity Maintenance in the Context of Transition Specifications
Relationships Between Closure Operations and Choice Functions - Equivalent Descriptions of a Family of Functional Dependencies
Interval Predictors for a Class of Uncertain Discrete-Time Systems
Certain operations with the sets of discrete states
On the index of concavity of neighbourhood templates
Patient Flow Analysis with a Custom Simulation Engine
How to Represent Meanings in an Ontology
Regularizing Context-Free Languages by AFL Operations: Concatenation and Kleene Closure
Komplexität von Erzeugen in Algebren
Combining Common Sense Rules and Machine Learning to Understand Object Manipulation
Investigations on Armstrong relations, dependency inference, and excluded functional dependencies
On Monogenic Nondeterministic Automata
Mathematical models for simulation of continuous grinding process with recirculation
On the Partitioning Algorithm
A Pumping Lemma for Output Languages of Attributed Tree Transducers