yusuke1997/dblp-id-title huggingface dataset:
Phonetic correlates of self-repair involving word repetition in German spontaneous speech
The intentionality of disfluency: Findings from feedback and timing
Simulations of the types of disfluency produced in spontaneous utterances by fluent speakers, and the change in disfluency type seen as speakers who stutter get older
Disfluency in speech input to infants? the interaction of mother and child to create error-free speech input for language acquisition
Different sources of lexical bias and overt self-corrections
Acoustico-phonetic characteristics of filled pauses in spontaneous French speech: preliminary results
On the functions of the vocalic hesitation euh in interactive man-machine question answering dialogs in French
Prolongations: A dark horse in the disfluency stable
Perception of disfluency in people who stutter and people who do not stutter: Results from magnitude estimation
Dialogue moves and disfluency rates
The double function of disfluency phenomena in spontaneous speech
Contextual effects in recognizing reduced words in spontaneous speech
Gesture as an indicator of early error detection in self-monitoring of speech
Repair-initiating particles and um-s in Estonian spontaneous speech
Self-monitoring is the main cause of lexical bias in phonological speech errors
Salientizing the breaks in talk: a study of Japanese segmentizing
Prolongation in Italian
Phrase-final rise-fall intonation and disfluency in Japanese - a preliminary study
Characteristics of final part-word repetitions
Improvement of verbal behavior after pharmacological treatment of developmental stuttering: a case study
A cross-linguistic look at VP-ellipsis and verbal speech errors
Prosodic cues of spontaneous speech in French
6th Workshop on Disfluency in Spontaneous Speech, DiSS 2013, Stockholm, Sweden, August 21-23, 2013
Pauses in speech by French speakers with Down Syndrome
The usage of fillers at discourse segment boundaries in japanese lecture-style monologues
Disfluencies as a window on cognitive processing. an analysis of silent pauses in simultaneous interpreting
How consistent are non-native speakers in their usage of filler particles when talking to native speakers?
Repairs and repetitions in spontaneous Mandarin
Prediction of F 0 height of filled pauses in spontaneous Japanese: a preliminary report
Some strategies in prolonging speech segments in spontaneous Japanese
Disfluency and speech recognition profile factors
Self-monitoring as reflected in identification of misspoken segments
The effect of directed and open disambiguation prompts in authentic call center data on the frequency and distribution of filled pauses and possible implications for filled pause hypotheses and data collection methodology
Analysis of prosodic features for end-of-utterance prediction in spontaneous Japanese
Influence of manipulation of short silent pause duration on speech fluency
Workshop on Disfluency in Spontaneous Speech, DiSS 2023, Bielefeld, Germany, August 28-30, 2023
Anti-zero pronominalization: when Japanese speakers overtly express omissible topic phrases
Disfluencies and uncertainty perception - evidence from a human - machine scenario
Analysis of parenthetical clauses in spontaneous Japanese
Choosing a threshold for silent pauses to measure second language fluency
Is disfluency just difficulty?
Automatic structural metadata identification based on multilayer prosodic information
Disfluency patterns in dialogue processing
Fluency: Time for a Paradigm Shift
Listeners' ERP responses to false starts and repetitions in spontaneous speech
Evaluation of a robust parser for spoken Japanese
Extracting the acoustic features of interruption points using non-lexical prosodic analysis
Autism and the use of fillers: differences between 'um' and 'uh'
Voice activity detection based on combination of weighted sub-band features using auto-correlation function
Cultural differences of gaps and overlapping speech in political interviews
Assessing sentence repetition and narrative speech data produced by hearing-impaired and normally hearing children
A socio-phonetic analysis of Taiwan Mandarin interview speech
The interplay between speech fluency and gesture in L1 Finnish and L2 English task-based interactions
In dialogue with a desktop calculator: A concurrent stream processing approach to building simple conversational agents
Optional that indicates production difficulty: evidence from disfluencies
Disfluency markers and their facial and gestural correlates. preliminary observations on a dialogue in French
Utterance-initial elements in Japanese: a comparison among fillers, conjunctions, and topic phrases
An annotation scheme for syntactic unit in Japanese dialog
Meaning and use: a pragmatic and prosodic analysis of interjections in conversational speech
Gesture marking of disfluencies in spontaneous speech
Important and new features with analysis for disfluency interruption point (IP) detection in spontaneous Mandarin speech
Repeats in spontaneous spoken French: the influence of the complexity of phrases
How to repair speech repairs in an end-to-end system
Lexical bias re-re-visited. some further data on its possible cause
ISCA Tutorial and Research Workshop (ITRW) on Disfluency in Spontaneous Speech, DiSS 2005, Aix-en-Provence, France, September 10-12, 2005
HESITA(tions) in Portuguese: a database
Discourse markers and filled pauses: how disfluent are they?
Disfluencies and hesitation strategies in oral L2 tests
Word fragments and repeats in spontaneous spoken French
The re-adjustment of word-fragments in spontaneous spoken French
The influence of articulation rate, and the disfluency of others, on one's own speech
Register differences in ÄH-ÄHM filler particles?
Laughing in interaction: How phonetic details can coordinate action sequences
Promotion of disfluency in syntactic parallelism
ISCA Tutorial and Research Workshop (ITRW) on Disfluency in Spontaneous Speech, DiSS 2001, Edinburgh, Scotland, UK, August 29-31, 2001
Acoustically verifying speech repair annotations
Disfluency phenomena in an apprenticeship corpus
Sound and function regularities in interjections
Hesitations and repair in German
Inhibitory Control and the production of disfluencies in speakers with Alzheimer's Disease
Filled pauses in child-adult conversations: Data from 5- and 9-year old Hungarian children
Catogorizing syntactic chunks for marking disfluent speech in French language
Prosodic cues to engagement in non-lexical response tokens in Swedish
How do you laugh in an fMRI scanner? Laughter distribution, mimicry and acoustic analysis
Pauses following fillers in L1 and L2 German map task dialogues
More than UH and UM - A phonetician's view on fillers in speech
Filled pauses and false starts do not reliably preface longer or more complex utterances across typologically diverse languages
Factors that determine the form and position of disfluencies in spontaneous utterances
Self-repairs in German children's peer interaction - initial explorations
Disfluency and speech management in Italian patients with early-stage Parkinson's Disease
Idiosyncratic fillers in the speech of bilinguals
Fluency in non-native read and spontaneous speech
Um, one large pizza. A preliminary study of disfluency modelling for improving ASR
Gesture correction in children
Disfluency and behaviour in dialogue: evidence from eye-gaze
Lengthenings aand filled pauses in Hungarian adults' and children's speech
Investigating the COG ratio as feature for speaker verification on high-effort speech
A comparison of disfluency patterns in normal and stuttered speech
Application of EXPLAN theory to spontaneous speech control
A preliminary study of Mandarin filled pauses
Phonological competition in casual speech
Exploring (dis)fluency patterns of identical repetitions in Romanian spontaneous speech
Pauses and hesitations in French spontaneous speech
Prosodic features of four types of disfluencies
Silent pauses and disfluencies in consecutively interpreted Hungarian speech
Do non-word disfluencies affect syntactic parsing?
Modeling conversational styles in Italian by means of overlaps
Repeated phoneme effect in Japanese speech errors
Memory-based disfluency chunking
Final lowering and boundary pitch movements in spontaneous Japanese
Is a perceptual monitor needed to explain how speech errors are repaired?
Interruption glottalization in German spontaneous speech
Annotation and analysis of disfluencies in a spontaneous speech corpus in Spanish
ISCA Tutorial and Research Workshop (ITRW) on Disfluency in Spontaneous Speech, DiSS 2003, Göteborg, Sweden, September 5-8, 2003
The intra-word pause and disfluency in Dalabon
Phrasal complexity and the occurrence of filled pauses in presentation speeches in Japanese
Does reading clearly produce the same acoustic-phonetic modifications as spontaneous speech in a clear speaking style?
Acoustical characterization of vocalic fillers in European Portuguese
Acoustic and linguistics features related to speech planning appearing at weak clause boundaries in Japanese monologs
Preliminary thoughts on the role of disfluencies in psychotherapy skill acquisition
Stuttering and speech monitoring
Which kind of hesitations can be found in Estonian spontaneous speech?
Towards a precise model of turn-taking for conversation: a quantitative analysis of overlapped utterances
LUCID: a corpus of spontaneous and read clear speech in British English
Evaluation of vowel hiatus in prosodic boundaries of Japanese
Disfluency and discursive markers: when prosody and syntax plan discourse
On the characteristics of three types of Japanese fillers: e- , ma- , and demonstrative-type fillers
A disfluency study for cleaning spontaneous speech automatic transcripts and improving speech language models
Disfluency in speech: the listener's perspective
Disfluencies in continuous speech in French: Prosodic parameters of filled pauses and vowel lengthening
"um...i don't see any": the function of filled pauses and repairs
Disfluency as metacommunication
A quantitative study of disfluencies in French broadcast interviews
Modeling conversational interaction using coupled Markov chains
Pitch patterns in the vocalization of a 3-month-old taiwanese infant
Conceptions of disfluencies
Deep Reinforcement Learning for Auto-optimization of I/O Accelerator Parameters
MSDBench: Understanding the Performance Impact of Isolation Domains on Microservice-Based IoT Deployments
Testing Raft-Replicated Database Systems
Generating High Dimensional Test Data for Topological Data Analysis
Improve Image Classification by Convolutional Network on Cambricon
Performance Analysis of GPU Programming Models Using the Roofline Scaling Trajectories
Benchmarking, Measuring, and Optimizing - 16th BenchCouncil International Symposium, Bench 2024, Guangzhou, China, December 4-6, 2024, Revised Selected Papers
Benchmarking, Measuring, and Optimizing - 14th BenchCouncil International Symposium, Bench 2022, Virtual Event, November 7-9, 2022, Revised Selected Papers
AIBench: Towards Scalable and Comprehensive Datacenter AI Benchmarking
MolBench: A Benchmark of AI Models for Molecular Property Prediction
AIoT Bench: Towards Comprehensive Benchmarking Mobile and Embedded Device Intelligence
Benchmarking Modern Databases for Storing and Profiling Very Large Scale HPC Communication Data
An Efficient Implementation of the ALS-WR Algorithm on x86 CPUs
Utilization of Resnet in RGB-D Facial Recognition Problems
Benchmarking for Transaction Processing Database Systems in Big Data Era
An Open Source Cloud-Based NoSQL and NewSQL Database Benchmarking Platform for IoT Data
Benchmarking SpMV Methods on Many-Core Platforms
A Quantitative Analysis of OpenMP Task Runtime Systems
Benchmarking Parallel K-Means Cloud Type Clustering from Satellite Data
DNN-Schedule: A Predictive Scheduler for Minimizing Interference of Co-located DNN Workload
An Implementation of ResNet on the Classification of RGB-D Images
Does AI for Science Need Another ImageNet or Totally Different Benchmarks? A Case Study of Machine Learning Force Fields
SSH-Backed API Performance Case Study
Automated HPC Workload Generation Combining Statistical Modeling and Autoregressive Analysis
Edge AIBench: Towards Comprehensive End-to-End Edge Computing Benchmarking
NTP: A Neural Net Topology Profiler
XDN: Towards Efficient Inference of Residual Neural Networks on Cambricon Chips
StellarTop : An Integrated Multi-topic Dataset on GitHub Repositories
Building the DataBench Workflow and Architecture
K2RDF: A Distributed RDF Data Management System on Kudu and Impala
Benchmarking Edge Computing Systems for Autonomous Vehicles via CAV Motifs
Benchmarking Object Detection Models with Mummy Nuts Datasets
Benchmarking, Measuring, and Optimizing - 15th BenchCouncil International Symposium, Bench 2023, Sanya, China, December 3-5, 2023, Revised Selected Papers
Cross-Layer Profiling of IoTBench
Improving RGB-D Face Recognition via Transfer Learning from a Pretrained 2D Network
LWMEval: Evaluating Large-Scale Neural Networks for Six-Hour Weather Nowcasting
Multi-USVs Coordinated Detection in Marine Environment with Deep Reinforcement Learning
Artemis: An Automatic Test Suite Generator for Large Scale OLAP Database
ConfAdvisor: An Automatic Configuration Tuning Framework for NoSQL Database Benchmarking with a Black-box Approach
Impact of Commodity Networks on Storage Disaggregation with NVMe-oF
A Benchmark of Ocular Disease Intelligent Recognition: One Shot for Multi-disease Detection
AGIBench: A Multi-granularity, Multimodal, Human-Referenced, Auto-Scoring Benchmark for Large Language Models
UMDISW: A Universal Multi-Domain Intelligent Scientific Workflow Framework for the Whole Life Cycle of Scientific Data
MMDBench: A Benchmark for Hybrid Query in Multimodal Database
ComScribe: Identifying Intra-node GPU Communication
RVTensor: A Light-Weight Neural Network Inference Framework Based on the RISC-V Architecture
Benchmarking, Measuring, and Optimizing - Third BenchCouncil International Symposium, Bench 2020, Virtual Event, November 15-16, 2020, Revised Selected Papers
Early Experience in Benchmarking Edge AI Processors with Object Detection Workloads
MCCBench: A C10M Benchmark Oriented to Interactive Network Services
DCMIX: Generating Mixed Workloads for the Cloud Data Center
Benchmarking, Measuring, and Optimizing - First BenchCouncil International Symposium, Bench 2018, Seattle, WA, USA, December 10-13, 2018, Revised Selected Papers
Performance Analysis of Cambricon MLU100
Benchmarking Distributed Transactional Database Systems
A Practical Data Repository for Causal Learning with Big Data
Scalability Evaluation of Big Data Processing Services in Clouds
Open Source Software Supply Chain Recommendation Based on Heterogeneous Information Network
OStoreBench: Benchmarking Distributed Object Storage Systems Using Real-World Application Scenarios
EAIBench: An Energy Efficiency Benchmark for AI Training
BasicTS: An Open Source Fair Multivariate Time Series Prediction Benchmark
Hmem: A Holistic Memory Performance Metric for Cloud Computing
Benchmarking, Measuring, and Optimizing - Second BenchCouncil International Symposium, Bench 2019, Denver, CO, USA, November 14-16, 2019, Revised Selected Papers
SparkAIBench: A Benchmark to Generate AI Workloads on Spark
Power Characterization of Memory Intensive Applications: Analysis and Implications
PSL: Exploiting Parallelism, Sparsity and Locality to Accelerate Matrix Factorization on x86 Platforms
Benchmarking VM Startup Time in the Cloud
Apache Spark Streaming, Kafka and HarmonicIO: A Performance Benchmark and Architecture Comparison for Enterprise and Scientific Computing
Benchmarking Solvers for the One Dimensional Cubic Nonlinear Klein Gordon Equation on a Single Core
Causal Learning in Question Quality Improvement
A Survey on Deep Learning Benchmarks: Do We Still Need New Ones?
EC-Bench: Benchmarking Onload and Offload Erasure Coders on Modern Hardware Architectures
Evaluating Kernel Anti-Exploitation Capabilities: A Scalable and General Framework Based on Evaluatology
LCIO: Large Scale Filesystem Aging
Exploring the Performance Bound of Cambricon Accelerator in End-to-End Inference Scenario
A Linear Combination-Based Method to Construct Proxy Benchmarks for Big Data Workloads
GraphBench: A Benchmark Suite for Graph Computing Systems
The Implementation and Optimization of Matrix Decomposition Based Collaborative Filtering Task on X86 Platform
MCC: A Predictable and Scalable Massive Client Load Generator
PAIE: A Personal Activity Intelligence Estimator in the Cloud
Benchmark Researches from the Perspective of Metrology
StockNNEval: Evaluating Neural Network Methods for Predicting Stock Trend
STAMP-Rust: Language and Performance Comparison to C on Transactional Benchmarks
swRodinia: A Benchmark Suite for Exploiting Architecture Properties of Sunway Processor
AIRV: Enabling Deep Learning Inference on RISC-V
Accelerating Parallel ALS for Collaborative Filtering on Hadoop
Benchmarking Database Ingestion Ability with Real-Time Big Astronomical Data
ShoeMaster: A Benchmark for Sketch2Image Translation of Shoes
Parallel Sorted Sparse Approximate Inverse Preconditioning Algorithm on GPU
HPC AI500: A Benchmark Suite for HPC AI Systems
MiDBench: Multimodel Industrial Big Data Benchmark
An Analysis of Long-Tailed Network Latency Distribution and Background Traffic on Dragonfly+
MAS3K: An Open Dataset for Marine Animal Segmentation
Characterizing the Sharing Behavior of Applications Using Software Transactional Memory
Anomaly Analysis and Diagnosis for Co-located Datacenter Workloads in the Alibaba Cluster
Machine-Learning Based Spark and Hadoop Workload Classification Using Container Performance Patterns
Optimization of the Himeno Benchmark for SX-Aurora TSUBASA
ICBench: Benchmarking Knowledge Mastery in Introductory Computer Science Education
CaloBench: A Benchmark Study of Generative Models for Calorimeter Showers
Benchmarking Blockchain Interactions in Mobile Edge Cloud Software Systems
BOPS, A New Computation-Centric Metric for Datacenter Computing
Using Admissible Interference to Detect Denial of Service Vulnerabilities
Declarative View of Imperative Programs
A Refinement Calculus for Communicating Processes with State
Denotational Semantics and Refinement
Translating Structured Database Schemas into Abstract Machines
Stochastic Specification and Verification
The Single Transferable Voting System: Functional Decomposition in Formal Specification
Modal Logics for Reasoning about Object-based Component Composition
Facilitating Modular Property-Preserving Extensions of Programming Languages
Observation and Abstract Behaviour in Specification and Implementation of State-based Systems
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
Logic for Computational Effects: Work in Progress
Nonmonotonic Reasoning and Formal Software Development
Towards a Semantics For Multidimensional Array Assignment in Fortran 95
A Use Case Interpretation of B AMN
Recasting Hoare and He's Unifying Theory of Programs in the Context of General Correctness
Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases
A Note on the Relationships Between Logic Programs and Neural Networks
A Case Study on Proving Transformations Correct: Data-Parallel Conversion
4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000
Formal Engineering of the Bitonic Sort using PVS
Abstract Clustering for Program Comprehension
3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999
A Comparison of Three Model Checkers Applied to a Distributed Database Problem
Four Logics and a Protocol
Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example
Feature Interactions: A Mixed Semantic Model Approach
Tests Derivation from Model Based Formal Specifications
Modular Composition of Language Features through Extensions of Semantic Language Models
Reverse Engineering and Reusing COBOL Programs: A Program Transformation Approach
Teaching and Learning Formal Methods, Improving Productivity
Teaching Formal Methods: Lessons to Learn
Presenting Object Oriented Formal Requirements Specifications: Insights from an Action Research Study
5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001
Mathematics for Formal Methods, a Proposal for Education Reform
A Simple Algorithm Specification Language and its Application
2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998
Searching for Counter-Examples Adaptively
Motivation for a New Semantics for Vagueness
On the Automatic Verification of Non-Standard Measures of Consistency
A Concurrent Language for Refinement
Proof and Refutation in Formal Software Development
1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Ireland, 3-4 July 1997
An Iterator Construct for the Refinement Calculus
Computer Aided Incremental Specification
Towards an Override in Topoi
Strictly Level-Decreasing Logic Programs
A Denotational Semantics for the Pi-Calculus
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Retrenchment: Extending Refinement for Continuous and Control Systems
An Axiomatic Semantics for Data Parallel Computation
A Formal Approach to Design Patterns in Re-Engineering
An Unbounded Nondeterministic Model for CSP-like Languages
Tactics for Transformational Programming
Formal Specifications of Software Design Methods
A Logic to Specify and Verify Synchronous Transitions
6th International Workshop on Formal Methods, IWFM 2003, Dublin City University, Ireland, 11 July, 2003
On the Integration of Formal Methods: Events and Scenarios in PVS and VDM
The Role of Proof in a Formal Specification of the Speedway Rulebook
The Use of Theorem Provers in the Teaching and Practice of Formal Methods
Valuations revisited
A Generic Model for State-based Agent Systems
VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM
Stepwise Development of Peer-to-Peer Systems
A Scheme for Defining Partial Higher-Order Functions by Recursion
Predicate Transformers for Infinite-State Automata in NuPRL Type Theory
Some optimisation problems revisited
Applications of the TAMPR Transformation System
Multiprogram Design in the theory of Owicki and Gries
Serious Games for Solving Protein Sequence Alignments - Combining Citizen Science and Gaming
How Computer Games Can Improve Your Health and Fitness
Video Game Personalization via Social Media Participation
A Case Study of a Learning Game about the Internet
Cat King's Metamorphosis - The Reuse of an Educational Game in a Further Technical Domain
Teaching the Achiever, Explorer, Socializer, and Killer - Gamification in University Education
Creating Age-Specific Interactive Environments about Medical Treatments for Children and Adolescent Patients Diagnosed with Cancer
Social Integration of Stroke Patients through the Multiplayer Rehabilitation Gaming System
Evoking and Measuring Arousal in Game Settings
QuizeRo - Recipe for a Successful QR-Code Scavenger Hunt
Serious Game Mechanics, Workshop on the Ludo-Pedagogical Mechanism
StoryTec and StoryPlay as Tools for Adaptive Game-Based Learning Research
Game-Based IT Solutions for Active and Healthy Aging
Personalized Adaptive Control of Training Load in Exergames from a Sport-Scientific Perspective - Towards an Algorithm for Individualized Training
Narrative Serious Game Mechanics (NSGM) - Insights into the Narrative-Pedagogical Mechanism
Games for Training, Education, Health and Sports - 4th International Conference on Serious Games, GameDays 2014, Darmstadt, Germany, April 1-5, 2014. Proceedings
Word Domination - Bringing Together Fun and Education in an Authoring-Based 3D Shooter Game
Mobile Learning and Games: Experiences with Mobile Games Development for Children and Teenagers Undergoing Oncological Treatment
Dynamic Difficulty Adaptation in Serious Games for Motor Rehabilitation
A Serious Game for Public Engagement in Synthetic Biology
Dynamically Adaptive Educational Games: A New Perspective
The Declarative Language STR (State Transition Rule)
Structuring Telecommunications Features
Use Case Maps as a Feature Description Notation
Modular Feature Integration and Validation in a Synchronous Context
Abstraction and refinement of features
Language Constructs for Describing Features, Proceedings of the FIREworks Workshop, Glasgow, UK, May 2000