yusuke1997/dblp-id-title huggingface dataset:
Java Program Verification Challenges
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Safety Guarantees from Explicit Resource Management
Program Generation and Components
Coordination: Reo, Nets, and Logic
Automatic Inference of Bounds on Resource Consumption
Shared Event Composition/Decomposition in Event-B
The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems
Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints
Reactive Animation
Component Assemblies in the Context of Manycore
A Software Component Model and Its Preliminary Formalisation
On Recursion, Replication and Scope Mechanisms in Process Calculi
Exhaustive Testing of Exception Handlers with Enforcer
Certification Using the Mobius Base Logic
Tools for Generating and Analyzing Attack Graphs
Towards the UML-Based Formal Verification of Timed Systems
On the Verification of Cooperating Traffic Agents
Design with Asynchronously Communicating Components
HATS Abstract Behavioral Specification: The Architectural View
JACK - A Tool for Validation of Security and Behaviour of Java Applications
Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring
How to Cook a Complete Hoare Logic for Your Pet OO Language
Finding Implicit Contracts in .NET Components
Variability Modelling in the ABS Language
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
Separation Results Via Leader Election Problems
Timing Analysis and Timing Predictability
Towards a Formal Framework for Computational Trust
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
A Fully Abstract Semantics for UML Components
Games for UML Software Design
Specification and Verification for Grid Component-Based Applications: From Models to Tools
Generic Fault Modelling for Fault Injection
Verifying Object-Oriented Programs with KeY: A Tutorial
Assertion-Based Encapsulation, Object Invariants and Simulations
Compositional Algorithmic Verification of Software Product Lines
Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-Induction
Program Compatibility Approaches
Active Objects and Distributed Components: Theory and Implementation
CommUnity on the Move: Architectures for Distribution and Mobility
The Abstract Behavioral Specification Language: A Tutorial Introduction
Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Verification of Context-Dependent Channel-Based Service Models
Managing Adaptivity in Parallel Systems
Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software
Application of Model-Checking Technology to Controller Synthesis
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study
Universe Types for Topology and Encapsulation
Incremental System Modelling in Event-B
Program Specialization via a Software Verification Tool
Formal Verification for Components and Connectors
Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems
Boogie: A Modular Reusable Verifier for Object-Oriented Programs
An Abstract Annotation Model for Skeletons
Beyond Bisimulation: The "up-to" Techniques
Making Components Move: A Separation of Concerns Approach
Preserving Properties Under Change
Model-Checking and Simulation for Stochastic Timed Systems
TulaFale: A Security Tool for Web Services
Towards Demonstrably Correct Compilation of Java Byte Code
An Asynchronous Distributed Component Model and Its Semantics
ABS: A Core Language for Abstract Behavioral Specification
The Use of Model Transformation in the INESS Project
Links: Web Programming Without Tiers
Abstract Certification of Global Non-interference in Rewriting Logic
Cluster-Based LTL Model Checking of Large Systems
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects
Conformance Testing of Distributed Concurrent Systems with Executable Designs
The Credo Methodology - (Extended Version)
Probabilistic Linda-Based Coordination Languages
The Hierarchical Compositional Interchange Format
PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures
Model-Based Testing of Object-Oriented Systems
A Real-Time Extension of Creol for Modelling Biomedical Sensors
Partial Order Reduction for Markov Decision Processes: A Survey
Composition for Component-Based Modeling
Testing Real-Time Systems under Uncertainty
Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming
Interleaving Symbolic Execution and Partial Evaluation
Bounded Session Types for Object Oriented Languages
Formal Modular Modelling of Context-Awareness
A Language-Based Approach to Autonomic Computing
Reusable Architectural Decision Model for Model and Metadata Repositories
Applying Event-B Atomicity Decomposition to a Multi Media Protocol
Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Property-Based Testing - The ProTest Project
Automated Verification of Executable UML Models
End-to-End Multi-Speaker Speech Recognition
Robust spread-spectrum audio watermarking
Robust Meridian Filtering
Optimisation of particle filters using simultaneous perturbation stochastic approximation
2-D phase retrieval by partitioning into coupled 1-D problems using discrete Radon transforms
Vector quantized multipulse-LPC
On the Fougere's maximum entropy spectral analysis method
CSCNet: Class-Specified Cascaded Network for Compositional Zero-Shot Learning
When is DPCM a stable system?
BlurPaint: Image Inpainting using Blurring Diffusion Models
VLSI implementation of a reversible variable length encoder/decoder
Human Behaviour Recognition Using Wifi Channel State Information
Control and data flow aspects in the design of a wireless data radio modem: a case study
Aspects of directional filtering and applications in image processing
An investigation of deep neural networks for noise robust speech recognition
Iterative Waterfilling for Weighted Rate Sum Maximization in MIMO-OFDM Broadcast Channels
JasPer: a portable flexible open-source software tool kit for image coding/processing
Sensor subset selection for surface electromyograpy based speech recognition
An Interpretable and Generalizable Speech Detector Based on a CNN-LSTM Framework
Three probabilistic language models for a large-vocabulary speech recognizer
A probabilistic pixel-based approach to detect humans in video streams
Randomized Detection For Spread-Spectrum Watermarking: Defending Against Sensitivity and Other Attacks
Detection of unknown-frequency sinusoids in noise via autoregressive modeling
Hidden Markov models for monitoring machining tool-wear
The HKCUPU system for the NIST 2010 speaker recognition evaluation
Estimation performance and resource savings: Tradeoffs in multiple radars systems
Model selection: a bootstrap approach
Interpolating V/UV mixture functions of a harmonic model for concatenative speech synthesis
An optimization-based adaptive nonlinear observer
Rapid Online Bayesian Learning for Deep Receivers
Advanced algorithms for surgical gesture classification
On the design of matched orthonormal wavelets with compact support
Label Propagation Across Graphs: Node Classification Using Graph Neural Tangent Kernels
Fast and recursive algorithms for magnitude retrieval from DTFT phase at irregular frequencies
Source localisation with recurrent neural networks
Models with products of Dirichlet processes
Frequency Domain Information Integrated Network for Low-Light Image Enhancement
Spline kernels for continuous-space image processing
Processing technique for a linear FM pulse array
An efficient multichannel line echo canceler algorithm for PSTN and VoIP/VoDSL applications
Resolution enhancement in time-frequency signal processing using inverse methods
Distributed probabilistic bisection search using social learning
Timing acquisition for fractal modulation in Gaussian white and 1/f channels
Sequential Datum-Wise Joint Feature Selection and Classification in the Presence of External Classifier
Hyper-Refinement for Low-Rank Adaptation
An algebraic approach to discrete short-time Fourier transform analysis and synthesis
Model adaptation based on HMM decomposition for reverberant speech recognition
A new nonparametric measure of conditional independence
Video aesthetic quality assessment by combining semantically independent and dependent features
Phonetic Feedback for Speech Enhancement with and Without Parallel Speech Data
Learning Multi-Rate Vector Quantization for Remote Deep Inference
A Quantitative Metric Selection Approach for Time-series Forecasting Foundation Models
A Low-latency Sparse-Winograd Accelerator for Convolutional Neural Networks
Efficient methods to train multilingual bottleneck feature extractors for low resource keyword search
Pole-filtered cepstral mean subtraction
A minimax approach to development of robust discrimination algorithms for multivariate mixture distributions
Phase synchronizer for fading channels with the modified method of least squares
Joint optimal bit allocation and best-basis selection for wavelet packet trees
DDNet: Exploring Dual Dependencies for Long-Term Time Series Forecasting
Stability of Graph Convolutional Neural Networks Through The Lens of Small Perturbation Analysis
Comparison of phase retrieval algorithms
Jazznet: A Dataset of Fundamental Piano Patterns for Music Audio Machine Learning Research
Single Image Interpolation Exploiting Semi-local Similarity
Pre-Training Strategies Using Contrastive Learning and Playlist Information for Music Classification and Similarity
Algebraic design of discrete multiwavelet transforms
Enhancing Similarity Matrices for Music Audio Analysis
Development of an automatic identification system of spoken languages: Phase I
On the use of asymmetric windows for reducing the time delay in real-time spectral analysis
A measure of in-synchrony regions in the auditory nerve firing patterns as a basis for speech vocoding
Multipaths resolution by a combination of homomorphic and Wiener filtering
A criterion to detect sensor array distortion
Musicyolo: A Sight-Singing Onset/Offset Detection Framework Based on Object Detection Instead of Spectrum Frames
Subspace analysis of state covariances
Joint Learning of Feature Extraction and Cost Aggregation for Semantic Correspondence
Parametric stereo coding scheme with a new downmix method and whole band inter channel time/phase differences
A feedback based multicasting protocol for efficient video on demand
Super-resolved time-of-flight sensing via FRI sampling theory
Estimation of blur and noise parameters in remote sensing
Speaker-independent vowel recognition: spectrograms versus cochleagrams
Phase-only Robust Minimum Dispersion Beamforming
Asynchronous stream modeling for large vocabulary audio-visual speech recognition
A parallel signal processor system
A new heuristic edge extraction technique
Position-Aware Graph-Based Learning of Whole Slide Images
On Unique Localization of Uncorrelated Constant-Modulus Sources Using Sparse Linear Arrays
Estimation of clock skew in telephony over packet switched networks
Estimating the Parameters of the Multivariate Poisson Distribution Using the Composite Likelihood Concept
Complementary envelope estimation for frequency-modulated random signals
Gmm-Resnext: Combining Generative and Discriminative Models for Speaker Verification
Time delay estimation in unknown spatially uncorrelated Gaussian noises using higher-order statistics
A fast adder-based multiplication unit for customised digital signal processors
Improved estimation of minimum variance beamformer with small number of samples
3D contour image coding based on morphological filters and motion estimation
Ct-Caps: Feature Extraction-Based Automated Framework for Covid-19 Disease Identification From Chest Ct Scans Using Capsule Networks
Analysis and synthesis of voice fundamental frequency contours of spoken sentences
Hidden spectral peak trajectory model for phone classification
Logpolar sampling and normalization based on boundary crossing for handwritten numerals recognition
Structural intervention of gene regulatory networks by general rank-k matrix perturbation
A real-time auditory-based microphone array assessed with E-RASTI evaluation proposal
Band-limited extrapolation on the sphere for signal reconstruction in the presence of noise
Multi-Head Feature Pyramid Networks for Breast Mass Detection
A framework for joint multiple description coding and network coding over wireless ad-hoc networks
Image PCA: A New Approach for Face Recognition
Self-Augmented Multi-Modal Feature Embedding
Frame-Level MMI as A Sequence Discriminative Training Criterion for LVCSR
Physics-Guided Variational Graph Autoencoder For Air Quality Inference
FedPrompt: Communication-Efficient and Privacy-Preserving Prompt Tuning in Federated Learning
Constrain the Docile CTUs: An In-Frame complexity allocator for HEVC Intra encoders
A multi-signal bus architecture for FIR filters with single bit coefficients
LossControl: Defending Membership Inference Attacks by Controlling the Loss
Adaptive transmit antenna selection in MIMO amplify-and-forward relay channels
Graph Pooling via Dropping Task-Irrelevant Nodes
Forward Attention in Sequence- To-Sequence Acoustic Modeling for Speech Synthesis
Adaptive beam tracking for interference alignment for multiuser time-varying MIMO interference channels
A dynamic programming-based DUR recognizer implemented on analog devices' DSP
A Practical Gated Recurrent Transformer Network Incorporating Multiple Fusions for Video Denoising
Advanced Zero-Shot Text-to-Speech for Background Removal and Preservation with Controllable Masked Speech Prediction
Selection of data windows for digital signal processing
CMGait: Enhancing Cross-Modality Gait Recognition between LiDAR and RGB through Contrastive Identity-consistent Feature Aggregation
Experiments in isolated word recognition using noisy speech
Performance of narrowband signal-subspace processing
Channel Selection over Riemannian Manifold with Non-Stationarity Consideration for Brain-Computer Interface Applications
Advances in Microphone Array Processing and Multichannel Speech Enhancement
An End-To-End Actor-Critic-Based Neural Coreference Resolution System
Optimal Distributed Linear Transceivers for Sending Independently Corrupted Copies of a Colored Source Over the Gaussian MAC
Signal/Quantizing-distortion ratio measurements of fast-adaptive delta modulation systems
Robust direction estimation of UWB sources in Laguerre-Gauss beamspaces
A Lightweight Self-Supervised Training Framework for Monocular Depth Estimation
Meta Talk: Learning To Data-Efficiently Generate Audio-Driven Lip-Synchronized Talking Face With High Definition
A Spiking Neural Network Approach to Auditory Source Lateralisation
A new unbiased equation error algorithm for IIR ADF and its application to ALE
Neural2speech: A Transfer Learning Framework for Neural-Driven Speech Reconstruction
An adaptive beamforming algorithm for broadband active sonar
Fairness in Multiterminal Data Compression: A Splitting Method for the Egalitarian Solution
Complementary filtering technique for subband speech coder design
Continual Learning Through One-Class Classification Using VAE
Gammatone Features and Feature Combination for Large Vocabulary Speech Recognition
Optimal estimation of subband speech from nonuniform non-recurrent signal-driven sparse samples
When is Mimo Massive in Radar?
Discriminative Power of Transient Frames in Speaker Recognition
Estimating the Confidence Interval of Expected Performance Curve in Biometric Authentication using Joint Bootstrap
Multichannel linear predictive coding of color images
Fast processing for the short time DFT Hilbert transformer
The Nystrom Extension for Signals Defined on a Graph
Quantpipe: Applying Adaptive Post-Training Quantization For Distributed Transformer Pipelines In Dynamic Edge Environments
SkellamShrink: Poisson intensity estimation for vector-valued data
Protein secondary structure prediction with semi Markov HMMs
Distilling Attention Weights for CTC-Based ASR Systems
An FPGA prototype of dual link algorithm for MIMO interference network
Online anomaly detection with expert system feedback in social networks
Point-Mass Filter with Decomposition of Transient Density
Spectrum analysis using frequency-domain adaptive windowing
Distance measures for text-independent speaker recognition based on MAR model
Towards Better Meta-Initialization with Task Augmentation for Kindergarten-Aged Speech Recognition
Phase-Direct Channel Estimation for Space-Time OFDM
Semi-blind multi-user MIMO channel estimation based on Capon and MUSIC techniques
Facial feature tracking and pose estimation in video sequences by factorial coding of the low-dimensional entropy manifolds due to the partial symmetries of faces
An experimental investigation of the optimal filter as an area function perdictor
A Hough Transform Rapid Prototyping System using the Matlab Embedded Target for the TI TMS320DM642 EVM
Wavelet-based denoising using hidden Markov models
Typically developed adults and adults with autism spectrum disorder classification using centre of pressure measurements
Generalized Lanczos method for signal smoothing
Sparsity And Nonnegativity Constrained Krylov Approach For Direction Of Arrival Estimation
Adaptation of the HMM distributions: Application to a VQ codebook and to a noisy environment
Feature combination and stacking of recurrent and non-recurrent neural networks for LVCSR
On hidden Markov models in isolated word recognition
Speech recognition with neural networks and network fusion
An optimum NLMS algorithm: performance improvement over LMS
The application of cepstrum technique in power cable fault detection
High order notation and automated program generation for realtime signal processing
Improving Prony's estimator for multiple frequency estimation by a general method of parametric filtering
Audio Signal Denoising with Complex Wavelets and Adaptive Block Attenuation
Alternating Projections Gridless Covariance-Based Estimation For DOA
Semi-supervised Multichannel Speech Enhancement with Variational Autoencoders and Non-negative Matrix Factorization
Dynamic strategy for window splitting, parameters estimation and interpolation in spatial parametric audio coders
Editing digital audio
Quadratic residues: Application to chirp filters and discrete Fourier transforms
A smoothed analysis approach to l 1 optimization in compressed sensing
DFingerNet: Noise-Adaptive Speech Enhancement for Hearing Aids
Nonlinear H-ARMA models
Hot-Fixing Wake Word Recognition for End-to-End ASR Via Neural Model Reprogramming
Core: Transferable Long-Range Time Series Forecasting Enhanced by Covariates-Guided Representation
Deep Learning for Frame Error Probability Prediction in BICM-OFDM Systems
Use of periodicity and jitter as speech recognition features
Architecture and Performance Analysis of Lossless FFT in OFDM Systems
Overlapped State Hidden Semi-Markov Model for Grouped Multiple Sequences
Adaptive algorithms for hypergraph learning
Distributed Network Caching via Dynamic Programming
Elimination of trajectory folding phenomenon: HMM, trajectory mixture HMM and mixture stochastic trajectory model
One-Shot Face Avatar Generation in a Single Forward Pass with Identity Preservation
Tradeoffs between detection and estimation for multiple signals
VulKiller: Java Web Vulnerability Detection with Code Property Graph and Large Language Models
An Efficient Pore Annotation Framework for Tight Sandstone Images with Segment Anything Model
A Clustering-based ML Scheme for Capacity Approaching Soft Level Sensing in 3D TLC NAND
Extracting structural spectral features using what-where auto-encoders for statistical parametric speech synthesis
Mandarin vowel pronunciation quality evaluation by a novel formant classification method and its combination with traditional algorithms
DFT-Vocoder using harmonic-sieve pitch extraction
Scalable Concatenative Speech Synthesis Based on the Plural Unit Selection and Fusion Method
Epoch extraction from linear prediction residual
Is multiparty computation any good in practice?
Don't Shoot Butterfly with Rifles: Multi-Channel Continuous Speech Separation with Early Exit Transformer
Joint detection and tracking using multi-static doppler-shift measurements
Balancing Representation Abstractions and Local Details Preservation for 3d Point Cloud Quality Assessment
Speech enhancement using pre-image iterations
Parallel processing of digital convolution using finite polynomial rings
Learning to Fuse Latent Representations for Multimodal Data
Radardiff: Improving Sea Clutter Suppression Using Diffusion Models for Radar Images
Novel Programmable FIR Filter Based on Higher Radix Recoding for Low-Power and High-Performance Applications
Spotting Japanese CV-syllables and phonemes using time-delay neural networks
On The Degrees Of Freedom in Total Variation Minimization
Adaptive feature split selection for co-training: Application to tire irregular wear classification
Automatic recognition of gender by voice
Collaborative Semantics-Assisted Large Language Models for Next POI Recommendation
Perceptual phase redundancy in speech
Adversarial Attacks on Object Detectors with Limited Perturbations
Individual Difference of Ultrasonic Transducers for Parametric Array Loudspeaker
Spoken word recognition based on top-down phoneme segmentation
A Hardware Based Implementation of a Tactile Sensory System For Neuromorphic Signal Processing Applications
Feedback beamformer design with oversampling ADCS in multi-antenna systems
Knowledge Distillation for Small Foot-print Deep Speaker Embedding
Gain-robust multi-pitch tracking using sparse nonnegative matrix factorization
Fast optimal and suboptimal algorithms for sparse solutions to linear inverse problems
An extension of Separable Lattice 2-D HMMS for rotational data variations
Object-Oriented Anomaly Detection in Surveillance Videos
Asynchronous stochastic optimization for sequence training of deep neural networks
Characteristic Scale in Satellite Images
2D Human Pose Estimation Calibration and Keypoint Visibility Classification
Human Visual System Based Multi-Histogram Equalization for Non-Uniform Illumination and Shoadow Correction
In Search of Strong Embedding Extractors for Speaker Diarisation
Twitter Stance Detection via Neural Production Systems
Asymptotic quantization for signal estimation with noisy channels
Numerical performance of non-canonic block state digital filters
Weight Sharing and Deep Learning for Spectral Data
Alleviating Hallucinations Via Supportive Window Indexing in Abstractive Summarization
Optimal array processing for non-stationary signals
Learning Spectral-Spatial Prior Via 3DDNCNN for Hyperspectral Image Deconvolution
Multivariate scale-free dynamics: Testing fractal connectivity
Hypergraphs with Edge-Dependent Vertex Weights: Spectral Clustering Based on the 1-Laplacian
Adversarial Training and Gradient Optimization for Partially Deepfake Audio Localization
Towards prediction of driving behavior via basic pattern discovery with BP-AR-HMM