yusuke1997/dblp-id-title huggingface dataset:
Multilingual Stutter Event Detection for English, German, and Mandarin Speech
WEBSOM Method - Word Categories in Czech Written Documents
Statecharts and SCXML for Dialogue Management
Analysis and Combination of Forward and Backward Based Decoders for Improved Speech Transcription
Neural Machine Translation for Morphologically Rich Languages with Improved Sub-word Units and Synthetic Data
Adaptive Speech Synthesis of Albanian Dialects
Simultaneously Trained NN-Based Acoustic Model and NN-Based Feature Extractor
Developing State-of-the-Art End-to-End ASR for Norwegian
A New Multi-modal Database for Developing Speech Recognition Systems for an Assistive Technology Application
A Methodology for Learning Optimal Dialog Strategies
Real Anaphora Resolution Is Hard - The Case of German
A Systematic Study of Open Source and Commercial Text-to-Speech (TTS) Engines
Current State of Text-to-Speech System ARTIC: A Decade of Research on the Field of Speech Technologies
Very Fast Keyword Spotting System with Real Time Factor Below 0.01
Segmentation of Complex Sentences
Scale-Free Characteristics of Multilingual Legal Texts and the Limitations of LLMs
Platon: Dialog Management and Rapid Prototyping for Multilingual Multi-user Dialog Systems
Linguistic Models Construction and Analysis for Satisfaction Estimation
Intelligibility Is More Than a Single Word: Quantification of Speech Intelligibility by ASR and Prosody
Deep Lexical Semantics
Disambiguation of Japanese Onomatopoeias Using Nouns and Verbs
Silence/Speech Detection Method Based on Set of Decision Graphs
Graph Convolutional Networks for Student Answers Assessment
Evaluation of Synthetic Speech by GMM-Based Continuous Detection of Emotional States
Indexing and Retrieval Scheme for Content-Based Multimedia Applications
Improving Patient Opinion Mining through Multi-step Classification
The Rule-Based Approach to Czech Grammaticalized Alternations
A Discriminative Segmental Speech Model and Its Application to Hungarian Number Recognition
SeqCondenser: Inductive Representation Learning of Sequences by Sampling Characteristic Functions
Identification of Noun-Noun Compounds in the Context of Speech-to-Speech Translation
Experiment with GMM-Based Artefact Localization in Czech Synthetic Speech
Speech and Sound Use in a Remote Monitoring System for Health Care
Phonetic Segmentation Using KALDI and Reduced Pronunciation Detection in Causal Czech Speech
Automatic Acquisition of a Slovak Lexicon from a Raw Corpus
Evaluation of Speech Representations for MOS Prediction
Borda-Based Voting Schemes for Semantic Role Labeling
Statistical and Neural Methods for Cross-lingual Entity Label Mapping in Knowledge Graphs
Analysis and Assessment of State Relevance in HMM-Based Feature Extraction Method
Speaker Identification Based on Vector Quantization
An Open Source Speech Synthesis Frontend for HTS
Speaker Normalization Via Springy Discriminant Analysis and Pitch Estimation
Database Processing for Spanish Text-to-Speech Synthesis
On the Impact of Non-speech Sounds on Speaker Recognition
Automatic Detection of Parkinson's Disease in Reverberant Environments
Using Auto-Encoder BiLSTM Neural Network for Czech Grapheme-to-Phoneme Conversion
Diction Based Prosody Modeling in Table-to-Speech Synthesis
Japanese How-to Tip Machine Reading Comprehension by Multi-task Learning Based on Generative Model
Exploiting the Translation Context for Multilingual WSD
Using Neural Coherence Models to Assess Discourse Coherence
Design of the Test Stimuli for the Evaluation of Concatenation Cost Functions
Applying Dialogue Constraints to the Understanding Process in a Dialogue System
Multilingual Media Monitoring and Text Analysis - Challenges for Highly Inflected Languages
Prefixal Morphemes of Czech Verbs
Situations in Dialogs
Few-Shot Cross-Lingual Aspect-Based Sentiment Analysis with Sequence-to-Sequence Models
2B$ - Testing Past Algorithms in Nowadays Web
Text-Independent Speaker Verification: The WCL-1 System
Statistical Properties of Overlapping Ambiguities in Chinese Word Segmentation and a Strategy for Their Disambiguation
Probabilistic Head-Driven Chart Parsing of Czech Sentences
LSTM-XL: Attention Enhanced Long-Term Memory for LSTM Cells
Statistical-Based Abbreviation Expansion
The Prague Dependency Treebank: Crossing the Sentence Boundary
Ranking Machine Translation Systems via Post-editing
Realistic Face Animation for a Czech Talking Head
Using Alliteration in Authorship Attribution of Historical Texts
Web-Based System for Automatic Reading of Technical Documents for Vision Impaired Students
Sentence Classification with Grammatical Errors and Those Out of Scope of Grammar Assumption for Dialogue-Based CALL Systems
Dysphonia Diagnosis Using Self-supervised Speech Models in Mono and Cross-Lingual Settings
Computing Patient Similarity Based on Unstructured Clinical Notes
Performing Adaptive Morphological Analysis Using Internet Resources
The Structure of a Discontinuous Dialogue Formed by Internet Comments
Building Multilingual Speech Corpora from Interpreted Spontaneous Dialogues on the Net
Fine-Tuning BERT for Generative Dialogue Domain Adaptation
Morphological Aanalyzer for the Tunisian Dialect
Language Independent Evaluation of Translation Style and Consistency: Comparing Human and Machine Translations of Camus' Novel "The Stranger"
An Empirical Analysis of Discrete Unit Representations in Speech Language Modeling Pre-training
French-German Bilingual Acoustic Modeling for Embedded Voice Driven Applications
Detecting and Correcting Errors in an English Tectogrammatical Annotation
The Joint Optimization of Spectro-Temporal Features and Neural Net Classifiers
Revealing Prevailing Semantic Contents of Clusters Generated from Untagged Freely Written Text Documents in Natural Languages
Linguistic Adaptation in Semi-natural Dialogues: Age Comparison
Methods of Sentences Selection for Read-Speech Corpus Design
Web Text Data Mining for Building Large Scale Language Modelling Corpus
Automatic Classification of Types of Artefacts Arising During the Unit Selection Speech Synthesis
The Acquisition of Some Lexical Constraints from Corpora
An In-Car Speech Recognition System for Disabled Drivers
Are We There Yet? Research in Commercial Spoken Dialog Systems
The ATRACT Workbench: Automatic Term Recognition and Clustering for Terms
Automatic Evaluation of Pathologic Speech - from Research to Routine Clinical Use
The Influence of Errors in Phonetic Annotations on Performance of Speech Recognition System
Evaluating Distributional Features for Multiword Expression Recognition
Introduction of Semantic Model to Help Speech Recognition
Divergences in the Usage of Discourse Markers in English and Mandarin Chinese
Two-Level Fusion to Improve Emotion Classification in Spoken Dialogue Systems
An Analysis of Conditional Responses in Dialogue
The Szeged Treebank
A New State-of-The-Art Czech Named Entity Recognizer
An Integrated Statistical Model for Tagging and Chunking Unrestricted Text
Automatic Speech Recognition Texts Clustering
Text Classification with Tournament Methods
Extended Hidden Vector State Parser
On the First Greek-TTS Based on Festival Speech Synthesis
A Common Solution for Tokenization and Part-of-Speech Tagging
Empathy and Persona of English vs. Arabic Chatbots: A Survey and Future Directions
Derivancze - Derivational Analyzer of Czech
Phonation and Articulation Analysis of Spanish Vowels for Automatic Detection of Parkinson's Disease
Optimizing Sentence Boundary Detection for Croatian
Investigating the Impact of Pre-trained Word Embeddings on Memorization in Neural Networks
A Pattern-Based Methodology for Multimodal Interaction Design
Automatic Pitch-Synchronous Phonetic Segmentation with Context-Independent HMMs
Towards an Accurate Domain-Specific ASR: Transcription for Pathology
Named Entity Recognition for Highly Inflectional Languages: Effects of Various Lemmatization and Stemming Approaches
CzEng 1.6: Enlarged Czech-English Parallel Corpus with Processing Tools Dockered
Effective FAQ Retrieval and Question Matching Tasks with Unsupervised Knowledge Injection
Study on Phrases Used for Semi-automatic Text-Based Speakers Names Extraction in the Czech Radio Broadcasts News
Automatic Scoring of a Sentence Repetition Task from Voice Recordings
Online Speaker Diarization Using Optimized SE-ResNet Architecture
Training Maxout Neural Networks for Speech Recognition Tasks
Dependency and Phrasal Parsers of the Czech Language: A Comparison
Text, Speech and Dialogue - 15th International Conference, TSD 2012, Brno, Czech Republic, September 3-7, 2012. Proceedings
A Text Based Talking Face
Hybrid HMM/BLSTM-RNN for Robust Speech Recognition
Structural and Semantic Dialogue Filters
Using Prosody for Automatic Sentence Segmentation of Multi-party Meetings
Hard-Testing the Multi-stream Approach to Automatic Speech Recognition
Age Determination of Children in Preschool and Primary School Age with GMM-Based Supervectors and Support Vector Machines/Regression
Are Morphosyntactic Taggers Suitable to Improve Automatic Transcription?
Deep Learning and Online Speech Activity Detection for Czech Radio Broadcasting
LIUM ASR System for ETAPE French Evaluation Campaign: Experiments on System Combination Using Open-Source Recognizers
A Study on Speech with Manifest Emotions
Coreference in English OntoNotes: Properties and Genre Differences
Building Korean Classifier Ontology Based on Korean WordNet
Transformer-Based Automatic Speech Recognition of Formal and Colloquial Czech in MALACH Project
Automated Speaking Assessment for L2 Learners of Czech
Combining Multiple Resources to Build Reliable Wordnets
The Utility of Semantic-Pragmatic Information and Dialogue-State for Speech Recognition in Spoken Dialogue Systems
Lexicon-based vs. Lexicon-free ASR for Norwegian Parliament Speech Transcription
Accurate Unlexicalized Parsing for Modern Hebrew
Language Modeling with Linguistic Cluster Constraints
First Steps in Czech Entity Linking
Classification of Prosodic Phrases by Using HMMs
Speech Recognition and Syllable Segments
Algorithms for Dysfluency Detection in Symbolic Sequences Using Suffix Arrays
Russian Phonetic Variability and Connected Speech Transcription
Identifying Expressions of Emotion in Text
ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings
Introducing Hyper-Z - A New Approach to Object Orientation in Z
Testing Refinements by Refining Tests
An Object-Oriented Development Framework for Z
Data Flow Diagrams and Z
A Formal Mapping between UML Models and Object-Z Specifications
Operation Schema Iterations
Domains of Application for Formal Methods
An Event-B Formal Model for Access Control and Resource Management of Serverless Apps
The Mechanical Lung Ventilator Case Study
Component Reuse in B Using ACL2
A Tale of Two Paradigms: Formal Methods and Software Testing
Reconstruction of TLAPS Proofs Solved by VeriT in Lambdapi
From Object-Z to C++: A Structural Mapping
Checking Z Data Refinements Using an Animation Tool
Designing Critical Systems Using Hierarchical STPA and Event-B
Techniques for Partial Specification and Specification of Switching Systems
Composing Specifications Using Communication
A Generalisation of Bags in Z
The Proved Construction of a Protocol with an Example Inspired by the Paxos Protocol
Producing Z Specifications from Object-Oriented Analysis
OOZE
Interpretations of Z Schema Operations
Innovations in the Notation of Standard Z
Loose Observation in Event-B
Structured Analysis - A Draft Method for Writing Z Specifications
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement
Slicing Object-Z Specifications for Verification
Analysis of Compiled Code: A Prototype Formal Model
Using Diagrams to Give a Formal Specification of Timing Constraints in Z
Synchronized Parallel Composition of Event Systems in B
Are Smart Cards the Ideal Domain for Applying Formal Methods?
Z ++
On The Road Again (Safely): Modelling and Analysis of Autonomous Driving with Stark
Multi-model Animation with JeB
Structuring Z Specifications: Some Choices
On the Semantic Relation of Z and HOL
Formal Security Policy Modelling
Alloy: A Logical Modelling Language
Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings
Using Formal Specification in the Acquisition of Information Systems: Educating Information Systems Professionals
Specifying Real-Time Systems with Z and the Duration Calculus
A Lean Reflective Abstract State Machine Definition
Mathematical Proofs and Moving Trains: The Double Life of Atelier B
AMAN Case Study
Extending W for Object-Z
Alloy Goes Fuzzy
Equal Rights for Schemas in Z
Modelling an Automotive Software System with TASTD
Generalised Substitution Language and Differentials
Requirements as Conjectures: Intuitive DVD Menu Navigation
Encoding Object-Z in Isabelle/HOL
Z--, an Executable Subset of Z
PRG Archive Server
Exploration of Reflective ASMs for Security
Towards a Z Method: Axiomatic Specification in Z
Visualising Concurrent Z Specifications
Non-atomic Refinement in Z and CSP
Parallel Hardware Design in B
Probabilistic Termination in B
Preliminary Experience Using Z to Specify a Safety-Critical System
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing
Reuse of Specification Patterns with the B Method
Structured methodologies & formal notations: Developing a framework for synthesis and investigation
Automating Test Case Generation from Z Specifications with Isabelle
Animation of Object-Z Specifications with a Set-Oriented Prototyping Language
Polarized Rewriting and Tableaux in B Set Theory
The Semantics of Circus
Integrating VDM++ and Real-Time System Design
Programming in Java with Restricted Intensional Sets
Towards Correct Executable Semantics for Z
Comp.specification.z and Z FORUM Frequently Asked Questions
How to Drive a B Machine
A Framework for Formal Verification and Validation of Railway Systems
From Z Specifications To Functional Implementations
A Message Passing System. An example of combining CSP and Z
Interference Revisited
An Approach to the Design of Distributed Systems with B AMN
From Programs to Z Specifications
Mental Models of Z: I - Sets and Logics
Why an Object Oriented Z?
Formal Derivation of Spanning Trees Algorithms
Network Topology and a Case Study in TCOZ
Compositional Verification for Object-Z
Structure, Algebras and Metrics
On the Use of Formal Specifications in the Design and Simulation of Artificial Neural Networks
Minimisation in Formal Specification and Design
A Modeling and Verification Framework for Ethereum Smart Contracts
Z and HOL
Real-Time CCSL: Application to the Mechanical Lung Ventilator
An Approach to Object-Oriented Specification Using Z
Formaliser - An Interactive Support Tool for Z
Using Z to Develop a CASE Toolset
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development
The Challenge of Probabilistic Event B - Extended Abstract
Recursive Schema Definitions in Object-Z
Validation by Abstraction and Refinement
Semantics Formalisation - From Event-B Contexts to Theories
zedB: A Proof Tool for Z Built on B
ZML: XML Support for Standard Z
Visualising Larger State Spaces in Pro B
Using Coupled Simulations in Non-atomic Refinement
On Recursive Free Types in Z
Software Construction by Stepwise Feature Introduction
Using Yourdon and Z: an Approach to Formal Specification
How to Diagnose a Modern Car with a Formal B Model?
Verifying HyperLTL Properties in Event-B
Implementing Z in Isabelle
Weak Refinement in Z
Cleanroom and Z
Equational Logic: A Great Pedagogical Tool for Teaching a Skill in Logic
Using B Refinement to Analyse Compensating Business Processes
Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings
Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations
Modeling and Verifying an Arrival Manager Using Event-B
The Z-into-Haskell Tool-Kit: An Illustrative Case Study
Modal Extensions of the Logic of Abstract State Machines
The Specification and Refinement of an Environmental Model
HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z
"Higher-Order" Mathematics in B
Analyzing a Real-Time Program with Z
Operation Refinement and Monotonicity in the Schema Calculus
Verifying Event-B Hybrid Models Using Cyclone
Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems
Plain Guide to the Z Base Standard
Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989
Z and Abstract Machine Notation: A Comparison
Select Z Bibliography
Z Tools Catalogue
Metrics and Measurement of Specifications Written in Z
Compositional Specification of Controllers for Batch Process Operations
On Perfect Matchings for some Bipartite Graphs
Enhancing Decision-Making Safety in Autonomous Driving Through Online Model Checking
Towards Coq Formalisation of {log} Set Constraints Resolution
A Survey of Z Courses in the UK
Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants
Designing Exception Handling Using Event-B
Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z
Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference, SETS@ABZ 2018, Southamptom, UK, June 5, 2018
Playing with Abstraction and Refinement for Managing Features Interactions
Meta-programming Event-B - Advancing Tool Support and Language Extensions
Rigorous State-Based Methods - 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings
Segregation with Communication
ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings
Transpilation of Petri-nets into B - Shallow and Deep Embeddings
Z Browser - A Tool for Visualization of Z Specifications
Experiments with the Z Interchange Format and SGML
A Theory of Generalised Substitutions
Experience with Z Developing a Control Program for a Radiation Therapy Machine
Translating Event-B Models and Development Proofs to TLA+
Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z
Mechanizing Formal Methods: Opportunities and Challenges
Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings
Specifying Reactive Systems in B AMN
A Practical Method for Rigorously Controllable Hardware Design
Small Step Incremental Verification of Compilers
Analyzing and Refining an Architectural Style
The Formal Specification in Z of Defence Standard 00-56
Loose Specification and Refinement in Z
Characters + Mark-up = Z Lexis
Zzzzzzzzzzzzzzzzzzzzzzzzzz
A Formal OO Method Inspired by Fusion and Object-Z
A Video-based Training Course in Reading Z Specifications
ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings
Object-Oriented Specification of Hybrid Systems Using UML h and ZimOO
Combining Specification Techniques for Processes, Data and Time
Retrenchment and the B-Toolkit
Handling Inconsistencies in Z Using Quasi-Classical Logic
Z! in Progress: Maintaining Z Specifications
Z User Workshop, London, UK, 14-15 December 1992, Proceedings
Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z
When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets
Visualizing Z Notation in HTML Documents
An Analysis of Forward Simulation Data Refinement
Improving Software Tests Using Z Specifications
A Formal Architecture for the 3APL Agent Programming Language
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context
Opening address: The state of use of Formal Methods
Z on the Web Using Java
Formal Modelling and Reasoning on Assurance Cases Expressed with GSN in Event-B
Fermenting and Distilling
State-Based Modelling with a Concept DSL
Modular Object-oriented Z Specifications
Introducing Inductive Construction in B with the Theory Plugin
Types and Sets in Gödel and Z
An International Survey of Industrial Applications of Formal Methods
Taking Z Seriously
Object Orientation without Extending Z
Compilation of Z Specifications into C for Automatic Test Result Evaluation
Typechecking Z
Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ
Practical Data Refinement for the Z Schema Calculus
Z for Managed Objects
Refining Database Systems
Z Expression of Refinable Objects
Using the Rippling Heuristic in Set Membership Proofs
Event-B as DSL in Isabelle and HOL Experiences from a Prototype
Towards an End-to-End Toolchain for Traceable and Verifiable Railway Signalling Specifications
On Free Type Definitions in Z
Pattern-Based Refinement Generation Through Domain Specific Languages
The Z/EVES System
Language-Free Mathematical Methods for Software Design
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints
Proof Construction and Checking on Evolving Abstract State Machines
Formal Derivation of Finite State Machines for Class Testing
A Formal Approach to Software Design: The Clepsydra Methodology
Type Synthesis in B and the Translation of B to PVS
Modelling and Analysing a Mechanical Lung Ventilator in mCRL2
Formal Methods and Tools Applied in the Railway Domain
Automatically Generating Information from a Z Specification to Support the Classification Tree Method
Reconciling Axiomatic and Model-Based Specifications Using the B Method
Some Guidelines for Formal Development of Web-Based Applications in B-Method
S/370 Tool Expo - Z Toolset
A Generic Process to Refine a B Specification into a Relational Database Implementation
Model-Based Testing of Non-deterministic Systems
Inconsistency and Undefinedness in Z - A Practical Guide
Object Orientation in Z
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z
On Using Conditional Definitions in Formal Theories
Engineering Human-Error Tolerant Software
Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory
From Z to Code: A Graphical User Interface for a Radiostation Therapy Machine
Translating the OMT Dynamic Model into Object-Z
TLZ
Process Refinement in B
ZOOM Workshop Report
An Introduction to the Event Calculus
The French Population Census for 1990
Timed CSP and Object-Z
The Knuth-Bendix Completion Algorithm and Its Specification in Z
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code
Preliminary Evaluation of a Formal Approach to User Interface Specification
Practical Experiences of Z and SSADM
A Logic for the Schema Calculus
Experiences with PiZA, an Animator for Z
An Improved Recipe for Specifying Reactive Systems in Z
A Set-Based Reasoner for the Description Logic DL 4, x D
A Case Study in Representing a Model: to Z or not to Z?
Using Z to Rigorously Review a Specification of a Network Management System
Retrenchment, Refinement, and Simulation
Teaching Programming as Engineering
Educating Management in Z
Reuse and Adaptation of Z Specifications
Program Development and Specification Refinement in the Schema Calculus
ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
Model Checking Z Specifications Using SAL
Deriving Software Specifications from Event Based Models
Software Products and Training Courses
Animating Z Specifications in SQL*Forms 3.0
Weakening Goals in Logical Specifications
A Formal Specification in B of a Medical Decision Support System
Formal Methods Courses
Towards Libraries for Z
An Extension of Event B for Developing Grid Systems
Using B to Specify, Verify and Design Hardware Circuits
Refinement and Reachability in Event B
Obtaining Structural Metrics of Z Specifications for Systems Development
Using Deep Ontologies in Formal Software Engineering
Verification of Autonomous Neural Car Control with KeYmaera X
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study
SAZ
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions
A Computation Model for Z Based on Concurrent Constraint Resolution