yusuke1997/dblp-id-title huggingface dataset:
Migration Strategies for Softwarized Network Entities in SDN-Enabled Data Centers
Visual Object Recognition Using Generative Models of Images
High-order Numerical Methods for Parabolic PDEs with Nonsmooth Data: A Perspective from Option Pricing
Isothermality: making speculative optimizations affordable
Logical approaches to the complexity of search problems: : proof complexity, quantified propositional calculus, and bounded arithmetic
A theory of benchmarking with applications to software reverse engineering
Time-space lower bounds for undirected and directed st-connectivity on JAG models
Tractable default reasoning
The Capture and Evolution of Contextual Requirements: The Case of Adaptive Systems
How Can Game Developers Leverage Data from Online Distribution Platforms? A Case Study of the Steam Platform
Graph algorithms for assembling integrated genome maps
Composition of Transformations in Feature-Based Registration
The power of weak formal systems
Applications and Methods for Energy-based Models at Scale
Ontology-based Context in Visualizations to Facilitate Sensemaking: Case Studies of Phenotype Comparisons
Model-checking with many values
The use of color in computational vision
Using Ambient Radio Environment to Support Practical Pervasive Computing
Advanced Reasoning about Dynamical Systems
Effective Heuristic-based Test Generation Techniques for Concurrent Software
Prioritizing SNPs for Disease-Gene Association Studies: Algorithms and Systems
A Framework for Metamorphic Malware Analysis and Real-Time Detection
Fair and Efficient Social Decision Making
Computational Prediction of Gene Function From High-throughput Data Sources
Querying, Exploring and Mining the Extended Document
Robotic Tools for Interactive Viewpoint Control in Video Communication
The Computation and Visualization of Uncertainty in Surgical Navigation
On the Maintenance of Crowdsourced Knowledge on Stack Overflow
Raptor: Sketching Video Games With a Tabletop Computer
Value-Based Dynamic Caching Over Information-Centric Networks (ICNs)
An object-oriented office data model
Efficient cluster compensation for Lin-Kernighan heuristics
The design of graphical user interfaces
Finite Automata with Restricted Nondeterminism and Universality
Abductive interpretation and reinterpretation of natural language utterances
Perspective alignment back-projection for real-time monocular three-dimensional model-based computer vision
The computation of paths of homoclinic orbits
Digitally Mediated Support for Lifelong Culture and Language Learning
On Disentangled Analysis-by-Synthesis Shape Representations
Artist Friendly Tools For Facial 3D Modeling and Animation
Processing Desktop Work on a Large High-resolution Display: Studies and Designs
Automated Analysis of Load Tests Using Performance Counter Logs
Systems of bounded arithmetic from descriptive complexity
Quantification of Inter-subject Variability in Human Brain and Its Impact on Analysis of fMRI Data
Logical foundations of shape-based object recognition
DIMSEMs-Diagonally IMplicit Single-Eigenvalue Methods for the numerical solution of stiff ordinary differential equations on parallel computers
Dynamic Analysis of Web Services
Tendon-Driven Parallel Continuum Robots: Modeling, Characterization and State Estimation
Learning Deep Generative Models
Linear, Discrete, and Quadratic Constraints in Single-image 3D Reconstruction
Interactive Techniques for High-level Spacetime Editing of Human Locomotion
A Model for Hierarchical Open Real-Time Systems
Tree Spanners of Simple Graphs
Semantic and syntactic properties of universal relation scheme data bases
Texture synthesis using convolution and nonlinear mapping
Building a Scalable Sensing Foundation for Contextual and Precise Interaction
Pattern Discovery in DNA Sequences
Machine Learning Approaches to Refining Post-translational Modification Predictions and Protein Identifications from Tandem Mass Spectrometry
Towards Trustworthy Machine Learning in High-Stakes Decision-Making Systems
Representing and Reasoning about Skills and Competencies over Time
Text-centric Visual Approaches to Support Clinical Overview of Medical Text
Discovery, Personalization and Resource Provisioning of Mobile Services
PROPHET: a layered analytical model for performance prediction of database systems
High-order spatial discretization methods for the shallow water equations
Designs for single user, up-close interaction with wall-sized displays
Computations for algebras and group representations
Computational and communication complexity of geometric problems
Fast and Robust Transaction Processing on Emerging Hardware
Suffix trees for very large inputs
First-order Decision-theoretic Planning in Structured Relational Environments
The recognition of permutation functions
Communication Lower Bounds via Query Complexity
Rethinking Clinical De-identification
Bayesian Optimization and Semiparametric Models with Applications to Assistive Technology
Function-Space Bayesian Learning: from Gaussian Processes to Bayesian Deep Learning
Computational Complexity in Analysis and Geometry
Algorithms for network homomorphism: block modeling as a structural analytic method for social structure
Modelling strategic relationships for process reengineering
Electromagnetically Tracked Personalized Surgical Guides
Security of Short-Range Wireless Technologies and an Authentication Protocol for IoT
Constructions, Lower Bounds, and New Directions in Cryptography and Computational Complexity
An object-oriented model for supporting office work
Various Algorithms for High Throughput Sequencing
The Proof Complexity of Integer Programming
Abortable and Query-abortable Types and Their Efficient Implementation
Solving MAXSAT by Decoupling Optimization and Satisfaction
On defining and achieving cryptographic security in a multiparty network
On using causal knowledge to recognize vital signals: a study of knowledge-based interpretation of arrythmias
The design and evaluation of multiple interfaces : a solution for complex software
High Performance Spatial and Spatio-temporal Data Processing
Design and verification of information systems
Graph searching
Self-adjusting k-ary search trees and self-adjusting balanced search trees
Advancing Security Services for Cloud Applications
Efficient Structured Prediction for Visual Scene Understanding
Managing, Profiling, and Optimizing Heterogeneous GPU Workloads
Computational Methods for Learning and Predicting the DNA binding Specificities of Transcription Factors
Learning Distributed Representations for Statistical Language Modelling and Collaborative Filtering
Cognitive Context Elicitation and Modeling
Non-linear Latent Factor Models for Revealing Structure in High-dimensional Data
Discovery of Patterns in Simulink Systems
Exploring Interactions with Shape-Changing Interfaces
Analyzing Phenotypes in High-content Screening with Machine Learning
Understanding the Impact of Experimental Design Choices on Machine Learning Classifiers in Software Analytics
Queries, Data, and Statistics: Pick Two
Evolving Intentions: Support for Modeling and Reasoning about Requirements that Change over Time
Spectral Techniques for Heterogeneous Social Networks
Deep Learning on Graphs: Theory, Models, Algorithms and Applications
Black-box limitations in cryptography
Building an Intelligent System for Predicting and Fixing Performance Defects
Model Transformation at Runtime for Dynamic Adaptation in Distributed Groupware
Communities in Social Networks: Modelling, Analysis, and Detection
Concentrated network tomography and bound-based network tomography
Mining Unstructured Software Repositories Using IR Models
A framework for the design of linguistic user interfaces
Scaling Gaussian Processes
Non-rigid Structure from Locally Rigid Motion
On Hierarchies of Strong SDP Relaxations for Combinatorial Optimization Problems
Analyzing and Improving the Performance of Spatial Database Processing
Low and Mid-level Shape Priors for Image Segmentation
Assisting with API Design through Reusing Design Knowledge
A Probabilistic Model of Early Argument Structure Acquisition
An Empirical Analysis of GNU Make in Open Source Projects
Latent-variable models for drug response prediction and genetic testing
A recognition algorithm for II-graphs
Characteristics of social networks in the Chinese Web
Reward Machines
A region-based formalism of pictorial data for pattern recognition
Caching in VANETs for Social Networking
A Logical Theory of Joint Ability in the Situation Calculus
Automatic Compiler-based Optimizations for Deep Neural Networks
Transforming Sparse Matrix Computations
Number theoretic methods and their significance in computer science, information theory, combinatorics, and geometry
Advanced Techniques for Robotic Assessment of Neurological Impairments In Stroke Patients
Numerical methods for a class of second order ODE's arising in structural dynamics
Intelligent perception in virtual sensor networks and space robotics
A Comprehensive Service Management Middleware for Autonomic Management of Composite Web Services-Based Processes
Numerical computation as deduction in constraint logic programming
Towards a better understanding of Protein-Protein Interaction Networks
Trading Privacy for Communication
The metatheory of the monadic hybrid calculus
Practical Earley parsing and the SPARK toolkit
Efficient query processing over inconsistent databases
Computational Methods for Predicting and Validating the Causes of Mendelian Disease
Shape Estimation under General Reflectance and Transparency
A Collaborative Health Adherence Optimization System
Performance prediction of relational database management systems
A study of perfect zero-knowledge proofs
Exploring a Two-Solver Architecture for Clause Learning CSP Solvers
A new fault model and its application in synthesizing Toffoli networks
Solving Quantified Boolean Formulas
Implicit skinning: character skin deformation guided by 3D scalar fields
A Theory of Shared Understanding for Software Organizations
Data quality trust: a provenance-based data quality assessment method and its integration with interoperable electronic medical record systems
Exploring Epigenetic Drug Discovery Using Computational Approaches
Boolean and multiple-valued functions in combinational logic synthesis
Option Pricing using Fourier Space Time-stepping Framework
Advances in computational image segmentation and perceptual grouping
Preserving Accuracy and Privacy in Participatory Sensing Systems
Computer vision-based detection of fire and violent actions performed by individuals in videos acquired with handheld devices
Multiprogrammed parallel application scheduling in NUMA multiprocessors
From Business Goals to Analytics and Machine Learning Solutions: A Conceptual Modeling Framework
Scalable algorithms for misinformation prevention in social networks
Online Analysis of High Volume Social Text Streams
A mathematical semantics and theory of rester graphics
Distributed representations and nested compositional structure
Deep Learning Approaches to Problems in Speech Recognition, Computational Chemistry, and Natural Language Text Processing
The Reliability and Error Mitigation of the Storage Stack
Secure two-party computation and communication
Flexible Computing with Virtual Machines
Automata methods and techniques for graph-structured data
Domain-retargetable reverse engineering
Formal Algebraic Reasoning About Compression Function Security
Model driven visualization: towards a model driven engineering approach for information visualization
Language Expressiveness and Quality of Service for Content-based Publish/Subscribe Systems
A theory and applications of well connected relations
Grid-Based Deployment for Wireless Sensor Networks in Outdoor Environment Monitoring Applications
Non-intrusive Virtual Systems Monitoring
Learning to Build Probabilistic Models with Limited Data
Fundamental service support for wireless sensor networks
Applications of Games to Propositional Proof Complexity
An information-theoretic unsupervised learning algorithm for neural networks
Computational Methods for Identifying Hypertrophic Cardiomyopathy using 12-lead ECG
Learning structured prediction models for image labeling
Randomized Primitives For Linear Algebra and Applications
Shape registration using optimization for mobile robot navigation
Global Resource Utilization for Synergetic Wireless Sensor Networks
Runtime Conformance Checking of Mobile Agent Systems Using Executable Models
Sociospace: A Smart Social Framework Based on the IP Multimedia Subsystem
Analysis of multilateral software confidentiality requirements
Cellular Automaton Based Algorithms for Wireless Sensor Networks
The computation and use of Floquet multipliers for bifurcation analysis
Spectral Methods in Extremal Combinatorics
Shift gray codes
On exploiting location flexibility in data-intensive distributed systems
Workload Adaptation in Autonomic Database Management Systems
Open-world Machine Learning with Limited Labeled Data
From specification to implementation in logic
Genome Graphs
Source Transformation with Boolean Grammars
Supporting Designers in Voice User Interface Design
Complex graph algorithms using relational database
Combinatorial and computational aspects of finite geometries
Signature files: an access method for textual messages
Optimizing the cache performance of non-numeric applications
Nonuniformly hard boolean functions and uniform complexity classes
Intensional logic programming
Towards Reliably Handling Inputs Not From the Training Distribution
Supervised and Active Learning for Recommender Systems
Distributed Object-Localization Using RFID Crowdsourcing
Encoding the Underlying Dynamics of Complex Time Series With a Focus on Healthcare Applications
An exploration of learning tool log data in CS1: how to better understand student behaviour and learning
Foundation Model for Single-Cell Omics
Computability and complexity results for agreement problems in shared memory distributed systems
Reconfiguration of Hamiltonian cycles and paths in grid graphs
Generalizing Contexts Amenable to Greedy and Greedy-like Algorithms
On predicting communication delay in distributed shared memory multiprocessors : a practical modelling methodology
Optical Linear Algebra for Computational Light Transport
Exploiting Field Data Analysis to Improve the Reliability and Energy-efficiency of HPC Systems
Dynamically coupled particle systems for geometric modeling, reconstruction, and animation
Methodologies for designing block ciphers and cryptographic protocols
Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation
Interaction with Volumetric Displays
Cost-Effective Resource Configurations for Executing Data-Intensive Workloads in Public Clouds
Machine learning and unlearning for IoT anomaly detection
Elimination of redundant polymorphism queries in object-oriented design patterns
Searching for Simple Symmetric Venn Diagrams
Supporting Sensemaking during Collocated Collaborative Visual Analytics
Composable, Distributed-state Models for High-dimensional Time Series
Parallel speculative computation of prolog programs
Extending link analysis for novel Web mining applications
PDE Option Pricing: Analysis and Application to Stochastic Correlation
Marine visualization system: an augmented reality approach
Automated Analysis of Load Testing Results
Measuring the Digital Welfare of Online Social Systems
Handling Disconnection in Synchronous Groupware
Facilitating Real-Time Sketch-Based Storyboards for Stereoscopic and Virtual Reality Environments
A Methodological Framework for Decision-theoretic Adaptation of Software Interaction and Assistance
Modeling Multi-factor Financial Derivatives by a Partial Differential Equation Approach with Efficient Implementation on Graphics Processing Units
Privacy Preserving Data Mining using Unrealized Data Sets: Scope Expansion and Data Compression
Machine Learning Methods and Models for Ranking
Scalable and Reliable Searching in Unstructured Peer-to-peer Systems
Learning Probabilistic Models for Visual Motion
Theoretical and Practical Considerations of Learning Algorithms in Image-guided Interventions
Automated Synthetic Feasibility Assessment: A Data-driven Derivation of Computational tools for Medicinal Chemistry
Extensible Networked-storage Virtualization with Metadata Management at the Block Level
The Design of Playful and Intelligent Creative Tools
Embedding trees in the hypercube
Parameter Estimation for Systems of Ordinary Differential Equations
On the relative power of shared objects in fault-tolerant distributed systems
Offering High-Definition Peer-Assisted Video on-Demand Systems: Modeling, Optimization and Evaluation
On Computational Methods for the Valuation of Credit Derivatives
Queries on graphs
Extractive Product Line Requirements Engineering
Bisimulation-based Structural Summaries of Large Graphs
Towards A Security Framework for Smartphone Operating Systems
Automated motif discovery in protein structure prediction
A Geometrical probability approach to location-critical network performance metrics
Applications of Generic Interpolants In the Investigation and Visualization of Approximate Solutions of PDEs on Coarse Unstructured Meshes
Distributional Semantics for Robust Automatic Summarization
Group Decision Making with Partial Preferences
Detection and Analysis of Near-Miss Software Clones
Multi-Winner Social Choice: Algorithmic and Game-theoretic Approaches
On-line algorithms and financial decision making
Scalable clustering of categorical data and applications
Adaptive Solutions to Resource Provisioning and Task Allocation Problems for Cloud Computing
Online Decision-Making in a Randomized Environment: Stochastic Matching and Adaptive Random Graph Processes
Distances Between Languages: Algorithms and Descriptional Complexity
Design principles for XML data
Optimization and Loss Landscape Geometry of Deep Learning
Enhancing Self-Organizing Maps with numerical criteria: a case study in SCADA networks
Physics-based modelling of nonrigid objects for vision and graphics
Lace tessellations: a mathematical model for bobbin lace and an exhaustive combinatorial search for patterns
Understanding how information and communication technologies matter to youth : a network of developmental, social and technological dynamics
Interval methods for global optimization
Machine Learning Approaches to Biological Sequence and Phenotype Data Analysis
earPod: Efficient Hierarchical Eyes-free Menu Selection
Finding obstructions within irreducible triangulations
Bounded Arithmetic and Formalizing Probabilistic Proofs
Computational simulations of mediated face-to-face multimodal communication
Software Evolution: A Requirements Engineering Perspective
Leveraging Subtle Verbalization and Speech Patterns to Help Evaluators Identify Usability Problem Encounters in Concurrent Think-aloud Sessions
Integrality Gaps for Strong Linear Programming and Semidefinite Programming Relaxations
Dense subgraph mining in probabilistic graphs
QoS-transit services: end-to-end quality of service control in the Internet using dynamic pricing
Enabling Ultra Large-Scale Radio Identification Systems
Polymorphism and Genome Assembly
Nogood Processing in CSPs
Query answering and schema analysis under the weak instance model
Computational Modeling and Analysis of Complex Muscle Architecture
Secure distributed backup: Erasure codes and anonymous message delivery
Isolating legacy applications with Lind
Data Processing Techniques on Modern Hardware Architectures
Path Graphs and PR-trees
A methodology for analyzing hardware description language specifications of legacy designs
IaaS Cloud Service Selection using Case-Based Reasoning
Augmenting Petri Nets to Model Health-Care Protocols
Benchmarking, Profiling and White-box Performance Modeling for DNN Training
Deliberation in agent programming languages
Copula theory and its applications in computer networks
On Bilevel Optimization without Full Unrolls: Methods and Applications
Eager, Lazy, and Other Executions for Predicative Programming
Improving Dependability for Internet-scale Services
Predicative recursion and computational complexity
Lower bounds in parallel machine computation
A framework for visual motion understanding
Radio Resource Allocation for Device-to-Device Communications Underlaying Cellular Networks
Parallel complexity and permutation groups
Nearly optimal algorithms for canonical matrix forms
Theories and proof systems for PSPACE and the EXP-time hierarchy
Data-driven approaches to load modeling andmonitoring in smart energy systems
A dynamically reconfigurable microprocessor architecture
An analysis of salmonid RNA sequences and implications for salmonid evolution
Semantic representations of near-synonyms for automatic lexical choice
Electromagnetic tracking in ultrasound-guided high dose rate prostate brachytherapy
Fast Algorithms for $\ell_p$-Regression and Other Problems
Algorithms on restricted classes of simple polygons
Dynamic algorithms for chordal and interval graphs
A Design-rule-Based Constructive Approach To Building Traceable Software
Algorithms for rational vaccine design
Optimizing Neural Networks that Generate Iimages
A New paradigm for Ultrasound-Based Tissue Typing in Prostate Cancer
Performance requirements for information systems
Building AI Enabled Note-taking Interfaces for Patient Encounters
Novel Machine Learning Models for Identification, Characterization and Prioritization of Phenotype-Genotype Associations
CDA: computation decomposition and alignment
The complexity of graph isomorphism and related problems
Algorithms for Self-driving Labs
Exergames for Youth with Cerebral Palsy: Designing for Gameplay and Social Accessibility
Satisfying Model Validity for Robust Clinical Machine Learning for Time-Series
Towards a Storage Stack for the Data Center
Understanding Modern Machine Learning Models through the Llens of High-dimensional Statistics
Astrometry.net: Automatic Recognition and Calibration of Astronomical Images
Numerical PDE Methods for Pricing Bilateral XVA
Information technology and productivity in Canadian banking
Conditional logics for default reasoning and belief revision
Non-invasive gesture sensing, physical modeling, machine learning and acoustic actuation for pitched percussion
Computational Measures of Language Variation in Textual Utterances
Chorus: Model Kowledge Base for Perfomance Modeling in Datacenters
The computational perception of scene dynamics
Uniformity and Nonuniformity in Proof Complexity
Learning Generative Models Using Structured Latent Variables
Constructions of minimally k-connected graphs
Improving Posing and Ranking of Molecular Docking
Managing schema mappings in highly heterogeneous environments
Image composition in computer rendering
Merging concurrent checking and off-line BIST
A programming language based on recurrence equations and polyhedral compilation for stream processing
An analytical model of physical databases
Cryptography: Leakage Resilience, Black Box Separations, and Credential-free Key Exchange
Methods and Applications of Deep Learning in Sequential Medical Data
Data sharing and querying for peer-to-peer data management systems
Locomotion Synthesis Methods for Humanoid Characters
Bandit algorithms with graphical feedback models and privacy awareness
Decentralized algorithms in distributed systems
Evaluation in built-in self-test
Cognitive support for semi-automatic ontology mapping
The resolution complexity of constraint satisfaction
An investigation of issues and techniques in highly interactive computational visualization
Stable Matching with Generalized Preference Assumptions: Algorithmic and Incentive Compatibility Challenges
Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts
Efficient indexing and retrieval of colour image data using a vector-based approach
Task-Aware 3D Geometric Synthesis
Hierarchical Bayesian Models of Verb Learning in Children
Decomposition and Symmetry in Constraint Optimization Problems
Monitoring the Generation and Execution of Optimal Plans
Adaptive root cause analysis and diagnosis
Predicative Quantum Programming
Quantum State and Unitary Complexity
Simplified theory of Boolean functions
Tree spanners, spanning trees that approximate distances
Systematic parameterized complexity analysis in computational phonology