yusuke1997/dblp-id-title huggingface dataset:
Goal-oriented conditional variational autoencoders for proactive and knowledge-aware conversational recommender system
Intonation contour realisation for Standard Yorùbá text-to-speech synthesis: A fuzzy computational approach
Efficient training of high-order hidden Markov models using first-order representations
Enabling effective design of multimodal interfaces for speech-to-speech translation system: An empirical study of longitudinal user behaviors over time and user strategies for coping with errors
An investigation of neural uncertainty estimation for target speaker extraction equipped RNN transducer
A PLDA approach for language and text independent speaker recognition
A novel Adaptive Kolmogorov Arnold Sparse Masked Attention Model with multi-loss optimization for Acoustic Echo Cancellation in double-talk noisy scenario
Objective evaluation of grapheme to phoneme conversion for text-to-speech synthesis in French
Missing data mask estimation with frequency and temporal dependencies
Continual End-to-End Speech-to-Text translation using augmented bi-sampler
Bayesian feature enhancement using independent vector analysis and reverberation parameter re-estimation for noisy reverberant speech recognition
A potential relation trigger method for entity-relation quintuple extraction in text with excessive entities
Predicting children's perceived reading proficiency with prosody modeling
Emotion, age, and gender classification in children's speech by humans and machines
Vocal fatigue induced by prolonged oral reading: Analysis and detection
Sparse kernel machines with empirical kernel maps for PLDA speaker verification
Context and knowledge aware conversational model and system combination for grounded response generation
Though this be hesitant, yet there is method in 't : Effects of disfluency patterns in neural speech synthesis for cultural heritage presentations
Exploring the relationship between children's facial emotion processing characteristics and speech communication ability using deep learning on eye tracking and speech performance measures
A speaker verification backend with robust performance across conditions
Information density and overlap in spoken dialogue
Enhancing accuracy and privacy in speech-based depression detection through speaker disentanglement
Reasoning over decomposing fuzzy description logic
Cooperation between Intelligent Autonomous Vehicles to enhance container terminal operations
A typed applicative system for a language and text processing engineering
CAS-based information retrieval in semi-structured documents: CASISS model
Robust watermarking scheme and tamper detection based on threshold versus intensity
Using neural networks to aid CVSS risk aggregation - An empirically validated approach
CogWatch: Automatic prompting system for stroke survivors during activities of daily living
Security architecture metamodel for Model Driven security
PEAS-LI: PEAS with Location Information for coverage in Wireless Sensor Networks
Evaluating the descriptive power of Instagram hashtags
Challenge of validation in requirements engineering
A method for automatic detection and manual localization of content-based translation errors and shifts
Co-locating services in IoT systems to minimize the communication energy cost
Classification and statistical learning for detecting of switching time for switched linear systems
Meaning-based machine learning for information assurance
Wavelet decomposition of software entropy reveals symptoms of malicious code
The importance of socio-technical resources for software ecosystems management
A bi-objective cost model for optimizing database queries in a multi-cloud environment
Occupancy driven building performance assessment
Enhancing digital image integrity by exploiting JPEG bitstream attributes
QoS-Aware approach to monitor violations of SLAs in the IoT
Mining local process models
Rogue behavior detection in NoSQL graph databases
Boundary and holes recognition in wireless sensor networks
A pattern-based method for refining and formalizing informal specifications in critical control systems
The path planning of cleaner robot for coverage region using Genetic Algorithms
Effect of selective replication strategy and dynamic admission control to QoS management in video on demand systems
An enhanced Graph Analytics Platform (GAP) providing insight in Big Network Data
Mining online political opinion surveys for suspect entries: An interdisciplinary comparison
A brief overview and an experimental evaluation of data confidentiality measures on the cloud
Undefinedness vs. Underspecification in HALDEN ASL
Optimizing Slicing of Formal Specifications by Deductive Verification
Guest Editors' Foreword: Programming and Software Development Environment Research in the Nordic Countries
Guest Editor's Foreword
An O(log log n) Time Algorithm to Compute the Kernel of a Polygon
Program Visualization Using Reference Attributed Grammars
Block Sorting: A Characterization and some Heuristics
A CASE Tool for COM Development
Dynamic Inheritance in a Statically Typed Language Nordic Journal of Computing
A Self-stabilizing Algorithm for Maximal 2-packing
Finding all Weakly-Visible Chords of a Polygon in Linear Time
Generating t-ary Trees in Parallel
Approximate String Matching with Ordered q-Grams
Identifying Object-Oriented Features from Procedural Software
Formal Verification of FPGA Cores
Independence-Friendly Modal Logic and True Concurrency
Pattern-Matching Problems for Two-Dimensional Images Described by Finite Automata
Improved Approximations of Independent Sets in Bounded-Degree Graphs via Subgraph Removal
On the Complexity of Variations of Equal Sum Subsets
Linear Hybrid Action Systems
Episode Directed Acyclic Subsequence Graph
Penetration Depth of Two Convex Polytopes in 3D
On Decidability of the Control Reachability Problem in the Asynchronous pi-Calculus
Bounded Fan-Out Multimessage Multicasting
Partially Persistent Data Structures of Bounded Degree with Constant Update Time
Interaction Nets with McCarthy's amb: Properties and Applications
A Compositional Trace Logic for Behavioural Interface Specifications
Subtyping and Constructive Specification
Some Geometric Clustering Problems
An Efficient Pattern-Matching Algorithm for Strings with Short Descriptions
A Metamodel and Supporting Process and Tool for Specifying Quality Models in Model-Based Software Development
A Generic Approach to Schedulability Analysis of Real-Time Tasks
Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets
Heuristics for Completion in Automatic Proofs by Structural Induction
A d/2 Approximation for Maximum Weight Independent Set in d-Claw Free Graphs
Guest Editors' Foreword
Elucidative Programming
Good to Know about the Efficiency of State Space Methods
Estimation of Real-Time Software Component Size
Rewriting Via Coinserters
Integral Flow with Disjoint Bundles
From Relational Program Dependencies to Hypertextual Access Structures
Modeling and Verification of Cryptographic Protocols Using Coloured Petri Nets and Design/CPN
Structured Formal Development in Isabelle
Specification of Parametrized Programs - Persistency Revisited
Summary of the Subworkshop on Extreme Programming
A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design
Randomized Online Multi-Threaded Paging
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications
Deterministic Jumplists
Architecture-Driven Verification of Concurrent Systems
Summary of the Subworkshop on Change Management for Open Source Software
Towards the Unification of Patterns and Profiles in UML
Increasing Comprehensibility of Object Models: Making the Roles of Attributes Explicit in UML Diagrams
Deriving Bisimulation Congruences using 2-categories
Pattern-Based Genetic Model Refinements in MDA
Parametric Permutation Routing via Matchings
Local Model-Checking for Context-Free Processes
Geodesic Voronoi Diagrams in the Presence of Rectilinear Barriers
A Rigourous Environment for Development of Concurrent Systems
An Approach to Analyzing Availability Properties of Security Protocols
Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form
Relating State-based and Behaviour-oriented Subtyping
Distributed Implementation of a Process-Algebra Based Programming Language for Embedded Systems
Reliability Assessment through Probabilistic Refinement
Games and Logics for a Noninterleaving Bisimulation
On-Line Maintenance of an Approximate Bin-Packing Solution
Path layout on tree networks: Bounds in different label switching models
Extensibility in the Oberon System
Using Forward Reachability Analysis for Verification of Timed Petri Nets
Refining UML Interactions with Underspecification and Nondeterminism
Computing Invariance Kernels of Polygonal Hybrid Systems
Linear Time Maximum Induced Matching Algorithm for Trees
Uncountable Limits and the lambda Calculus
Formal Software Engineering for Computational Modelling
The Hardness of Cache Conscious Data Placement
Automatic Detection of Incomplete Instances of Structural Patterns in UML Class Diagrams
A Fast Approximation Algorithm for TSP with Neighborhoods
Timed CSP = Closed Timed epsilon-automata
Work-Optimal Simulation of PRAM Models on Meshes
Optimal Parallel Algorithms for Direct Dominance Problems
Generalized H-coloring and H-covering of Trees
How to Circumvent Church Numerals
Validating JavaScript Guidelines across Multiple Web Browsers
Online Evaluation of Regular Tree Queries
Animation and Presentation Tools for Object-Oriented Design
A Note on Higher Order Voronoi Diagrams
Partial Evaluation of Pattern Matching in Strings, revisited
Optimal Roundings of Sequences and Matrices
Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card
Safe Dynamic Multiple Inheritance
A New Method for Updating and Rebalancing Tree-Type Main Memory Dictionaries
Fatal Steps of Knuth-Bendix Completion. Nordic Journal of Computing
Chain Programming over Difference Constraints
An Incremental Unique Representation for Regular Trees
A Family of Bipartite Cardinality Matching Problems Solvable in O(n 2 ) Time
String-Matching with Automata
Editor's Foreword
PRO: A Model for the Design and Analysis of Efficient and Scalable Parallel Algorithms
Binary Queries for Document Trees
An Approximation Algorithm for the Minimum Common Supertree Problem
CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time
Synthesizing Distinguishing Formulae for Real Time Systems
Transposition Invariant Pattern Matching for Multi-Track Strings
Space-Efficient Construction Variants of Dynamic Programming
On the Complexity of Graph Covering Problems
Structuring and Verifying Distributed Algorithms
A Succinct Solver for ALFP
The Power-p Steiner Tree Problem
Service Engineering with the SIMS Design and Validation Tools
An Overview of a Dynamic Programming Environment Based on Extensibility
Approximate Average Storage Utilization of Bucket Methods with Arbitrary Fanout
Operational Semantics of Termination Types
On Finding Ordinary or Monochromatic Intersection Points
An Architecture Exploration Environment for System on Chip Design
Mendler-Style Inductive Types, Categorically
A View-Based Dynamic Replication Control Algorithm
Approximating a Minimum Manhattan Network
Towards Unambiguous Model Fragments
Least and Greatest Solutions of Equations over N
Computing a Threaded Quadtree from the Delaunay Triangulation in linear Time
The Complexity of Approximation PSPACE-Complete Problems for Hierarchical Specifications
Source-to-Source Translation of Visual Languages
Structured Nodes in UML 2.0 Activities
Towards Fully-Fledged Reverse Inheritance in Eiffel
Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting
Abstracting Refinements for Transformation
Complexity Aspects of Two-Dimensional Data Compression
On the Euclidean 3-Matching Problem
Recursion Schemes from Comonads
Compact Factorization of Finite-State Transducers and Finite-State Automata
Trade-Offs in Non-Reversing Diameter
An Optimal Parallel Algorithm for All-Pairs Shortest Paths on Unweighted Interval Graphs
Modular Development of Interpreters from Semantic Building Blocks
A Trade-Off for Worst-Case Efficient Dictionaries
Range-Aggregate Query Problems Involving Geometric Aggregation Operations
Attribute Extensions - a Technique for Enforcing Programming Conventions
Implementation of Control Systems Using B Action Systems: A Case Study
A Logical View of Concurrent Constraint Programming
Guest Editors Foreword
Approximation Algorithms for the Shortest Common Supersequence
A Formalism for Reasoning about UML Activity Diagrams
Tracking Mobile Users in Cellular Networks using Timing Information
Approximate String Matching with Gaps
A Model-Based Approach to Reflective Command Interfaces
Polynomially Bounded Minimization Problems That Are Hard to Approximate
Speed is More Powerful than Clairvoyance
Fast Median-Finding on Mesh-Connected Computers with Segmented Buses
New Upper Bounds on Voronoi Diagrams of Moving Points
Algebraic Specifications: some old history and new thoughts
Placing an Obnoxious Facility in Geometric Networks
Axiomatizing Binding Bigraphs
Practical In-Place Mergesort
Simple General Recursion in Type Theory
NC Coloring Algorithms for Permutation Graphs
Structured Specifications and Implementation of Nondeterministic Data Types
Disjoint Paths in Circular Arc Graphs
An Efficient Randomized Algorithm for the Closest Pair Problem on Colored Point Sets
Implementing Java Compilers Using ReRAGs
Learning Semantic Functions of Attribute Grammars
Identifying Negative Cost Cycles in Strongly Polynomial Space
Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric
Static Analysis for Blinding
Elucidative Program Tutorials
Type Inference with Simple Selftypes is NP-complete
Improved Exploration of Rectilinear Polygons
A Tabular Method for Verification of Data Exchange Algorithms on Networks of Parallel Processors
Semantic Foundation and Validation of Live Activity Diagrams
A Note on K-State Self-stabilization in a Ring with K=N
The Ragnarok Software Development Environment
Formal Development of NoC Systems in B
Timed-Gamma and its Coordination Language
Documentation Threads - Presentation of Fragmented Documentation
A lambda Calculus of Objects and Method Specialization
A Pattern-Based J2EE Application Development Environment
Computer Aided Fusion for Algebraic Program Derivation
Transfinite Corecursion
Optimal Height Reduction Problems for Tree-Structured Hierarchies
Programming Languages Capturing Complexity Classes
Navigation Piles with Applications to Sorting, Priority Queues, and Priority Deques
Cost-Based Analysis of Probabilistic Programs Mechanised in HOL
Reducing to Independent Set Structure -- the Case of k-Internal Spanning Tree
Formal Specification and Analysis of Hardware Systems in Timed Chi
Maintaining Partial Sums in Logarithmic Time
Maintaining Program Understanding -- Issues, Tools, and Future Directions
On Introducing Higher Order Functions in ABEL
Generalized Domination in Chordal Graphs
Experiments with the Auction Algorithm for the Shortest Path Problem
Blood from Dahm's Turnip
Practical Refactoring of Executable UML Models
Partitioning Graphs into Generalized Dominating Sets
Improved Upper Bounds for Time-Space Trade-offs for Selection
A Note on Crochemore's Repetitions Algorithm - A Fast Space-Efficient Approach
A Randomized Subexponential Algorithm for Parity Games
Bounding the Gain of Changing the Number of Memory Modules in Shared Memory Multiprocessors
A Web-Based Support Environment for Software Engineering Experiments
A Pattern-Based Approach to Generate Code from API Usage Scenarios
Randomized Approximation of the Constraint Satisfaction Problem
Translation of Conditional Compilation Nordic Journal of Computing
Delegating Compiler Objects: Modularity and Reusability in Language Engineering
On the Expressive Power of the Loop Language
Case Study on a Process of Industrial MDA Realization -- Determinants of Effectiveness
Summary of the Subworkshop on Change Management
Coordination Technologies for Internet Agents
Approximation-based Tree Regular Model-Checking
Lower Bounds for Dynamic Transitive Closure, Planar Point Location, and Parantheses Matching
Clock Difference Diagrams
The Persistent Workshop - a Programming Environment for Napier88
On the Communication Complexity of Strong Time-Optimal Distributed Algorithms
A Simplified Derivation of Timing Complexity Lower Bounds for Sorting by Comparisons
On the Ordinary Line Problem in Computational Geometry
Efficiency Analysis of Overlapped Quadtrees
A Mechanized Theory of the Pi-Calculus in HOL
Verification of Giotto based Embedded Control Systems
A Dynamic Key Generation Scheme for Access Control in a Hierarchy
Theme Issue on Programming Environments - Editor's Foreword
Finding an Ordinary Conic and an Ordinary Hyperplane
Hard Graphs for the Randomized Boppana-Halldörsson Algorithm for MAXCLIQUE
Two Minimum Dominating Sets with Minimum Intersection in Chordal Graphs
Proportion Split Sort
A Type System for Bounded Space and Functional In-Place Update
A Model-Driven Approach to Variability Management in Product-Line Engineering
Controlling Memory Access Concurrency in Efficient Fault-Tolerant Parallel Algorithms
Comparison of Modeling Frameworks for Software Engineering
A Systematic Approach to Synthesize Data Alignment Directives for Distributed Memory Machines
Composition, Decomposition and Model Checking of Pushdown Processes
Analysis of Linear Hashing Revisited
Widest-Corridor Problems
Formalising Scheduling Theories in Duration Calculus
Featback: Method for Enhancing Management of Agile Development
Linear-time certifying recognition algorithms and forbidden induced subgraphs
Code Clones: Good, Bad, or Ugly?
On Finding Minimum-Diameter Clique Trees
A Versatile Constraint-Based Type Inference System
Language Embeddings that Preserve Staging and Safety
A New Algorithm for the Maximum-Weight Clique Problem
Code Synthesis for Timed Automata
Continuous Action Systems as a Model for Hybrid Systems
Scheduling Jobs before Shut-Down
Succinct Suffix Arrays based on Run-Length Encoding
Streaming Maximum-Minimum Filter Using No More than Three Comparisons per Element
Improved On-the-fly Verification with Testers
Interactive Language Development for Embedded Systems
A Real-Time Process Algebra with Open Intervals and Maximal Progress
Universes for Generic Programs and Proofs in Dependent Type Theory
The Competitive Ratio for On-Line Dual Bin Packing with Restricted Input Sequences
AML: Attribute Grammars in ML
Complexity of Domination-Type Problems in Graphs
Parametric Real-Time Model Checking Using Splitting Trees
Truth in the 'killer robots' angle?
Welcome to AI Matters, volume 2, issue 3
Modeling social norms in real-world agent-based simulations
Nonverbal communication in socially assistive human-robot interaction
AI policy
Welcome to AI Matter: volume 2, issue 1
Artificial intelligence for students in postsecondary education: a world of opportunity
AI conference reports
AI events
Machine learning meets visualization for extracting insights from text data
AI education matters: Guiding our Future AI Leaders with Joy and Justice
Welcome to AI matters 5(3)
Welcome to AI matters 4(4)
AI fun matters
Conference reports
AI profiles: an interview with Iolanda Leite
Decoding the Chameleon Game
Celebrating the past, present, and future of computing
Obituary: Jon Oberlander
AI policy matters
Artificial intelligence for all using R programming language
Mechanism design for social good
Blue sky ideas in artificial intelligence education from the EAAI 2017 new and future AI educator program
Report on the special track in AI Education at FLAIRS 28
Adapting BERT for 'Apples to Apples' Gameplay
Creating the human standard for ethical autonomous and intelligent systems (A/IS)
Situated natural language interaction in uncertain and open worlds
Human-robot collaboration
AI education matters: a first introduction to modeling and learning using the data science workflow
ACM/SIGAI autonomous agents research award for Dr. Catherine Pelachaud
Machine learning techniques for brain signal analysis with applications on seizure detection and brain-computer interfaces
Welcome to AI Matters 6(1)
AI profiles: an interview with Jim Kurose
Advancing non-convex and constrained learning: challenges and opportunities
AI education: open-access educational resources on AI
Long-term interactions with empathic social robots
Study, design, and evaluation of exploration strategies for autonomous mobile robots
AI profiles: an interview with Maja Matarić
AI education matters: Model AI assignment "ScalarFlow: implementing reverse mode automatic differentiation"
AI amusements: my favorite marvin
Future progress in artificial intelligence: a poll among experts
Student travel award recipients for the 2015 AAAI/SIGAI doctoral consortium
A new approach for disruption management in airline operations control
AAAI/ACM SIGAI job fair 2020: a retrospective
Welcome to AI Matters 10(2)
Welcome to AI matters 6(3)
A persuasive virtual chat agent based on sociolinguistic theories of influence
Learning natural language interfaces with neural models
Welcome to AI matters 8(2)
AI-Oracle Machines for Intelligent Computing
SIGAI Annual Report: July 1 2022 - August 30 2023
Novel hierarchical feature selection algorithms for predicting genes' aging-related function
Onboard machine learning classification of images by a cubesat in Earth orbit
AI practioners: on the Northeast Ohio ACM
Welcome to AI matters, volume 3, issue 4
An N-Gram Framework for Sentiment and Emotion-Aware Word Association Games
Neighborhood graph construction for semi-supervised learning
AI education: birds of a feather
AAAI/ACM SIGAI job fair 2019: a retrospective
Interpolating Humour - Can Lines Be Funny?
AI education matters: lessons from a kaggle click-through rate prediction competition
IEEE big data 2017 panel discussion on bias and transparency
Novel practices and highlights from the Fourth Workshop on Mechanism Design for Social Good
NSF AI institute for research on trustworthy ai in weather, climate, and coastal oceanography
AI education: adaptive planning
Welcome to AI matters, volume 3, issue 3
Book Review: Understanding Large Language Models: Learning Their Underlying Concepts and Technologies
AI amusements: computer elected governor of California Corpus Legis trounces human opponents in state election
Welcome to AI matters 8(1)
Welcome to AI matters 7(3)
Cosmology of artificial intelligence project: libraries, makerspaces, community and AI literacy
Welcome to AI Matters 10(3)
Wow! that looks strange: computational models for detection and reasoning about abnormalities in images
Artificial intelligence: the societal responsibility to inform, educate, and regulate
AI education matters: biductive computing with prolog
EAAI-22 Blue Sky Ideas in Artificial Intelligence Education from the AAAI/ACM SIGAI New and Future AI Educator Program
2023 EAAI mentored undergraduate research challenge: human-aware AI in sound and music
Computer science curricula 2013 (CS2013): AI and the intelligent systems knowledge area
Welcome to AI Matters 10(1)
AI education matters: EAAI mentored undergraduate research challenges past, present, and future
Welcome to AI matters 6(2)
Online machine learning for networked data
AI education matters: teaching search algorithms
Learning to see the physical world
Welcome to AI Matters 7(2)
Welcome to AI matters 5(2)
AI profiles: an interview with Kristian Kersting
Autonomous agents and multiagent systems: perspectives on 20 years of AAMAS
Welcome to AI matters, volume 3, issue 2
ACM IUI 2015 conference highlights
Call for nominations: 2022 SIGAI industry award
ACM SIGAI China: a new incubator for AI in China
The new robber barons: the optimistic objectivists overturning the old order
Contextual test: an alternative way to measure computer ability
1st AAAI/ACM Conference on Artificial Intelligence, Ethics, and Society: a retrospective
Large-scale hierarchical classification with rare categories and inconsistencies
ACM SIGAI activity report
Interactions between learning and decision making
EAAI-23 Blue Sky Ideas in Artificial Intelligence Education from the AAAI/ACM SIGAI New and Future AI Educator Program
AI education: deep neural network learning resources