yusuke1997/dblp-id-title huggingface dataset:
Image Based Recognition of Graze Direction Using Adaptive Methods
Ghost in the Cave - An Interactive Collaborative Game Using Non-verbal Communication
Continuous Realtime Gesture Following and Recognition
AcouMotion - An Interactive Sonification System for Acoustic Motion Control
Experience with and Requirements for a Gesture Description Language for Synthetic Animation
Spatialised Semantic Relations in French Sign Language: Toward a Computational Modelling
Some Issues in Sign Language Processing
An Inertial Measurement Framework for Gesture Recognition and Applications
Using Hand Gesture and Speech in a Multimodal Augmented Reality Environment
Mnemonical Body Shortcuts for Interacting with Mobile Devices
Feeling It as well as Seeing It - Haptic Display within Gestural HCI for Multimedia Telematics Services
Classification of Gesture with Layered Meanings
Gesture in Embodied Communication and Human-Computer Interaction, 8th International Gesture Workshop, GW 2009, Bielefeld, Germany, February 25-27, 2009, Revised Selected Papers
To Beat or Not to Beat: Beat Gestures in Direction Giving
Gestures in Human-Computer Interaction - Just Another Modality?
Toward a Motor Theory of Sign Language Perception
The Development of a Glove-based Input System as part of the Sign PS Project
Juggling Gestures Analysis for Music Control
A Dynamic Model for Real-Time Tracking of Hands in Bimanual Movements
Temporal Symbolic Integration Applied to a Multimodal System Using Gestures and Speech
Architectural Models of Gesture Systems
Multimodality and Gestures in the Teacher?s Communication
Gestures for Large Display Control
Signer-Independent Continuous Sign Language Recognition Based on SRN/HMM
Gesturing with Tangible Interfaces for Mixed Reality
A Mathematical Model for Hand-Shape Analysis
Models with Biological Relevance to Control Anthropomorphic Limbs: A Survey
Research Challenges in Gesture: Open Issues and Unsolved Problems
Gesture Desk - An Integrated Multi-modal Gestural Workplace for Sonification
Some Experiments in the Gestural Control of Synthesized Sonic Textures
Toward Modeling Sign Language Coarticulation
Combining Two Synchronisation Methods in a Linguistic Model to Describe Sign Language
Expressive Bowing on a Virtual String Instrument
Overview of Capture Techniques for Studying Sign Language Phonetics
Notation System and Statistical Analysis of NMS in JSL
Gesture-Based and Haptic Interaction for Human Skill Acquisition
Gesture and Sign Language in Human-Computer Interaction, International Gesture Workshop, Bielefeld, Germany, September 17-19, 1997, Proceedings
Multimodal Analysis of Expressive Gesture in Music and Dance Performances
Finger Tracking Methods Using EyesWeb
Gestural Imagery in the Service of Musical Imagery
Generating Co-speech Gestures for the Humanoid Robot NAO through BML
String Bowing Gestures at Varying Bow Stroke Frequencies: A Case Study
Generating Data for Signer Adaptation
Imitation Games with an Artificial Agent: From Mimicking to Understanding Shape-Related Iconic Gestures
Person Localization and Posture Recognition for Human-Robot Interaction
Towards a Dialogue System Based on Recognition and Synthesis of Japanese Sign Language
Special Topics of Gesture Recognition Applied in Intelligent Home Environments
Real Time Hand Tracking and Gesture Recognition as a 3D Input Device for Graphical Applications
Conceptual and Lexical Factors in the Production of Speech and Conversational Gestures: Neuropsychological Evidence
Representation of Human Postures for Vision-Based Gesture Recognition in Real-Time
Audio Based Real-Time Speech Animation of Embodied Conversational Agents
Towards an Automatic Sign Language Recognition System Using Subunits
Handshapes and Movements: Multiple-Channel American Sign Language Recognition
Gesture Spotting in Continuous Whole Body Action Sequences Using Discrete Hidden Markov Models
Stimulating Research into Gestural Human Machine Interaction
Captured Motion Data Processing for Real Time Synthesis of Sign Language
A Method for Selection of Optimal Hand Gesture Vocabularies
Implementing Distinctive Behavior for Conversational Agents
Gesture Analysis of Violin Bow Strokes
Investigating the Role of Redundancy in Multimodal Input Systems
Correlation of Gestural Musical Audio Cues and Perceived Expressive Qualities
Automatic Classification of Expressive Hand Gestures on Tangible Acoustic Interfaces According to Laban's Theory of Effort
The Recognition Algorithm with Non-contact for Japanese Sign Language Using Morphological Analysis
Human-Motion Saliency in Complex Scenes
Evoking Gestures in SmartKom - Design of the Graphical User Interface
Modeling Joint Synergies to Synthesize Realistic Movements
Design and Use of Some New Digital Musical Instruments
Corpus 3D Natural Movements and Sign Language Primitives of Movement
Rapid Evaluation of the Handwriting Performance for Gesture Based Text Input
Detection of Fingertips in Human Hand Movement Sequences
Sign Specification and Synthesis
Real-Time Acrobatic Gesture Analysis
Gesture Modelling for Linguistic Purposes
A Labanotation Based Ontology for Representing Dance Movement
Progress in Sign Languages Recognition
Visual Sign Language Recognition Based on HMMs and Auto-regressive HMMs
Synthesis of Hand-Arm Gestures
Intuitive Manipulation of a Haptic Monitor for the Gestural Human-Computer Interaction
Gesture-Based Communication in Human-Computer Interaction, 5th International Gesture Workshop, GW 2003, Genova, Italy, April 15-17, 2003, Selected Revised Papers
Multiscale Detection of Gesture Patterns in Continuous Motion Trajectories
Toward Scalability in ASL Recognition: Breaking Down Signs into Phonemes
Geometry and Effort in Gestural Renderings of Musical Sound
Interaction between Speech and Gesture: Strategies for Pointing to Distant Objects
Lifelike Gesture Synthesis and Timing for Conversational Agents
A Complete System for the Specification and the Generation of Sign Language Gestures
Dynamic Control of Captured Motions to Verify New Constraints
From a Typology of Gestures to a Procedure for Gesture Production
The Interaction of Iconic Gesture and Speech in Talk
Recognition of Musical Gestures in Known Pieces and in Improvisations
Communicative Rhythm in Gesture and Speech
The Role of Iconic Gestures in Production and Comprehension of Language: Evidence from Brain and Behavior
HMM-Based Continuous Sign Language Recognition Using Stochastic Grammars
A Virtual Reality-Based Framework for Experiments on Perception of Manual Gestures
Gesture Control of Sound Spatialization for Live Musical Performance
How Do Users Manipulate Graphical Icons? An Empirical Study
Visual Attention towards Gestures in Face-to-Face Interaction vs. on Screen
Hand Posture Recognition in a Body-Face Centered Space
Structural Analysis of Co-verbal Deictic Gesture in Multimodal Dialogue Systems
The Role of Spontaneous Gestures in Spatial Problem Solving
Control of In-vehicle Systems by Gestures
Reactiva'Motion Project: Motion Synthesis Based on a Reactive Representation
Deixis: How to Determine Demonstrated Objects Using a Pointing Cone
Visually Mediated Interaction Using Learnt Gestures and Camera Control
Neo Euclide: A Low-Cost System for Performance Animation and Puppetry
Evaluating Multimodal Interaction Patterns in Various Application Scenarios
Subject Interfaces: Measuring Bodily Activation During an Emotional Experience of Music
On Gestural Variation and Coarticulation Effects in Sound Control
Developing Task-Specific RBF Hand Gesture Recognition
An Experimental Comparison of Trajectory-Based and History-Based Representation for Gesture Recognition
Statistical Gesture Recognition Through Modelling of Parameter Trajectories
Gestural Attributions as Semantics in User Interface Sound Design
Non-obvious Performer Gestures in Instrumental Music
CGSMP: Controllable Generative Summarization via Multimodal Prompt
NeurSEG: A Segment Driven Deep Neural Model for Nested Named Entity Recognition
Multimodal Data Augmentation for Image Captioning using Diffusion Models
Proceedings of the 1st Workshop on Large Generative Models Meet Multimodal Applications, LGM3A 2023, Ottawa ON, Canada, 2 November 2023
SAT: Self-Attention Control for Diffusion Models Training
Multi-Modal Generative AI with Foundation Models
Generating Multimodal Augmentations with LLMs from Song Metadata for Music Information Retrieval
Subsampling of Frequent Words in Text for Pre-training a Vision-Language Model
Fashion-GPT: Integrating LLMs with Fashion Retrieval System
ImEW: A Framework for Editing Image in the Wild
Unlocking Multimedia Capabilities of Gigantic Pretrained Language Models
Large Generative Models Meet Multimodal Video Intelligence
Mathematics of Program Construction Applied to Analog Neural Networks
Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings
Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
Separation and Reduction
Tait in One Big Step
Angelic Termination in Dijkstra's Calculus
Fusion for Free - Efficient Algebraic Effect Handlers
Safe Modification of Pointer Programs in Refinement Calculus
Conservative Fixpoint Functions on a Graph
Unifying Correctness Statements
Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings
Recursion Schemes for Dynamic Programming
Workshop on Mathematically Structured Functional Programming, MSFP@MPC 2006, Kuressaare, Estonia, July 2, 2006
True Concurrency: Theory and Practice
Subtyping Without Reduction
Polytypic Downwards Accumulations
A Clear Picture of Lens Laws - Functional Pearl
Solving Regular Path Queries
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems
Inferring Type Isomorphisms Generically
Calculating Graph Algorithms for Dominance and Shortest Path
Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values
The Zip Calculus
How to Calculate with Nondeterministic Functions
Exploring an Interface Model for CKA
Designing Arithmetic Circuits by Refinement in Ruby
Dependently Typed Grammars
Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick
Types and Invariants in the Refinement Calculus
A Datastructure for Iterated Powers
Integrating Programming, Properties, and Validation
Programming for Behaviour
Applicative Assertions
A Calculus for Predicative Programming
Modular Reasoning in an Object-Oriented Refinement Calculus
Proving Pointer Programs in Hoare Logic
Algorithm Theories and Design Tactics
The Universal Algebra of Computational Effects: Lawvere Theories and Monads
Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings
Calculating Datastructures
Extracting Programs with Exceptions in an Impredicative Type System
Inorder Traversal of a Binary Heap and its Inversion in Optimal Time and Space
The Algorithmics of Solitaire-Like Games
An Analysis of Repeated Graph Search
Describing Gen/Kill Static Analysis Techniques with Kleene Algebra
The Shadow Knows: Refinement of Ignorance in Sequential Programs
Mathematics in Computer Science Curricula
En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad
Solving Optimisation Problems with Catamorphism
Towards a Calculus of Data Refinement
The Universal Resolving Algorithm: Inverse Computation in a Functional Language
Polynomial Functors Constrained by Regular Expressions
Asynchronous Exceptions as an Effect
Nondeterministic Folds
Modelling Nondeterminism
An Algebra of Scans
Auto in Agda - Programming Proof Search Using Reflection
Elementary Probability Theory in the Eindhoven Style
Designing an Algorithmic Proof of the Two-Squares Theorem
Freyd is Kleisli, for Arrows
Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
An Abstract Machine for the Old Value Retrieval
Dependently Typed Programming Based on Automated Theorem Proving
Zippy Tabulations of Recursive Functions
Pretty-printing: An Exercise in Functional Programming
An Alternative Derivation of a Binary Heap Construction Function
The Laws of Programming Unify Process Calculi
Coding with Asymmetric Numeral Systems
Logical Relations and Galois Connections
Process Algebras for Collective Dynamics
Rabbitcount : = Rabbitcount - 1
An Algebraic Calculus of Database Preferences
Breadth-First Traversal via Staging
Recounting the Rationals: Twice!
Self-certifying Railroad Diagrams - Or: How to Teach Nondeterministic Finite Automata
Reasoning about Timeouts
Experiments in Information Flow Analysis
Partial, Total and General Correctness
Fine Control of Demand in Haskell
Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings
Verified Self-Explaining Computation
Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs
Constructing Polymorphic Programs with Quotient Types
"Scrap Your Boilerplate" Revolutions
The Projection of Systolic Programs
A Logarithmic Implementation of Flexible Arrays
Functional Algorithm Design
Circulations, Fuzzy Relations and Semirings
Logical Specifications for Functional Programs
Generic Point-free Lenses
Scheduler-Independent Declassification
Termination is Timing
Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go
Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings
Improving Saddleback Search: A Lesson in Algorithm Design
On the Economy of doing Mathematics
A Derivation of Huffman's Algorithm
Compositional Reasoning for Pointer Structures
First-Past-the-Post Games
Regular Varieties of Automata and Coequations
Inverting Functions as Folds
Derivation of Parallel Algorithms from Functional Specifications to CSP Processes
Constructing Tournament Representations: An Exercise in Pointwise Relational Programming
Formal Derivation of Concurrent Garbage Collectors
Deriving Mixed Evaluation from Standard Evaluation for a Simple Functional Language
On Rely-Guarantee Reasoning
Formal Derivation of CSP Programs From Temporal Specifications
Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings
Preference Decomposition and the Expressiveness of Preference Query Languages
Handling Local State with Global State
Towards Totally Verified Systems
Exploiting Unique Fixed Points
Abstraction of Object Graphs in Program Verification
Stepwise Refinement and Concurrency: A Small Exercise
A Compositional Proof System for Asynchronously Communicating Processes
Towards a Practical Library for Monadic Equational Reasoning in Coq
Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29 - July 3, 1992, Proceedings
A Program Construction and Verification Tool for Separation Logic
Completeness and Incompleteness of Synchronous Kleene Algebra
Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards
On the Aesthetics of Diagrams (Summary of Talk)
Towards Automatic Parallelization of Logic Programs (Abstract)
Scheduling and Buffer Sizing of n-Synchronous Systems - Typing of Ultimately Periodic Clocks in Lucy-n
A Semantic Approach to Secure Information Flow
Monadic Reflection in Haskell
Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy
Unraveling Recursion: Compiling an IR with Recursion to System F
Aspects and Data Refinement
Reverse Exchange for Concurrency and Local Reasoning
Refinement Algebra with Operators for Enabledness and Termination
International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl, Germany, July 8, 2002
A Refinement Relation Supporting the Transition from Unbounded to Bounded Communication Buffers
Compiling Exceptions Correctly
Modular Tree Automata
Notions of Bidirectional Computation and Entangled State Monads
The Logic of Large Enough
Optimizing Generic Functions
Relational Semantics for Higher-Order Programs
Calculating Certified Compilers for Non-deterministic Languages
Beyond Fun: Order and Membership in Polytypic Imperative Programming
Turing-Completeness Totally Free
The Formal Construction of a Parallel Triangular System Solver
A Derivation of a Systolic Rank Order Filter with Constant Response Time
The Geometry of Synthesis - How to Make Hardware Out of Software
Swapping Arguments and Results of Recursive Functions
System F in Agda, for Fun and Profit
ImpUNITY: UNITY with Procedures and Local Variables
Asymptotic Improvement of Computations over Free Monads
A General Scheme for Breadth-First Graph Traversal
Computation Calculus - Bridging a Formalization Gap
Derivation of a Parallel Matching Algorithm
Constructing a Calculus of Programs
Networks of Communicating Processes and Their (De-)Composition
Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes
Cylindric Kleene Lattices for Program Construction
The Böhm-Jacopini Theorem Is False, Propositionally
(Relational) Programming Laws in the Boom Hierarchy of Types
Type-Indexed Data Types
Liberating Data Refinement
Distributing a Class of Sequential Programs
Mathematics of Software Engineering
A Hoare Logic for Call-by-Value Functional Programs
Algebras for Combinatorial Search
What Is a Good Process Semantics?
Folding over Neural Networks
Compositional Action System Derivation Using Enforced Properties
Hierarchy in Generic Programming Libraries
Extended Calculus of Constructions as a Specification Language (Abstract)
Calculating a Round-Robin Scheduler
Lazy Kleene Algebra
Streams of Approximations, Equivalence of Recursive Effectful Programs
Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings
An Operational Semantics for the Guarded Command Language
A Unifying Framework for Correct Program Construction
Convergence of Program Transformers in the Metric Space of Trees
Reasoning about Non-terminating Loops Using Deadline Commands
Program Construction by Parts
Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series
A Tracking Semantics for CSP
Some Results in Dynamic Model Theory
The Linear Algebra of UTP
Homomorphisms and Promotability
Parameterised Notions of Computation
Probabilistic Choice in Refinement Algebra
An Algebraic Construction of Predicate Transformers
Travelling Processes
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
Metacomputation-Based Compiler Architecture
Realizability Models for Program Construction
Verifying a Semantic beta-eta-Conversion Test for Martin-Löf Type Theory
A Categorial Approch to the Theory of Lists
A Formal Approach To Large Software Construction
Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings
Subtyping, Declaratively
A Relation-Algebraic Approach to Multirelations and Predicate Transformers
Adjoint Folds and Unfolds
Generic Views on Data Types
Calculating a Path Algorithm
Proofs of Randomized Algorithms in Coq
Program Fusion with Paramorphisms
A Time-Interval Calculus
Algebraic Proof Assistants in HOL
Matrices as Arrows!
Verification of Programs on Truly Nested Datatypes in Intensional Type Theory
Bimonadic Semantics for Basic Pattern Matching Calculi
Sampling, Splitting and Merging in Coinductive Stream Calculus
A Set-Theoretic Model for Real-Time Specification and Reasoning
Setoid Type Theory - A Syntactic Translation
Specifications of Concurrently Accessed Data
Induction and Recursion on Datatypes
Probabilistic Predicative Programming
An Approach to Object-Orientation in Action Systems
Synthesizing Proofs from Programs in the Calculus of Inductive Constructions
Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
Stepwise Refinement of Action Systems
Scrap Your Type Applications
Initialisation with a Final Value, an Exercise in Program Transformation
Towards Generic Programming with Sized Types
Streaming Representation-Changers
Formal Derivation of a Loadable Asynchronous Counter
Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
Searching by Elimination
The Essence of the ITERATOR Pattern
A Metalanguage for Programming with Bound Names Modulo Renaming
Symmetric and Synchronous Communication in Peer-to-Peer Networks
From Kleene Algebra to Refinement Algebra
Compositionality of Secure Information Flow
Upwards and Downwards Accumulations on Trees
A Simple, Efficient, and Flexible Implementation of Flexible Arrays
An Elementary Derivation of the Alternating Bit Protocol
An Initial-Algebra Approach to Directed Acyclic Graphs
Generalising Monads (Abstract)
Unifying Theories of Programming That Distinguish Nontermination and Abort
Formal Methods and Dependability
Program Construction in Intuitionistic Type Theory (Abstract)
Nested Datatypes
The Expression Lemma
Algebra of Programming Using Dependent Types
On Automated Program Construction and Verification
Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach
Theorems about Composition
Pointer Theory and Weakest Preconditions without Addresses and Heap
Computer-Aided Computing
An Injective Language for Reversible Computation
A Free Construction of Kleene Algebras with Tests
Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications
Exercises in Quantifier Manipulation
Relation-Algebraic Derivation of Spanning Tree Algorithms
Continuous Action System Refinement
Exploring Summation and Product Operators in the Refinement Calculus
An Action System Specification of the Caltech Asynchronous Microprocessor
Realizability of Monotone Coinductive Definitions and Its Application to Program Synthesis
Unfolding Abstract Datatypes
Shallow Embedding of Type Theory is Morally Correct
Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm
Fission for Program Comprehension
Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings
Transformational Programming and Forests
Constructing Rewrite-Based Decision Procedures for Embeddings and Termination
Implementing a Normalizer Using Sized Heterogeneous Types
Constructing Applicative Functors
A Graphical Calculus
Flexibly Graded Monads and Graded Algebras
Eternity Variables to Simulate Specifications
Friends Need a Bit More: Maintaining Invariants Over Shared State
Modal Semirings Revisited
Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening
A Lattice-theoretical Basis for a Specification Language
On Guarded Commands with Fair Choice
Lucy-n: a n-Synchronous Extension of Lustre
Temporal Logic Verification of Lock-Freedom
An Application of Program Derivation Techniques to 18th-Century Mathematics
Verification of Java's AbstractCollection Class: A Case Study
Certification of Breadth-First Algorithms by Extraction
Quantum Predicative Programming
Specware: Formal Support for Composing Software
A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning
Slack Elasticity in Concurrent Computing
A Proof Rule for Control Loops
Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Transposing Relations: From Maybe Functions to Hash Tables
Quantum Programming
Shorter Paths to Graph Algorithms
Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets
The Capacity-CTorch Problem
Prototyping Generic Programming in Template Haskell
Refunctionalization at Work
Polytypic Values Possess Polykinded Types
Programming with Effects in Coq
Optisches Rechnen
Der Studiengang Naturwissenschaftliche Informatik an der Universität Bielefeld
Information und der Begriff der Wirkung
Gibt es ein zur starken Wechselwirkung analoges Prinzip bei der neuronalen Informationsverarbeitung?
Computer Algebra and Neurodynamics
Bit, Entropie und Information