yusuke1997/dblp-id-title huggingface dataset:
Analyzing Subword Techniques to Improve English to Sinhala Neural Machine Translation
Intra-document Coreference Resolution: The state of the art
Building and Annotating the Linguistically Diverse NTU-MC (NTU - Multilingual Corpus)
Embarking on a Preliminary Exploration: Cross-Lingual Embedding in English-Manipuri
Effects of English Capitals on Reading Performance of Chinese Learners: Evidence from Eye Tracking
Lexical Simplification by Unsupervised Machine Translation
Defining the So-Called 'Core Vocabulary' - A Case Study of Chinese Textbooks
From collocation to idiomatic expression: The grammaticalization of hao phrases/constructions in Mandarin Chinese
XHK: The Grammar-based Lexical Semantic Knowledge base
A Feature-rich Supervised Word Alignment Model for Phrase-based Statistical Machine Translation
Approach to Robust Spoken Chinese Language Parsing
Quantification and the Garden Path Effect Reduction: The Case of the Universally Quantified NP
Acoustic Space, Duration and Formant Patterns in vowels of Bangkok Thai
Issue of Chinese Word Segmentation
An Overview of Metaphor Computation
The Research of the Pattern "High, low/short+Noun"
The Impact of Discovery Learning on Grammar Accuracy of Adult Elementary Iranian EFL Learners
How Jingran and Guoran Influence Temporal Relations in Mandarin Chinese: A Case of Semantics-pragmatics Interface
Maximal-Semantics-Augmented BertGCN for Text Classification
Categorical Perception of Lexical Tone in 6 to 8-year-old Monolingual and Bilingual Children
Automating Lexical Complexity Measurement in Chinese with WeCLECA
An Inquiry into Existential Constructions
Early Lexical Development by English-Chinese Bilinguals
Analyzing the Capabilities of a Hybrid Response Generation Model for an Empathetic Conversational Agent
The discourse function of the sentence with an indefinite NP subject
Research on the Sememe-Based Knowledge Representation Integrating Tibetan Features
A Hybrid Recommender System for Rating Prediction of Arabic Reviews
A Study on the Robustness of Pitch-Range Estimation from Brief Speech Segments
Improved Speech Command Classification System for Sinhala Language based on Automatic Speech Recognition
Evaluating Prosody of Mandarin Speech for Language Learning
Comprehension Correlates of the Occurrence and Deletion of "de" in Mandarin "N1 (de) N2" Structures
Rule-based Person Name Recognition for Xinjiang Minority Languages
Disentangling Content Information by Combining ASR and TTS Bottleneck Features for Voice Conversion
Estimating Machine Translation Quality of Any Input Sentence
Feature Integration and Dimension Reduction in Unit Selection TTS
The Development of Knowledge-base of Generalized Functional Words of Contemporary Chinese
Analyzing Long-Term Rhythm Variations in Mising and Assamese Using Frequency Domain Correlates
Decision Tree based Duration Prediction in Mandarin TTS System
On Adverb's Pragmatic Classification
Two Types of Pre-Verbal Anaphors in Chinese
An Uyghur Syntax Parser
Negative Marker bu in Chinese: its Nature and Features
Word Boundary Information and Chinese Word Segmentation
Improving Few-Shot Multi-Speaker Text-to-Speech Adaptive-Based with Extracting Mel-Vector (EMV) for Vietnamese
Multilingual Hybrid Text Processing in Ancient Uighur (Chaghatai) Digitalized System
Analysis and Selection of Prosodic Features for Asian Language Recognition
Keyword Search Based on Unsupervised Pre-Trained Acoustic Models
The Markup Guidelines for the Chinese-English Parallel Corpus of Peking University
Cross-Lingual Embeddings Using a Temporally Aligned Comparable Corpus: A Case Study For Manipuri-English
Top 2 at ALQAC 2024: Large Language Models (LLMs) for Legal Question Answering
A Novel Polyspectra-Based End Point Detector In Noisy Environments
The Derivation of Localizer "li" (in) from Spatial Meaning to State Meaning from the LCCM Perspective
Is the Language Change Gradual or Abrupt?
Identification of Boundaries of Object Clauses in Causative Verb Sentences in Modern Tibetan
Classifying Blog Posts with Tag Propagation
Refining Sentiment Predictions: Obtaining an Unbiased Business Sentiment Index from Japanese Newspapers
Perception of Mandarin Tones by Mandarin and English Listeners
A New Dictionary-based Word Alignment Algorithm
An Incremental Three-pass System Combination Framework by Combining Multiple Hypothesis Alignment Methods
A Study of Traditional Mongolian Script Encodings and Rendering: Use of Unicode in OpenType fonts
Reading Process of Arab Children: An Eye-Tracking Study on Saudi Elementary Students
Mandarin Rhythm: An Acoustic Study
The Effects of Chinese Perfective Aspect Marker le on the Simple Past Use in English Interlanguage
Collocation and Trillocation
A Cross-Lingual Speech Synthesis System of Malay and Indonesian Based on HMM-DNN
Improving Chinese Dependency Parsing with Auto-extracted Dependency Triples
Examining the Generalizability of English Cyberbullying Detection Models on Malay Informal Text Using Direct Translation
Sentiment Analysis Technologies in AliMe - An Intelligent Assistant for E-commerce
MSR-NLP Chinese Parser for Word Segmentation
Building the Big Platform of China Character Set
The specification of the Chinese Concept Dictionary
Lexicon as a Generating System: Restating the Case of Complex Word Formation in Chinese
Exploring the Processing of Japanese Compound Verbs: Evidence from Unmasked Priming Lexical Decision Task
Low-Resource Language Adaptation Using Two-Stage Regularization for Multilingual ASR
Chinese Word Sense Disambiguation Based on Lexical Semantic Ontology
Early Segmental Production in Thai Preschool Children Learning Mandarin
Exploiting entity-level morphology to Chinese nested named entity recognition
The Totality of Chinese Characters - A Digital Perspective
Document relevance calculation based on Lexical cohesion with structure analysis
Instruction Sequence Faults with Formal Change Justification
Interaction Structures for Communicating Processes
Monotonic Entropies
A Bottom-up Reconstruction of the Well-Founded Semantics for Disjunctive Logic Programs
Distributed Threads in Java
Inductive learning of attribute path values in typed-unification grammars
A Complete Axiomatisation for Probabilistic Trace Equivalence
Testing Theories for Broadcasting Processes
Synchronization Algorithms on Oriented Chains
Initial Logic and Induction in Algebraic Specification
A Parallel Version of a Multistep Method to Solve the Initial Value Problem
Magnetic Dynamical Systems
Timed Operational Semantics and Well-Formedness of Shape Calculus
Reflections on a Scientific Journal
Parallel Substitution on Words and Languages
(C4, Lotus) - free Berge Graphs Are Perfect
Concurrency-Degrees for P/T - Nets
A Flat Process Calculus for Nested Membrane Interactions
An Event Based Semantics of P Systems
Structured Operational Semantics for Graph Rewriting
A Process Algebra for Predictible Control Systems
On Activation, Connection, and Behavior in Dynamic Architectures
Specifications by quantifier-free theory of superlinear inequalities and complexity of its decidability
Program Algebra for Random Access Machine Programs
Desynchronizability of (Partial) Synchronous Closed Loop Systems
Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models
An Instruction Sequence Semigroup with Involutive Anti-Automorphisms
Constructing Energy-Efficient Broadcast Trees in Wireless Ad Hoc Networks
A Note on Congruences of Infinite Bounded Involution Lattices
Semidegenerate Congruence-modular Algebras Admitting a Reticulation
On Refinement in Rewriting Logic
The In-Out Rebalancing Flow Method for Maximum Flow Computation
ITW - An Architecture based on Distributed Web Components for Multimedia Resource Discovery
On Safety Properties and Their Monitoring
Dynamic Load Balancing Strategies for Parallel Computers
An Algebra of Hierarchical Graphs and its Application to Structural Encoding
The Theory of Finitely Supported Structures and Choice Forms
Reversibility in Massive Concurrent Systems
The Reciprocal Theorems Concerning the Chromatic Polynomial
Logic Programming with Built-in Object-Orientation
Unfould Transformations and Fixpoint Semantics for Disjunctive Deductive Databases
On the family of Conditional Generalized Dependencies
Probes Coordination Protocol for Network Performance Measurement
On Foundations of the Effective Computability Theory
The Consistency and Complexity of Multiplicative Additive System Virtual
Implementation of the Approximate String Matching Application on a Cluster of Heterogeneous Workstations
Boundary Control Approximation of a 1-Dimensional Hyperbolic Equations
Abstracting Asynchronous Multi-Valued Networks
A Cardinality Inverse Maximum Flow Problem
Weighted Context-Free Grammars Over Bimonoids
A class of adaptive recurrent neural networks and image enhacement
Describing weighted safety with weighted LTL over product omega-valuation monoids
A Tutorial on a Monadic Approach for Expressions Evaluation
Precautionary Logic and Ignorance Interval Transfer Mediated Inference
Instruction Sequences Expressing Multiplication Algorithms
Simultaneous Petri Net Synthesis
On strongly stable graphs and some consequences for partitionable graphs
Colourings and Orderings in a Graph
Imperative Process Algebra with Abstraction
Programming an Interpreter Using Molecular Dynamics
New Editorial Team
Modular Verification of Qualitative Pathway Models with Fairness
Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions
Summary Measurements and Screening Procedures in Clinical Trials: A Large Simulation Study
Time Interval Workflow Nets
Conditional Logic as a Short-Circuit Logic
On Hidden Algebra Semantics of Object Oriented Languages
Probabilistic Process Algebra and Strategic Interleaving
Formal Analysis of Android's Permission-Based Security Model,
On Complexity of Reachability of Transition Restricted Petri Nets
(Skew) Filters in Residuated Skew Lattices
SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME
A Dynamic Approach to the Three-Persons Cooperative Games
Generalized Communicating P Systems Working in Fair Sequential Mode
Corrections to "Reversible and Strict Reversible P/T-Systems"
On the "rep" construction into pi-nets
A Grand Master of Discrete Mathematics
First Hyper Zagreb Spectral Radii of Splitting and Shadow Graphs
A RDF Description of Distributed File Systems
Arithmetic and Boolean Operations on Recursively Run-Length Compressed Natural Numbers
Deriving M-polynomial Based Topological Descriptors of Oral Antiviral Clinical Drug Nirmatrelvir
Finding keys in particular classes of functional dependencies
Solving Optimization Problems using an ACS-based Approach
Shrinkage Estimators for the Intercept in Linear and Uplift Regression
Classification of certain cyclic LCD codes
An SCA-based Approach for Social and Pervasive Communications in Home Environments
Four Notions of Fault for Program Specifications
Identifying Almost Sorted Permutations from TCP Buffer Dynamics
On the Structure of the Romanian Relative Clauses
High-Level Koutny Net
Quasi-nonexpansivity and the Convex Feasibility Problem
Efficient Algorithm for Computing Inverse of Parametric Matrices
On the Distribution of Vertex Energy of Connected Non-Regular Non-Bipartite Integral Graphs with Maximum Vertex Degree Four
Indirect Jumps Improve Instruction Sequence Performance
Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic
Some Applications of the Minimal Coverability
Theoretical Aspects of Computing
A Survey of Testing for Instruction Sequence Theory
Cluster and Grid Computing for Solving Large Structural Biology Problems
A Convergence Proof of FGDLS when the Workload is Monotous
Algorithmics of Posets Generated by Words Over Partially Commutative Alphabets (Extended)
On Simulation of Poisson Processes to be used for Analyzing a Bivariate Scan Statistic
C-Perfect Graphs
Parallel Processing Approaches for Multi Disciplinary Optimization
Waiting Time and Delay in Modeling with Virtual Assembly Cells
Three Level Petri Nets Rule Based Reduction
A Provably Correct Compilation of Functional Languages into Scripting Languages
Probabilistic Thread Algebra
Co-determinism and unambiguity of automata accepting finite or infinite words
The Quick Check Pre-unification Filter for Typed Grammars: Further Advances
Hypercompositional Structures in the Theory of the Languages and Automata
New Editorial Team for SACS after 16 Years
Pattern Matching in Link Streams: Timed-Automata with Finite Memory
Belnap-Dunn Logic and Query Answering in Inconsistent Databases with Null Values
On Nirmala Indices of Some Hex-derived Networks of Type Three and Their Subdivision Networks
A Question Answering System for Italian Language
Basic Techniques for Creating an Efficient CSP Solver
UC and EUC Weak Bit-Commitments Using Seal-Once Tamper-Evidence
Algorithms for Optimally Computing in-line Visibility and Their Applications
Armstrong-like Relations for Functional Partition Dependencies
Overview of Thirty Semantic Formalisms for Reo
Interorganizational Workflows - an approach based on Level Petri Nets
Fixed-point Solutions for Ground Term Rewriting Systems
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes
Comparison of WebCom in the Context of Job Management Systems
Implementing the WebCam 2 Distributed Computing Platform with XML
Morphological Grammars
On Quantum-MV Algebras - Part I: The Orthomodular Algebras
Designing and Developing Multi-Agent Systems
On Strongly Stable Graphs and Some Consequences for Partitionable Graphs
Degree-based Topological Characterization and Graph Energy Prediction of Silicon Carbide Network Si2C3-I[k, l] via Double Graph Operator
Subvarieties of the Variety of Meadows
Authoring and Retrieving Tool for Multimedia E-Learning Tutorials using XML Techniques
Dataflow lambda-calculus
Topological Characterization of the Third Type of Triangular Hex-derived Networks
On Normalization of Petri Nets
On Well-Founded Models for Logic Programs
Iterative Algorithm for Construction of a Tree from its Pre-order and Post-order Traversals in Linear Time and Space
Distributed Simulation of Products Assembly
Cluster Analysis in Fuzzy Rule Base Reduction
A Precise Characterisation of Step Traces and Their Concurrent Histories
State Space Reduction for Dynamic Process Creation
Generalized Template Dependencies
Experience-based Ant Coloring (EAC) - A new ant-like graph-coloring algoritm
Synthesis of Petri Nets with Localities
Petri Nets for Biologically Motivated Computing
Agent-Client Interaction in a Web-Based E-Commerce System
Boolean Lifting Properties for Bounded Distributive Lattices
The Clique Structure of a Graph
RAA-Coherent Logics which are not RAA-Extended are Non-Monotonic
Professor Toader Jucan at Age 60
Non-Deterministic Finite Cover Automata
Maximal Existential and Universal Width
Tuplix Calculus
A structural property of monsters
On fully bracketed languages with finite selection
Further Remarks on P Systems with Symport Rules
Locality and Applications to Subsumption Testing in EL and Some of its Extensions
Tricky Errors in C Programs and Their Detection by Knowledge-Based Reverse Engineering
Standard Type Soundness for Agents and Artifacts
A Proposal for a Web Structural Search Language Based on XML Technologies
The special degree of a node in a graph
Secrecy for Security Protocols
Small Longest Tandem Scattered Subsequences
Three Theories of Computational Complexity Extended Abstract
Using XQuery Language for Retrieving Multimedia Information
Development Methodology of Multichannel Symmetric Block
Multi-Valued Stable Semantics for Logic Programs
On the Minimization and Succintness of Systolic Binary Tree Automata
Disjunction as Alternative Choices
An Ordering-Based Genetic Approach to Graph Coloring
Closse Approximations of Sigmoid Functions by Sum of Step for VLSI Implementation of Neural Networks
Neural Networks for Topological Sorting
The Reticulation of a Universal Algebra
A Calculus of Evolving Objects
On Semigroup-Semisuperboolean Algebras
On Instruction Sets for Boolean Registers in Program Algebra
Axioms for Behavioural Congruence of Single-Pass Instruction Sequences
Instruction Sequences with Indirect Jumps
An Optimum Lower Bound for the Weights of Maximum Weight Matching in Bipartite Graphs
Thread Extraction for Polyadic Instruction Sequences
RT-DIS-COM: a Protocol to Manage Distributed Real-Time Transaction Commit
Secret Sharing Schemes with Applications in Security Protocols
Enumerating Collinear Points in Higher Dimensions
An XML-based Object-Oriented Infrastructure for Developing Software Agents
A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences
Contract-Oriented Computing in CO2
Analyse Harmonique Qualitative des Processus Markoviens des Sauts Stationnaires
Errata to "Formations of Monoids, Congruences, and Formal Languages"
Outlier Generating Model: a new approach using Genetic Algorithms
Instruction Sequence Based Non-uniform Complexity Classes
Several Remarks on Dissimilarities and Ultrametrics
On Coverability Structures for Jumping Petri Nets
Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
Relation Based Controlled Petri Nets
Program Algebra for Turing-Machine Programs
Weighted Threshold Secret Sharing Based on the Chinese Remainder Theorem
Simulation Studies on Time Discrete Diffusion Approximation by the Splitting Up Method
Innocent Strategies as Presheaves and Interactive Equivalences for CCS
Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking
On the Relationship Between Matiyasevich's and Smorynski's Theorems
Mutually Exclusive Nuances of Truth in Moisil Logic
Preocupations for the Analysis of Water Distribution Systems
Gramars with Oracles
Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces
On Some Rado's Type Functions
Performance Analysis and Name Passing Errors in Probabilistic Fusion
A Modified Decomposition Algorithm for Maximum Weight Bipartite Matching and Its Experimental Evaluation
A Study on Centralizing Monoids with Majority Operation Witnesses
Degree-Based and Neighborhood Degree Sum-Based Entropy Measures of Molnupiravir
Agent-Client Interaction in a Web-based E-Commerce System
Decomposition of the Computation Area in the Parallel Implementation of the FDTD Algorithm
Dynamic Chromatic Number of Bipartite Graphs
A Recursive Method for Graph Scheduling
Buchberger Algorithm in Theorem Proving
A database for Dynamic Distributed Content and its Application
Binary Recursively Defined Objects
A Model for a lambda-calculus Extended for Dataflow Computation
Which Arithmetical Data Types Admit Fracterm Flattening?
Communication on the Fly in a System of Dynamic SMP Clusters
z-ideals in the semiring R + (L τ )
On Strongly Perfect Graphs and the Structure of Critically-Imperfect Graphs
GUBS, a Behaviour-Based Language for Design in Synthetic Biology
Applying MDE to ROS Systems: A Comparative Analysis
Interpreter-Based Approach to Generalized Matrix inversion
Three Algorithms and a Methodology for Amending Contracts for Choreographies
The Metric Dimension of Algebraic Constructed Graph of Dihedral Group Dn
Concurrency and Interaction in Complex Systems
Position Automata for Kleene Algebra with Tests
Formations of Monoids, Congruences, and Formal Languages
Maximizing the Number of Visible Labels on a Rotating Map
Impact of a Realistic Workload in Peer-to-Peer Systems. A Case Study: Freenet
New Results on Minimal Strongly Imperfect Graphs
Modified Sombor Spectral Radii and Modified Sombor Energies of Splitting and Shadow Graphs
Professor Calin Petru Ignat - Tribute in Honour of his 70th Birthday
Higher Order mz-elements in Coherent Quantales
Model Checking Delay Differential Equations Against Metric Interval Temporal Logic
Generalising KAT to Verify Weighted Computations
Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities
An Enhanced Fluid Registration for Image Multi-Frame Super Resolution
Modelling and Verification with Jumping Petri Nets
Submodularity Relations for the Independence Function of a Graph
Visibility Properties and Forbiden Holes in Graphs
Generation of Combinatorial Elements using Oop
Semigroups of RN-algorithms
Applications in Enumerative Combinatorics of Infinite Weighted Automata and Graphs
On Sharp Bounds of Fault-Tolerant Partition Dimension of Convex Polytopes
Concurrency-Degrees for Jumping Petri-Nets
A Translation of Weighted LTL Formulas to Weighted B{\" u}chi Automata over {\(\omega\)}-valuation Monoids
Results on the Collatz Conjecture
Timed Tuplix Calculus and the Wesseling and van den Bergh Equation
On the Speedup of Parallel Iterative Numerical Methods
Concurrent Negotiation Protocol for an Elevator Group Controller
A Teacher of Great Strengths
Complex Polynomial Near-Rings
Rely-Guarantee Based Reasoning for Message-Passing Programs
Some Results on Three-Persons Games with a Weighted Combination of Linear Entropic Criteria
Programming in Biomolecular Computation: Programs, Self-Interpretation and Visualisation
On Partition Metric Space, Index Function, and Data Compression
RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model
Derived-Term Automata of Multitape Expressions with Composition
Involutions on Relational Program Calculi
Homomorphism between AOMRC and Hoare Model of Deterministic Reconfiguration Processes in Reconfigurable Computing Systems
Approximation for Batching via Priorities
RNA-Editing with Combined Insertion and Deletion Preserves Regularity
Hardly perfect graphs
A User-Oriented Approach for the Protection of Statistical Databases
Quasi-Algebras versus Regular Algebras - Part I
A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction
A Unification-Based Model for Speech Generation
A Generalized Approach to Optimization of Relational Data Warehouses Using Hybrid Greedy and Genetic Algorithms
Discovery of Resourses for Distributed Application Execution in Dynamic Clusters
On the Computation of the Nucleous of Line-Graph Peer Group Games
Constructing Correct Communicating Systems
Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems
A Minimal Model Computation of the Generalized Disjunctive Well-Founded Semantics
Adams Conditioning and Likelihood Ratio Transfer Mediated Inference
Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation
Formalizing the Notions of Non-Interactive and Interactive Algorithms
Coalgebraic Weak Bisimulation for Action-Type Systems
Towards Interaction Reliability in Concurrent Applications
On Partial Pseudo-Stable Models For Logic Programs
On the Complexity of Propositional Calculus Formulae
Calcul symbolique pour l'obtention des solution exactes de l'Equation de Ginzburg-Landau
Genic Interaction Extraction from MEDLINE Abstracts - A Case Study
A Mathematical Model of Evolutionary Systems
Identifying and Querying Regularly Visited Places
What drives E-Health usage? Integrated institutional forces and top management perspectives
Adding contextual specificity to the technology acceptance model
Factors affecting the acceptance of information systems supporting emergency operations centres
Do millennial undergraduates' views of writing differ when surveyed online versus on paper?
Expert decision support system use, disuse, and misuse: a study using the theory of planned behavior
Correcting climate change misinformation on social media: Reciprocal relationships between correcting others, anger, and environmental activism
Leveraging Web 2.0 technologies to foster collective civic environmental initiatives among low-income urban communities
Understanding the intention to follow the advice obtained in an online travel community
Not easy to get off track: Motivational trajectories of learners completing a non-formal online course
Assessing Web interaction with recollection: Age-related and task-related differences
Privacy, trust and control: Which relationships with online self-disclosure?
Expert Cloud: A Cloud-based framework to share the knowledge and skills of human resources