yusuke1997/dblp-id-title huggingface dataset:
Development of Peripheral Feedback to Support Lectures
The LIMSI RT06s Lecture Transcription System
Term-Weighting for Summarization of Multi-party Spoken Dialogues
Hierarchical Multi-stream Posterior Based Speech Recognition System
Piecing Together the Emotion Jigsaw
An Ego-Centric and Tangible Approach to Meeting Indexing and Browsing
Zakim - A Multimodal Software System for Large-Scale Teleconferencing
Dominance Detection in Meetings Using Easily Obtainable Features
Speaker Localization in CHIL Lectures: Evaluation Criteria and Results
VACE Multimodal Meeting Corpus
A Speaker Localization System for Lecture Room Environment
Analysing Meeting Records: An Ethnographic Study and Technological Implications
Detection and Resolution of References to Meeting Documents
Proceedings of the ICMI-MLMI '09 Workshop on Multimodal Sensor-Based Systems and Mobile Phones for Social Computing, MLMI 2009, Cambridge, Massachusetts, USA, November 6, 2009
Text Based Dialog Act Classification for Multiparty Meetings
The ICSI-SRI Spring 2006 Meeting Recognition System
Machine Learning for Multimodal Interaction, Third International Workshop, MLMI 2006, Bethesda, MD, USA, May 1-4, 2006, Revised Selected Papers
Gaussian Process Latent Variable Models for Human Pose Estimation
Machine Learning for Multimodal Interaction, 5th International Workshop, MLMI 2008, Utrecht, The Netherlands, September 8-10, 2008. Proceedings
The 2004 ICSI-SRI-UW Meeting Recognition System
Syntactic Chunking Across Different Corpora
Emotion Analysis in Man-Machine Interaction Systems
What Does the Face-Turning Action Imply in Consensus Building Communication?
Long-Term Temporal Features for Conversational Speech Recognition
The NITE XML Toolkit Meets the ICSI Meeting Corpus: Import, Annotation, and Browsing
Meeting Modelling in the Context of Multimodal Research
Developing and Evaluating a Meeting Assistant Test Bed
Daily Routine Classification from Mobile Phone Data
Can Chimeric Persons Be Used in Multimodal Biometric Authentication Experiments?
To Separate Speech
Accessing Multimodal Meeting Data: Systems, Problems and Possibilities
Overlap in Meetings: ASR Effects and Analysis by Dialog Factors, Speakers, and Collection Site
Automatic Speech Recognition and Speech Activity Detection in the CHIL Smart Room
Toward Adaptive Information Fusion in Multimodal Systems
A Hybrid Generative-Discriminative Approach to Speaker Diarization
Object Category Recognition Using Probabilistic Fusion of Speech and Image Classifiers
A Multimodal Discourse Ontology for Meeting Understanding
Multistream Dynamic Bayesian Network for Meeting Segmentation
A Study of Phoneme and Grapheme Based Context-Dependent ASR Systems
Juicer: A Weighted Finite-State Transducer Speech Decoder
Speaker Diarization for Multi-microphone Meetings Using Only Between-Channel Differences
Accent Classification for Speech Recognition
Time-Compressing Speech: ASR Transcripts Are an Effective Way to Support Gist Extraction
Introducing Additional Input Information into Interactive Machine Translation Systems
Gaussian Mixture Models for CHASM Signature Verification
Using Static Documents as Structured and Thematic Interfaces to Multimedia Meeting Archives
A Lightweight Speech Detection System for Perceptive Environments
Making Remote 'Meeting Hopping' Work: Assistance to Initiate, Join and Leave Meetings
Speaker Diarization: From Broadcast News to Lectures
Extrinsic Summarization Evaluation: A Decision Audit Task
A Variable-Scale Piecewise Stationary Spectral Analysis Technique Applied to ASR
Tandem Connectionist Feature Extraction for Conversational Speech Recognition
The Connector Service-Predicting Availability in Mobile Contexts
Multimodal Authoring Tool for Populating a Database of Emotional Reactive Animations
Robust Speech Activity Detection in Interactive Smart-Room Environments
Developing a Consistent View on Emotion-Oriented Computing
Detection of Laughter-in-Interaction in Multichannel Close-Talk Microphone Recordings of Meetings
The "FAME" Interactive Space
Automatic Annotation of Dialogue Structure from Simple User Interaction
Browsing Recorded Meetings with Ferret
Estimating the Lecturer's Head Pose in Seminar Scenarios - A Multi-view Approach
Interactive Pattern Recognition
AV16.3: An Audio-Visual Corpus for Speaker Localization and Tracking
Da Vinci's Mona Lisa
Gesture Features for Coreference Resolution
A Neural Network Based Regression Approach for Recognizing Simultaneous Speech
Automatic Labeling Inconsistencies Detection and Correction for Sentence Unit Segmentation in Conversational Speech
Generic Dialogue Modeling for Multi-application Dialogue Systems
Audio-Visual Processing in Meetings: Seven Questions and Current AMI Answers
A Multimodal Analysis of Floor Control in Meetings
Designing and Evaluating Meeting Assistants, Keeping Humans in Mind
Using Prosodic Features in Language Models for Meetings
Workflow Support for Complex Grid Applications: Integrated and Portal Solutions
Connecting Condor Pools into Computational Grids by Jini
Towards a Protocol for the Attachment of Semantic Descriptions to Grid Services
Grid Computing, Second European Across Grids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004, Revised Papers
Integration of Blood Flow Visualization on the Grid: The FlowFish/GVK Approach
GRID Oriented Implementation of Self-organizing Maps for Data Mining in Meteorology
Semantic Matching of Grid Resource Descriptions
Optimization of Data Access for Grid Environment
First Prototype of the CrossGrid Testbed
A Grid Service Framework for Metadata Management in Self-e-Learning Networks
VOMS, an Authorization System for Virtual Organizations
Grid Infrastructure Monitoring as Reliable Information Service
Application Monitoring in CrossGrid and Other Grid Projects
Managing MPI Applications in Grid Environments
Interactive Distributed Data Access in a GRID Environment
Flood Forecasting in CrossGrid Project
Dependable Global Computing with JaWS++
A Flexible Multi-level Grid Monitoring Architecture
Towards an UML Based Graphical Representation of Grid Workflow Applications
Grid Services for HLA-Based Distributed Simulation Frameworks
Grid Characteristics and Uses: A Grid Definition
The CrossGrid Architecture: Applications, Tools, and Grid Services
Network Performance Measurements as Part of Feasibility Studies on Moving an ATLAS Event Filter to Off-Site Institutes
Job Scheduling and Resource Management Techniques in Economic Grid Environments
OpenMolGRID, a GRID Based System for Solving Large-Scale Drug Design Problems
Automatic Services Discovery, Monitoring and Visualization of Grid Environments: The MapCenter Approach
Mobile Work Environment for Grid Users
ULabGrid, an Infrastructure to Develop Distant Laboratories for Undergrad Students over a Grid
Comparison of Grid Middleware in European Grid Projects
Enabling Knowledge Discovery Services on Grids
High-Performance GRID Stream Database Manager for Scientific Data
Lhcmaster - A System for Storage and Analysis of Data Coming from the ATLAS Simulations
Jiro Based Grid Infrastructure Monitoring System - State of Development Report
ATLAS Data Challenges in GRID Environment on CYFRONET Cluster
EU Funded Grid Development in Europe
Dynamic Grid Catalog Information Service
Experiences on Grid Resource Selection Considering Resource Proximity
Monitoring Message-Passing Parallel Applications in the Grid with GRM and Mercury Monitor
MPICH-G2 Implementation of an Interactive Artificial Neural Network Training
A Grid-Enabled Air Quality Simulation
Wireless Java-Enabled MIDP Devices as Peers in a Grid Infrastructure
Pegasus: Mapping Scientific Workflows onto the Grid
Overview of an Architecture Enabling Grid Based Application Service Provision
The EU-CrossGrid Approach for Grid Application Scheduling
Grid-Enabled Visualization with GVK
SCALEA-G: A Unified Monitoring and Performance Analysis System for the Grid
Using Global Snapshots to Access Data Streams on the Grid
TCP Behavior on Transatlantic Lambda's
Monitoring Grid Applications with Grid-Enabled OMIS Monitor
RAID-1 and Data Stripping across the GRID
Performance Prediction in a Grid Environment
Grid Computing in Structure Determination of Biological Specimens by Electron Microscope Tomography
A Grid Framework for Optimistic Resource Sharing
An Advanced Architecture for a Commercial Grid Infrastructure
A Parallel I/O Middleware to Integrate Heterogeneous Storage Resources on Grids
The G-PM Tool for Grid-Oriented Performance Analysis
A Low-Cost Rescheduling Policy for Dependent Tasks on Grid Computing Systems
A Grid-Enabled Adaptive Problem Solving Environment
Software Engineering in the EU CrossGrid Project
MAPFS-Grid: A Flexible Architecture for Data-Intensive Grid Applications
Debugging MPI Grid Applications Using Net-dbx
A Grid Representation for Distributed Virtual Environments
An Overview of European Grid Projects
An Advanced Security Infrastructure for Heterogeneous Relational Grid Data Sources
Search Engines for the Grid: A Research Agenda
A Migration Framework for Executing Parallel Programs in the Grid
Decentralized vs. Centralized Economic Coordination of Resource Allocation in Grids
Grid Computing, First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003, Revised Papers
Design and Implementation of a Grid-Enabled Component Container for CORBA Lightweight Components
Implementations of a Service-Oriented Architecture on Top of Jini, JXTA and OGSI
Support for User-Defined Metrics in the Online Performance Analysis Tool G-PM
Towards a Theory of Reach
Higher-Order Strictness Typing
Trends in Functional Programming - 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers
First-class open and closed code framgents
Confluence for Functional Dependencies
Proving Type Class Laws for Haskell
Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, TFP 2004, München, Germany, 25-26 November 2004
Free Monads, Intrinsic Scoping, and Higher-Order Preunification
Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks
CAMLFLOW: a CAML to data-flow graph translator
Infinite Pretty-printing in eXene
Alpha Beta Pruning with the Selection Monad
MatchMaker: A DSL for Game-Theoretic Matching
Constraint-Free Type Error Slicing
Flattening Combinations of Arrays and Records
The Random Access Zipper - Simple, Persistent Sequences
Functional Reactive GUI Programming with Modal Types
Explicit Level Imports
Lingua Franca of Functional Programming (FP)
The Design of a Practical Proof Checker for a Lazy Functional Language
Balancing Shared and Distributed Heaps on NUMA Architectures
The costs and benefits of cloning in a lazy functional language
A Type Inference System Based on Saturation of Subtyping Constraints
Proving the correctness of algorithmic debugging for functional programs
A purely functional implementation of ROBDDs in Haskell
Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types
An Abstract Machine for Parallel Lazy Evaluation
QuickChecking Patricia Trees
How to Combine the Benefits of Strict and Soft Typing
Controlling parallelism and data distribution in Eden
Memoized Flat Closures for CPS - or Taming Memory Allocation for \lambda λ in CPS
Quotients by Idempotent Functions in Cedille
Trends in Functional Programming - 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers
ZG-machine: a Space-Efficient G-machine
Proving termination using dependent types: the case of XOR-terms
An application of functional programming: quilting
Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers
Deep Embedding with Class
Trends in Functional Programming - 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers
Impredicative Encodings of Inductive-Inductive Data in Cedille
Static single information from a functional perspective
Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker
Call-by-Value Semantics for Mutually Recursive First-Class Modules
Resource-Dependent Algebraic Effects
Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution
Evaluating Call-by-Need on the Control Stack
Flexible Formality Practical Experience with Agile Formal Methods
Repeating History: Execution Replay for Parallel Haskell Programs
Towards a Box Calculus for Hierarchical Hume
Formal Specification and Implementation of Distributed Lazy Group Membership Protocol
Literate Programming and Cultural Practice
Error Messages for Students Taught Using a Systematic Program Design Curriculum
Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava
An Industrial use of FP: A Tool for Generating Test Scripts from System Specifications
Experiments with GHC's optimiser
From Haskell to a New Structured Combinator Processor
Dynamic Flow Analysis for JavaScript
Type Generic Observing
The Blame Theorem for a Linear Lambda Calculus with Type Dynamic
Compiling Concurrency Correctly: Cutting out the Middle Man
Extending Higher-Order Deforestation: Transforming Programs to Eliminate Even More Trees
From GranSim to Paradise
Set Constraints, Pattern Match Analysis, and SMT
Logical relations for call-by-value delimited continuations
Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell
RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper)
Proof support for generic type classes
Improving Haskell
ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques
Reversible Session-Based Concurrency in Haskell
unreadTVar: Extending Haskell Software Transactional Memory for Performance
Typed Relational Conversion
The MT Architecture and Allocation Algorithm
Disjoint forms in graphical user interfaces
Functory: A Distributed Computing Library for Objective Caml
Towards Efficient Abstractions for Concurrent Consensus
Trends in Functional Programming - 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
Haskell Module Tools for Liberating Type Class Design
High-Level Modelling for Typed Functional Programming
Size Analysis of Algebraic Data Type
A Preliminary Type- and Control-Flow Analysis for System F ømega
Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data
Hop Client-Side Compilation
Trends in Functional Programming - 26th International Symposium, TFP 2025, Oxford, UK, January 14-16, 2025, Revised Selected Papers
Testing Scheme programming assignments automatically
Towards Modular Compilers for Effects
Hygienic Macros for ACL2
Reuse by Program Transformation
Trends in Functional Programming - 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers
Load Balancing in a Parallel Graph Reducer
Towards Optic-Based Algebraic Theories: The Case of Lenses
Polymorphism with Typed Holes
Refactorings to Enable Parallelization
Low Pain vs No Pain Multi-core Haskells
Designing a Generic Graph Library Using ML Functors
Synthesizing Accumulative Functions Via Program Transformation
The Dual of Substitution is Redecoration
How to Repair Type Errors Automatically
ComputErl - Erlang-Based Framework for Many Task Computing
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000
Static Balance Checking for First-Class Modular Systems of Equations
Translating Lambda Calculus into C++ Templates
Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland, August 29th to September 1st, 1999
Implementing Mobile Haskell
Interfacing Java with Haskell
List Homomorphisms with Accumulation and Indexing
Verifying Selective CPS Transformation for Shift and Reset
Type Inference for Rank 2 Gradual Intersection Types
Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler
Towards a Framework for Building Formally Verified Supercompilers in Coq
Understanding Algebraic Effect Handlers via Delimited Control Operators
Total Functional Software Engineering - Overview Paper
High Level BSP Programming: BSML and BSlambda
Calculating an exceptional machine
Energy-Aware Dynamic Adaptation of Runtime Systems
The space usage problem: An evaluation kit for graph reduction semantics
A Leaner Specification for GADTs
Programmable Signatures
BSP-based Cost Analysis of Skeletal Programs
Alternative Methods for Retaining Explicit and Finding Implicit Sharing in Embedded DSLs
Bypassing of Channels in Eden
BSP in a Lazy Functional Context
Towards Efficient Adjustment of Effect Rows
Towards a Verified STM
Property Directed Generation of First-Order Test Data
Communication for Task-Oriented Systems with Edge Devices
Optimisation of Dynamic, Hybrid Signal Function Networks
What's the Matter with Kansas Lava?
Thread-Safe Priority Queues in Haskell Based on Skiplists
White-Box Path Generation in Recursive Programs
On Graph Rewriting, Reduction and Evaluation
GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster
BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs
The CakeML Compiler Explorer - Tracking Intermediate Representations in a Verified Compiler
Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers
Haskell: Language for Business Systems
Complexity Certification of C++ Template Metaprogramming
Dependent Types for Distributed Arrays
Towards Heterogeneous Computing without Heterogeneous Programming
Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers
Higher-Order Size Checking without Subtyping
Functional Video Games in CS1 II
A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang
Programming with Dependent Additive Pairs
Custom Representations of Inductive Families
Parallel heuristic search in Haskell
Algorithm Design with the Selection Monad
Space-Efficient Latent Contracts
How to Specify It! - A Guide to Writing Properties of Pure Functions
Trends in Functional Programming - 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers
On the Correctness of Barron and Strachey's Cartesian Product Function
Formalisation of Haskell refactorings
Saint: An API-Generic Type-Safe Interpreter
Concurrent System Programming with Effect Handlers
Applicative Shortcut Fusion
Threading the Arduino with Haskell
State Will do
Matching Problem for Regular Expressions with Variables
Camelot and Grail: resource-aware functional programming for the JVM
Generalizing the AUGMENT combinator
Trends in Functional Programming, 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers
Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005
One Vote for Type Families in Haskell!
A Functional Approach to Sex: Reproduction in the Créatúr Framework
PaSe: An Extensible and Inspectable DSL for Micro-Animations
Type-specialized serialization with sharing
A static checker for safe pattern matching in Haskell
Typing Coroutines
Using Rewriting to Synthesize Functional Languages to Digital Circuits
Lightweight Invariants with Full Dependent Types
An Equational Modeling of Asynchronous Concurrent Programming
Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers
Self-aware Program Analysis in stableKanren
Trends in Functional Programming - 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers
Generic proofs for combinator-based generic programs
Deep Type Inference for Mobile Functions
Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP 2007, New York City, New York, USA, April 2-4. 2007
Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), University of Stirling, Bridge of Allan, Scotland, August 22nd to 24th, 2001
ProofViz: An Interactive Visual Proof Explorer
Things We Never Told Anyone About Functional Programming
Faster, Simpler Red-Black Trees
Testing reactive systems with GAST
On Using Erlang for Parallelization - Experience from Parallelizing Dialyzer
GiN: A Graphical Language and Tool for Defining iTask Workflows
A Generic Back-End for Exploratory Programming
Generalising Techniques for Type Debugging
FSM-Hume is finite state
Towards a More Efficient Selection Monad
Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties - Autotuning in Futhark
Type inference for MLj
Monad Factory: Type-Indexed Monads
Graphical and Incremental Type Inference: A Graph Transformation Approach
Generic Programming for Domain Reasoners
Epigram reloaded: a standalone typechecker for ETT
Graph Problems and Vector-Matrix Multiplications in Haskell
Project Report: Dependently Typed Programming with Lambda Encodings in Cedille
Using GHC core to Normalise Student Programs
Automatically Introducing Tail Recursion in CakeML
Prediction of linear memory usage for first-order functional programs
Epic - A Library for Generating Compilers
Alice through the looking glass
Space-Efficient Gradual Typing
The Embounded project (project start paper)
Comonadic functional attribute evaluation
Nearly Macro-free microKanren
Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture
Distributed Places
Reconstructing Continuation-Passing Semantics for WebAssembly
Supervised Workpools for Reliable Massively Parallel Computing
Braincurry: A Domain-specific Language for Integrative Neuroscience
A new approach to one-pass transformations
Call Arity
Proceedings of the Tenth Symposium on Trends in Functional Programming, TFP 2009, Komárno, Slovakia, June 2-4, 2009
Intrinsic Currying for C++ Template Metaprograms
Project Paper: Embedding Generic Monadic Transformer into Scala - Can We Merge Monadic Programming into Mainstream?
An Abstract Machine for Memory Management
Detecting common elements of types
An Operational Semantics for Distributed Lazy Evaluation
Software metrics: measuring Haskell
Lightweight Higher-Order Rewriting in Haskell
Model-Based Shrinking for State-Based Testing
A Metalanguage for Structural Operational Semantics
Testing with Functional Reference Implementations
O'Camelot: adding objects to a resource-aware functional language
A Type Theoretic Treatment of Context-Free Languages Without Mutual Recursion
Scaling Up Delta Debugging of Type Errors - Category: Research
Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, United Kingdom, 19-21 April 2006
When is an abstract data type a functor?
Multi-GPU Code Generation for Out-of-Core Problems
Building a Generic Feedback System for Rule-Based Problems
Proceedings of the Nineth Symposium on Trends in Functional Programming, TFP 2008, Nijmegen, The Netherlands, May 26-28, 2008
Noninterference Through Bisimulation
Every Animation Should Have a Beginning, a Middle, and an End - A Case Study of Using a Functor-Based Animation Language
Functional Testing of Java Programs
Well-Typed Islands Parse Faster
The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming - (Position Paper)
Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
Towards Compiling SAC to CUDA
Functional Video Games in CS1 III - Distributed Programming for Beginners
Efficient interpretation by transforming data types and patterns to functions
A Functional Design Framework for Genetic Algorithms
OCaml-Java: OCaml on the JVM
Is it time for real-time functional programming?
Generic generation of the elements of data types
Functional Video Games in the CS1 Classroom
Maintaining Separation of Concerns Through Task Oriented Software Development
Extensible and modular generics for the masses