yusuke1997/dblp-id-title huggingface dataset:
Trustworthiness, diversity and inference in recommendation systems
Polyhedral aspects of combinatorial designs
Combinatorial algorithms on partially ordered sets
Leveraging the Social Knowledge of Software Systems to Improve the Development Process
Aesthetic exploration and refinement : a computational framework for expressive character animation
Detecting Consistency Violations in Distributed Storage Systems
Average case computational complexity theory
Reliable routing and its application in MPLS and admission control
Investigation of nonlinearity in hyperspectral remotely sensed imagery
Supporting Simulink Model Management
Visibility graph recognition
Robustness and Invariance in Neural Networks
Oblivious and Non-oblivious Local Search for Combinatorial Optimization
NonMarkovian control in dynamical systems and planning
Bayesian learning for neural networks
Performance and Security Provisioning for Mobile Telecom Cloud
Modeling and Analysis of Optical Blur for Everyday Photography
Refactoring-based Requirements Refinement Towards Design
The software landscape: a visual formalism for programming-in-the-large
Performance improvement of case-based reasoning systems by integrating them with feature selection techniques
Autocorrelation and decomposition methods in combinational logic design
Program Comprehension Support for Assembly Language: Assessing the Needs of Specialized Groups
Machine learning approaches for structure-guided protein design
Robust Fluid Simulation over Complex Boundaries
Rational Agents: Prioritized Goals, Goal Dynamics, and Agent Programming Languages with Declarative Goals
Unobtrusive Storage Maintenance
Methods and Applications for Probing Deep Neural Networks
Reliable Approximate Solution of Systems of Delay Volterra Integro-differential Equations
TASK- AND DOMAIN-DEPENDENT NATURAL LANGUAGE PROCESSING FOR SUPPORTING SPOKEN DOCUMENT USE
Access methods for XML query optimization
Computational Acquisition of Robust Motor Skills
Interpolation and error control schemes for algebraic differential equations using continuous implicit runge-kutta methods
Towards Practical Machine Perception: Data, Representations and Models
Direct manipulation through robots, by the physically disabled
A Verification Framework for Access Control in Dynamic Web Applications
Investigations into history tools for user support
Considering Mobile Devices, Context Awareness, and Mobile Users
Automated Image Analysis for Systematic and Quantitative Comparison of Protein Expression within Cell Populations
Design and Use of Tree-Based Argument Graphs for Reducing Energy Consumption
Modern Foundations of Light Transport Simulation
The Algorithmic Expansion of Stories
Creating and filtering structural data visualizations using hygraph patterns
Remodeling Planning Domains Using Macro Operators and Machine Learning
Otherworld - Giving Applications a Chance to Survive OS Kernel Crashes
Texture measurements as a basis for heuristic commitment techniques in constraint-directed scheduling
Scalable Nested Optimization For Deep Learning
Computational Models For Domain-Peptide Mediated Protein-Protein Interactions
Hardware Specialization for Transaction Processing
On colourings of graphs
Studying the Unfulfilled Promises of Continuous Integration
Inferring Genetic Regulatory Networks Using Cost-based Abduction and Its Relation to Bayesian Inference
Defending Against DDoS and Unauthorized Access Attacks in Information Centric Networking
An orthogonal model for code generation
Exploring Reminiscence in Multimodal Digital Spaces
Reliability Analysis of Machine Vision Components in Safety-critical Systems against Human Performance
{Spatial Tactile Feedback Support for Mobile Touch-screen Devices
Conditional Neural Language Models for Multimodal Learning and Natural Language Understanding
Learning to Drive with Neural Motion Planner
Visual Learning Using Synthetic Data
Image processing and forward propagation using binary representations, and robust audio analysis using deep learning
Automatic Text and Speech Processing for the Detection of Dementia
Studying the Software Development Overhead of Build Systems
A formal theory of indexical knowledge and action
A Heuristic-based Dynamic Spectrum Sharing Framework in Cognitive Radio Networks
Monitoring and Diagnosis for Autonomic Systems: A Requirement Engineering Approach
An Ecosystem for Improving the Quality of Personal Health Records
A Computer Language Transformation System Capable of Generalized Context-Dependent Parsing
The Space Complexity of Asynchronous Algorithms from Bounded Size Base Objects
Software Ecosystem Sustainability, a Socio-Technical Perspective
Topologically adaptable deformable models for medical image analysis
The study of socio-technical coordination using a socio-technical congruence model
Learning distributed representations of relational data using linear relational embedding
Generation and Verification of Plans with Loops
Automatically generating hypertext by computing semantic similarity
The situation calculus: decidability and an approach based on the logic for non-monotone inductive definitions
Comprehension-driven software clustering
Data Quality Through Active Constraint Discovery and Maintenance
Quantitative representations of complex dynamic shape for motion analysis
Missing Data Problems in Machine Learning
Decision-theoretic Elicitation of Generalized Additive Utilities
D-NURBS: dynamic non-uniform rational B-splines
Measurement of image velocity
Mining Small Subgraphs in Massive Graphs
Automatic computation and data partitioning on scalable shared memory multiprocessors
Discovering and using semantics for database schemas
Towards Strong Generalization from Few Examples
Abstraction for Verification and Refutation in Model Checking
Shape representation from curvature
Communication-efficient Second-order Optimization Methods on Modern Parallel Systems
Machine learning-based approaches to data quality improvement in mobile crowdsensing and crowdsourcing
Fast algorithms to generate restricted classes of strings under rotation
Service Provisioning at the Network Edge - A VNF-Sharing Approach
Efficient Simulation, Accurate Sensitivity Analysis and Reliable Parameter Estimation for Delay Differential Equations
Satisfying database states
An infrastructure for autonomic and continuous long-term software evolution
Building a lexical knowledge-base of near-synonym differences
Bone Graphs: Medial Abstraction for Shape Parsing and Object Recognition
Using knowledge of job characteristics in multiprogrammed multiprocessor scheduling
Glove-talkII: mapping hand gestures to speech using neural networks - an approach to building adaptive interfaces
Symmetric Variational Inference with High Mutual Information
Modeling energy consumption in VLSI circuits
Feasible computation in higher types
Dynamic fisheye views: combining dynamic queries and mapping with database views
Tractable reasoning in incomplete first-order knowledge bases
Deep Learning Models for Unsupervised and Transfer Learning
New Algorithms for 3D Registration Using Raw Point Techniques
The co-design of virtual machines using reconfigurable hardware
Controlling the interactions of architectural design components using scoping rules
The approximation power of priority algorithms
Logical foundations of active databases
A communication model for message management systems
Local-spin Algorithms for Variants of Mutual Exclusion Using Read and Write Operations
A queueing theoretic approach to the delay analysis for a class of conflict resolution algorithms
Techniques for cardinality estimation in relational database systems
Generative Modeling with Differentiable Dynamics
Grammar-Based Test Generation: new tools and techniques
Conceptual design of discrete-event systems using templates
Physical design and query compilation for a semantic data model (assuming memory residence)
Automatic acquisition of lexical knowledge about multiword predicates
Integrity analysis: a methodology for EDP audit and data quality control
Making Trade-offs among Security and Other Requirements during System Design
Efficient Algorithms on Cocomparability Graphs via Vertex Orderings
Protein-protein Interaction Network Alignment and Evolution
A quantifier-free string theory for ALOGTIME reasoning
Threshold phenomena in random graph colouring and satisfiability
Understanding and Supporting Live Streaming in Non-gaming Contexts
Software Architecture-Based Failure Prediction
Control of reasoning in knowledge-based systems
CPU resource management for the java platform
Rigorous shadowing of numerical solutions of ordinary differential equations by containment
Learning Language-vision Correspondences
Leakage Resilience and Black-box Impossibility Results in Cryptography
Towards Enhanced Location and Sensing Services for the Internet of Things
Bethe free energy and contrastive divergence approximations for undirected graphical models
Log Engineering: Towards Systematic Log Mining to Support the Development of Ultra-large Scale Systems
An Exploration of Challenges Limiting Pragmatic Software Defect Prediction
Reconstructing Complex Cancer Evolutionary Histories from Multiple Bulk DNA Samples
Deep Transfer Learning Models for Prediction from Ultrasound
On the complexity of proof systems
Parallel Proofs for Parallel Programs
Computational methods for domination problems
Improv Remix: Video Manipulation Using Whole-body Interaction To Extend Improvised Theatre
A concurrent object coordination language: semantics and applications
Synthesis and Verification of Models using Satisfiability Modulo Theories
Human communication channels in distributed, artifact-centric, scientific collaboration
A Study of Traffic Locality and Reliability in Peer-to-Peer Video Streaming Applications
Ordinal-theoretic properties of logic programs
A formal treatment of incomplete knowledge bases
Anomaly Detection via Latent Variables Learned by Variational Autoencoders
Contact prediction, routing and fast information spreading in social networks
The development of rapid information processing methods for chemical problems
Building a foundation for the future of software practices within the multi-core domain
Addressing Challenges for Reliable Machine Learning Model Updates
Exploiting Linguistic Knowledge to Infer Properties of Neologisms
Simple, Faster Kinetic Data Structures
The Complexity of Composition: New Approaches to Depth and Space
State Complexity of Tree Automata
Part-based Representation and Editing of 3D Surface Models
Dynamic quorum systems in mobile ad-hoc networks
Time-domain electromagnetic modeling of UWB indoor wireless channels and systems
Computational Modeling of Drug Resistance: Structural and Evolutionary Models
Scoped behaviour for optimized distributed data sharing
Modeling and analysis of wireless cognitive radio networks: a geometrical probability approach
Object-orieinted Representation and Interaction: A Step Towards Cognitively Direct Interaction
Embodied Intelligence Through World Models
Optimizing Data Locality in Analytic Workloads over Distributed Computing Environments
Sensor planning for object search
Machine learning and causality: Building robust and scalable models for decision-making
Distributed broadcast and minimum spanning tree algorithms with low communication complexity
Supporting English Language Learners with an Adaptive Mobile Application
Reconstruction of Heterogeneous Scattering Media
Bridging the Gap Between Artificial and Human Intelligence Using Chess as a Model System
Hierarchical data visualization in desktop virtual reality
Transitioning to Agile: A Framework for Pre-adoption Analysis using Empirical Knowledge and Strategic Modeling
Applications of Quantum Cryptography
Towards policy analysis 2.0
Numerical methods for the valuation of synthetic Collateralized Debt Obligations
Boosting 3D Reconstruction with Differentiable Imaging Systems
On Load Balancing and Routing in Peer-to-peer Systems
Encryption security against key-dependent-message attacks: applications, realizations and separations
Structurally heterogeneous OLAP dimensions
Geometry-driven petri nets and a method for modelling mechatronic control systems
Artificial animals for computer animation: biomechanics, Locomotion, perception, and behavior
Second-order Optimization for Neural Networks
A Neural Network Approach to Efficient Valuation of Large VA Portfolios
Continuous-time Latent-variable Models for Time Series
Exploring information visualization use patterns in casual contexts
CSP++: an object-oriented application framework for software synthesis from CSP specifications
Extended Hand Attributes for Touch Input, Touch Output and Touchless Interaction
Creative Visual Expression in Immersive 3D Environments
FleXight: Flexible Information Channel for Software-Defined Networking
Index Structures for XML Databases
Natural language processing techniques for the purpose of sentinel event information extraction
On the discrete logarithm problem in finite fields and on elliptic curves
Theory of Mind Reasoning in Explanation, Plan Recognition, and Assistance: Theory and Practice
Memory Aids as Collaboration Technology
A Framework for Efficient Bandwith Management in Broadband Wireless Access Systems
The relationship between a phylogeny and its ordinal assertions
Controllable Scene Generation with Neural Networks
Signal processing and eigenvalue decomposition of polygonal meshes and applications
Computing motion and structure from noisy time-varying image velocity information
Specification and verification of communicating systems with value passing
An Efficient, Extensible, Hardware-aware Indexing Kernel
Handheld projector interaction
Strategies for Protein Engineering
Dimensional Analysis of Data Flow Programs
Analysis of sibling time series data: Alignment and difference detection
QoS Representation, Negotiation and Assurance in Cloud Services
Edge deletion in labelled graphs
Graph anonymization through edge and vertex addition
The approximate solution of large queueing network models
Reinforcement learning for factored Markov decision processes
Optimal and Robust Routing of Subscriptions for Unifying Access to the Past and the Future in Publish/Subscribe
Model-Level Debugging in the Context of the Model-Driven Development
Hierarchical Data Storage And Processing on the Edge of the Network
Managing Software Evolution Through Semantic History Slicing
Supporting concurrency, communication and synchronization in human-computer interaction
Clause Learning, Resolution Space, and Pebbling
Mobile Malware Detection and Mitigation
Exploiting Problem Structure in QBF Solving
A new approach for DAEs
Examining Solid State Drives as Part of Modern Storage Stacks and Large-Scale Enterprise Storage Systems
On performance improvement of restricted bandwidth multimedia conferencing over packet switched networks
Models of belief for decidable reasoning in incomplete knowledge bases
Randomness in proof complexity
Human-informed robotic percussion renderings: acquisition, analysis, and rendering of percussion performances using stochastic models and robotics
Towards Softwarized Drone Networks
Architecting Enterprise Capabilities using a Socio-technical Modeling Framework
Tensor Decomposition Method Applied to Recommendation Systems
Clustered Objects
Computability and complexity of Julia sets
Knowledge building in software developer communities
Enabling Consistent Workspaces Across Contexts For Information Workers
Learning Design: Aesthetic Models for Color, Layout and Typography
Embedding Security Monitors in Software Components
Tracking and visualizing dimension space coverage for exploratory data analysis
On secure, dynamic customizing of a meta-space-based operating system
Studying User-Developer Interactions Through the Updating and Reviewing Mechanisms of the Google Play Store
Efficient Graph Summarization of Large Networks
Integrative Network Analysis for Understanding Human Complex Traits
Structured sampling and reconstruction of illumination for image synthesis
Simulating visual systems using NPR techniques: methodology, framework, and case studies
Slicing UML's Three-layer Architecture: A Semantic Foundation for Behavioural Specification
Design Guidelines for Reducing Redundancy in Relational and XML Data
Unified Lower Bounds for Monotone Computation
Analyzing the Role of Users' Interactions in Information Spread
Automatic Distribution and Cloud-Native Deployment of Executable Component and Connector Models
Thanatosensitively Designed Technologies for Bereavement Support
Facilitating Discovery in Open Data Repositories
Interactive Content Adaptation
Dynamic web service discovery
Search Interfaces for Integrating Crowdsourced Code Snippets within Development Environments
Machine Learning Algorithms for Geometry Processing by Example
Production Knowledge in the Recognition of Dysarthric Speech
Structural robustness of the butterfly and related networks against random faults
Game-based notions of locality and their applications in data exchange
Towards practical functional programming
Making them behave: cognitive models for computer animation
Deep Learning Dynamics: From Minimization to Games
Summarizing Spoken Documents Through Utterance Selection
Onset of planetary wave breaking in a model of the polar stratospheric vortex
Mobile Data Collectors in Wireless Sensor Networks
Face Routing with Guaranteed Message Delivery in Wireless Ad-hoc Networks
Target localization in MRI-guided prostate biopsy
Analysis of semantic classes: Toward non-factoid question answering
From shape to style: shape grammars: issues in representation and computation, presentation and selection
Expressive Motion Editing Using Motion Extrema
Constructivity issues in tree minors
Branching Program Lower Bounds
Pressure-sensitive Pen Interactions
Machine Learning for Improved Weather and Climate Predictions
Deep Neural Network Acoustic Models for ASR
Anatomically-based models for physical and geometric reconstruction of humans and other animals
RST-style Discourse Parsing and Its Applications in Discourse Analysis
The reverse engineering notebook
Exploiting structure to efficiently solve large scale partially observable Markov decision processes
Unsupervised machine learning for hypothesis discovery and representation learning in biological image and sequence analysis
Event-related potentials as a form of neurofeedback using low-cost hardware
Constant-RMR Implementations of CAS and Other Synchronization Primitives Using Read and Write Operations
2D-3D Registration Methods for Computer-Assisted Orthopaedic Surgery
Deep Structured Models for Spatial Intelligence
Optimizing Irregular Computations on Parallel Processors
Applications of Lexicographic Breadth-first Search to Modular Decomposition, Split Decomposition, and Circle Graphs
Nonparametric Bayesian Methods for Extracting Structure from Data
Defect and local error control in codes for solving stiff initial-value problems
Disaggregated Just-in-Time Compilation for the Java Virtual Machine
Phase portraits for analyzing visual dynamics
Hierarchic syntax error repair
Workflow Scheduling Algorithms in the Grid
The Role of the Goal in Problem Solving Hard Computational Problems: Do People Really Optimize?
Philosophy of bioinformatics: extended cognition, analogies and mechanisms
A Reconciliation of Logical Representations of Space: from Multidimensional Mereotopology to Geometry
A smart autoflight control system infrastructure
High Precision Real World Perception for Autonomous Driving
A Framework for Peer-to-Peer Computing in Mobile Ad Hoc Networks
Learning to Drive: Exploiting Deep Models for Autonomous Driving
Towards Offering Performance Guarantees in Software-Defined Networks
Variable-aperture Photography
The design and evaluation of marking menus
Migrating Web Applications from SQL to NoSQL Databases
Exploiting Relevance to Improve Robustness and Flexibility in Plan Generation and Execution
Security Enhancement of Vehicle Software Systems
Scalable analytics of massive graphs
A minimum description length framework for unsupervised learning
Achieving Consumable Big Data Analytics by Distributing Data Mining Algorithms
Scheduling Algorithms for Real-Time Systems
Querying object-oriented databases with user-defined visualizations
Closure, Decidability, and Complexity Results for Restricted Variants of Two-Dimensional Automata
Robust online appearance models for visual tracking
Machine Learning for Aerial Image Labeling
Characterization and parameterized generation of digital circuits
Video input driven animation (VIDA)
Intelligent Framework for Monitoring Crops in Greenhouses
An integrated complexity analysis of problems from computational biology
Exploiting Linguistic Knowledge in Lexical and Compositional Semantic Models
User Interfaces for Visual Search
The use of grayscale for improved character presentation
Data-driven methods for efficient resource allocation and energy management in cloud datacentres
Feasibly constructive analysis
Towards Provably Correct Services: Automated Service Composition Via Supervisory Control Synthesis
Flow Consolidation for Congestion Control in Data Centers
Representative Subsets for Preference Queries
Formal studies of stratificational grammars
Relational Data Enrichment by Discovery and Transformation
Towards a formal account of diagnostic problem solving
Towards the systematic assessment and design of adaptive user interfaces
Computational stylistics for natural language translation
Technology mapping and optimization for reversible and quantum circuits
A high-level language and CAD environment for BIST embedding
Multi-hop Localization in Large Scale Deployments
Improving the efficiency of stiff ODE solvers by partitioning
Computation of value-at-risk : the fast convolution method, dimension reduction and perturbation theory
Generalization in Planning
Mechanism Design for Multi-dimensional Facility Location Problems: A Computational and Informational Perspective
Scale in Acoustic Modelling
Propositional representation of arithmetic proofs
Congestion control for multipoing communications in ATM networks
Beyond Affinity Propagation: Message Passing Algorithms for Clustering
Supporting variable bit-rate streams in a scalable continuous media server
Computing egomotion, shape and detecting independent motion from image motion
Neuroanimator: fast neural network emulation and control of physics-based models
Reasoning about Change with Domain-specific Process Ontologies
Energy-oriented Partial Desktop Virtual Machine Migration
Studying Dependency Maintenance Practices Through the Mining of Data from npm Packages
Fourier-transform based techniques in efficient retrieval of similar time sequences
Energy adaptive digital ecosystems
Spline collocation on adaptive grids and non-rectangular domains
Self-supervised Scene Representation Using Structured Representations for Surgical Applications
A real-time language with a schedulability analyzer
Using Community Authored Content to Identify Place-specific Activities
Formal Verification of Graph-Based Model Transformations
On proving the absence of execution errors
Computational Modeling of Word Learning: The Role of Cognitive Processes
Combinatorial optimization in VLSI physical design
Building reverse engineering tools with software components
Definition and implementation of context conditions for programming languages
Democratizing The Internet Of Things Through Platform Virtualization
Representing and using non-functional requirements: a process-oriented approach
Implicit Runge-Kutta methods for two-point boundary value problems
Resilient controller placement problems in software defined wide-area networks
Unsupervised and Supervised Methods for Analysis of Human Multimodal Transcriptome Data
LexBFS based recognition algorithms for cographs and related families
A Study on the Application of Natural Language Processing Methods to Scientific Text
A formal treatment of imperfect information in database management
Toward More Effective Management of Attribute-Based Access Control Policies
Exploring Deep Learning Methods for Discovering Features in Speech Signals
Pattern Discovery in Protein Structures and Interaction Networks
Analysis of Discrete Shapes Using Lie Groups
Computation of Loss Distribution Based on the Structural Model for Credit Portfolios