yusuke1997/dblp-id-title huggingface dataset:
Multi-Policy Decision Making for Reliable Navigation in Dynamic Uncertain Environments
Genie: a data-efficient platform for programmable, privacy-preserving virtual assistants
Toward a unified view of complex multiscale stochastic systems: A generalized theory of interactions and its computational infrastructure for their universal and efficient investigation
Properties of Intercoupled Transmission Lines Terminated by Negative Resistance Elements With Applications to Tunnel Diode Pulse Circuits
Computational Methodologies for Cardiac Signal Applications: Arrhythmia Classification, Biometric Identification, and Blood Pressure Estimation
Logical spreadsheets
High-Speed Modulation of Semiconductor Lasers and Modulators
Adaptable distributed transaction systems
Augmenting Visual Memories
Secure Computation in the Real World
Design of computational market systems for network information services
Temporally-Aware Neural Networks For interventional Cine MRI Reconstruction From Severely Undersampled Data
High Performance Algorithms for Multiple Streaming Time Series
Virtual Node Methods for Incompressible Flow
Practical Memory Disaggregation
A Language-Theoretic Approach to Algorithms
Advances in Zero-Knowledge Proofs: Bridging the Gap between Theory and Practices
Condition Number Analyses of Line/Surface and Surface/Surface Intersection Algorithms
System-Level Considerations for Optical Switching in Data Center Networks
The formal description and parsing of pictures
In pursuit of high resolution radar using pursuit algorithms
Event Detection and Visualization Based on Phasor Measurement Units for Improved Situational Awareness
Scalable and Analog Neuromorphic Computing Systems
A Study of Parallelism in the Classifier System and Its Application to Classification in Kl-One Semantic Networks (Artificial Intelligence, Fine-Grained)
Making Distributed Computation Secure by Construction
Progress Measures and Finite Arguments for Infinite Computations
An algorithm for grammatical inference of programming languages
Simplifying Design of Wireless Sensor Networks with Programming Languages, Compilers, and Synthesis
Formalization and analysis of privacy and web security policies
Tracking: An Approach to Dynamic Vision and Hand-Eye Coordination
Temperature-Aware Design for SoCs using Thermal Gradient Analysis
Energy efficiency and surveillance applications in mobile sensor networks
Computational understanding : analysis of sentences and context
Formalizing Shared Memory Consistency Models for Program Analysis
Learning speech embeddings for speaker adaptation and speech understanding
A Computer-Based Education Approach to Electrical Network Theory: Lesson Development, Use and Evaluation
Context and Participation in Machine Learning
Pushing the Limits of Compiler Verification
Visual Representation and Recognition without Human Supervision
Provably Efficient Reinforcement Learning Under Linear Model Structures: From Tabular to Feature Based Exploration
The impact of online markets on the hotel industry: addressing competition and managing brand reputation
Structure-Informed Neural Network Architecture in Regression Applications
Scan pattern adaptation during repeated visual search
Personality Recognition For Deception Detection
Q-Compiler: Metadata Qos-Aware Programming and Compilation Framework
Specification and Runtime Verification of Distributed Multiprocessor Systems: Languages, Tools and Architectures
Global Optimization Using Embedded Graphs
Techniques and Tools for Graph Drawing
Reflections, Models, and Software for Iterative Visualization Design
Textual entailment from image caption denotations
Applications of Decision Theory in Computer Systems
Language Support for Program Generation Reasoning, Implementation, and Applications
Cost Sharing and Approximation
The nondeterministic computation of functions
Numerical Algorithm in Machine Learning and Data Analysis
Unsupervised sleep-like processes for enhancing neural networks
Exploration of the Synergy between Computational Mechanics and Robotics for Slender Structures
Information sampling from online social networks
Machine Learning for AI-Augmented Design Space Exploration of Computer Systems
Shape, Reflectance, and Illumination From Appearance
Design and applications of an indirection-based cache structure
Sampling from Distributions under Differential Privacy Notions
A Unified Framework with Benchmarks for Human-like Visual and Relational Reasoning in the Real World
Optimal multi-attribute decision making in social choice problems
Voicing Silent Speech
Towards Building Efficient Error Detectors for Improving System Resilience
Energy Awareness in Mobile Wellness Applications
Aspects of the Computational Content of Proofs
Security Research for the Public Good: A Principled Approach
Algebraic Generation and Active Network Realization of State Equations
Information Structures in Nash and Leader-Follower Strategies
Preserving application reliability on unreliable hardware
Discovering user mobility and activity in smart lighting environments
Customizing the Computation Capabilities of Microprocessors
Accelerating Irregular Applications with Pipeline Parallelism
Improved Algorithms for Predicting Polyadenylation Sites and Cell Membranes From Expression, Sequence, and Image Data
Resource allocation in multiprocess computer systems
System for Serving Deep Neural Networks Efficiently
Magnetic tape portability
Studies on Low Frequency Fast Multipole Algorithms
Algorithm synthesis through problem reformulation
Timing channels in traffic analysis
Guaranteed Precision for Transcendental and Algebraic Computation Made Easy
Using FPGAs to Simulate Novel Datacenter Network Architectures At Scale
New methods for studying complex diseases via genetic association studies
Automated, FPGA-Based Hardware Emulation of Dynamic Frequency Scaling
Human-Centered and Computational Understanding for the Design and Adaptation of Mental Health and Well-being Interventions
New Paradigms and Optimality Guarantees in Statistical Learning and Estimation
Selective logging for accurate, space efficient forensic analysis and reducible execution replay
High-efficiency and high-usability heterogeneous hardware acceleration with FPGAs
A study of time-compressed speech
Probabilistic Analysis and Scheduling of Critical Soft Real -Time Systems
Balancing Interactive Performance and Budgeted Resources in Mobile Computing
Video anatomy: Spatial-temporal video profile
Topological Algorithms for Geographic and Geometric Graphs
Using Natural Language Processing to Mine Multiple Perspectives from Social Media and Scientific Literature
Robust and Scalable Perception For Autonomy
Model-Agnostic Explanations and Evaluation of Machine Learning
Analysis and Synthesis of Lossy Communication Nets
Towards Face Recognition with Imbalanced Training Data: From Loss Function Design to Deep Generative Models
A Software Architecture for User Environments in Ubiquitous Systems
Function Space Variable Metric Methods with Applications to Singular Optimal Control Computation
Hidden Capabilities and Counterintuitive Limits in Large Language Models
Particle Grid Hybrid Methods for Multi-Material Dynamics
Breaking Computational Barriers to Perform Time Series Pattern Mining at Scale and at the Edge
A Platform for Practical Nanophotonic Systems Nitrides and Oxides for Integrated Plasmonic Devices
Towards Practical Serverless Analytics
Analytical Illumination in Polyhedral Environments
Scalability of the Internet backbone routing infrastructure
Building a Virtually Fault-Tolerant System
The development of a method for checking the reasons of students' geometry proofs with a computer
Understanding and Simulating Software Evolution
Generalized Bottom-Up Parsing
Effective Exploration of Web and Social Network Data
Expressive and Enforceable Information Security Policies
Domain adaptation with minimal training
Combinatorial and Algebraic Propeties of Nonnegative Matrices
A scalable, adaptive, and extensible data center network architecture
Towards Scalable Structured Data from Clinical Text
Efficient Bug Prediction and Fix Suggestions
Building Efficient Vision Models for Ecological and Earth Observation Studies
Harnessing heterogeneous resources for improving Internet data transfer
Real-World Insights into SCADA Traffic: A Cross-Infrastructure Network Measurement Analysis
Domain-informed Language Models for Process Systems Engineering
Simulation of brain-machine interfaces
Modality Bridging and Unified Multimodal Understanding
Traffic Offloading in Heterogeneous Mobile Networks: the Centrally Directed and User Collaborated Options
Statistical Learning Theory of Protein Dynamics
Rethinking Data Use in Large Language Models
Influence-directed Explanations for Machine Learning
Learning to Learn for Small Sample Visual Recognition
Machine Learning-Assisted Resource Management in Edge Computing Systems
Extracting Actionable Information From Security Forums
Uncertainty-Aware and Efficient Design Automation from Classical Circuit to Quantum Computing
MCMC algorithms for sampling from multimodal and changing distributions
Models and algorithms for privacy-preserving data mining
Noise, Sampling, and Efficient Genetic Algorithms
Ultra-Wideband Microwave Imaging Radar System
SHA-less pipeline ADC design with sampling clock skew calibration
Multimarker Genetic Analysis Methods for High Throughput Array Data
Identifying Roles in Social Networks using Linguistic Analysis
Approximate replication
Source language debugging tools
Online advertisements and multi-armed bandits
Interactive visualization of multidimensional scientific data
Scale-Out Packageless Processing
Practical and Scalable Serverless Computing
Essays in Alternative Financial Services
Privacy and Performance in Social Overlay Networks
Lattice-based non-interactive argument systems
A Cognitive Architecture Realization of Event Cognition Capabilities
Unsupervised Feature Learning in Computer Vision
Compositional Design of Analog Systems Using Contracts
Approximation Algorithms and New Models for Clustering and Learning
Analysis and Numerical Treatment of Elliptic Equations with Stochastic Data
Designing Exercises to Teach Programming Patterns
Computer Network Verification and Management using Constraint Solvers
Abstraction planning in real time
Model Validation and Discovery for Complex Stochastic Systems
Measurement-Based Dependability Analysis and Modeling for Multicomputer Systems
Software support for ordering memory operations in parallel systems
Machine Learning and Solvation Theory for Drug Discovery
Comparing and modeling protein structure
Machine Learning for Physiological Time Series: Representing and Controlling Blood Glucose for Diabetes Management
A Study of the Prediction Performance and Multivariate Extensions of the Horseshoe Estimator
Improving The Modeling and Analysis of Tropical Convection and Precipitation through Machine Learning Methods
Specification and analysis of concurrency
Furthering the continuous-change event calculus: providing for efficient description of additive effects and an automated reasoner
Face, expression, and iris recognition using learning-based approaches: computational recognition of identity and activity
Context-Aware Detection and Resolution of Data Anomalies for Semi-Autonomous Cyber-Physical Systems
Application Platforms, Routing Algorithms and Mobility Behavior in Mobile Disruption-Tolerant Networks
Computational Methods for Reconstructing and Analyzing Polycrystalline Microstructures
ApproxHPVM: A retargetable compiler framework for accuracy-aware optimizations
Concept and entity grounding using indirect supervision
Goal-Directed Biped Stepping and Push Recovery with Momentum Control
Neural recommender models for sparse and skewed behavioral data
Learning to Predict Human Behavior from Video
Network Matching: A Versatile Computer Vision Tool
Real-World Face and Vehicle Recognition
Emergence and stability of complex structures from stochastic neuronal networks
A Logic for Correct Program Development
Where's the Smoke and Fire? Exploiting Spatial and Temporal Context for Improved Wildfire Detection
Smooth Feedback Planning
Optimization Methods for Resource Allocation and Machine Learning Applications
The Theory and Applications of Discrete Constrained Optimization Using Lagrange Multipliers
Towards Trustworthy Geometric Deep Learning for Elastoplasticity
Improved Scientific Analysis through Domain Driven Visualization and Support for Analytic Deliberation
Separation of distributed coordination and control for programming reliable robotics
Foveation Techniques and Scheduling Issues in Thinwire Visualization
Channel Access Protocols for Multihop Packet Radio Networks
3D sensing and mapping using mobile color and depth sensors
Unifying Physics and Semantics for Robust Sensor Time Series Analysis
Efficient Algorithms for Large Scale Network Problems
An application of machine learning to statistical physics: from the phases of quantum control to satisfiability problems
Photo Manipulation, The Easy Way
Methods for Cluster Analysis and Validation in Microarray Gene Expression Data
Human-in-the-loop Planning of Mobile Robots
Geometric Algorithms for Cleanability in Manufacturing
Everyday Online Sharing
Development Of A Multivariate Process Control Algorithm
Communication utilizing feedback channels
On the Integration of Compiler-Directed Cache Coherence and Data Prefetching
On Networks and Bi-Complete Graphs
Configurable Consistency for Wide-Area Caching
Numerical Analysis of Normally Loaded Plane Frames
On Quantum Search, Experts and Geometry
Application of Spline Manifolds to Problems in Modeling, Rendering and Analysis
Applying Software-Based Side-Channels to Hardware Vulnerabilities
Understanding epilepsy seizure structure using tensor analysis
Multicast Video Transport overiPOINT ATM Testbed
Using Incremental Filtering for Enhancing the Depth Perception of Interactive Direct Volume Rendering
Computer mediated communication
Graph Deep Learning for Pathology Imaging and Heterogeneous Medical Data
Hypothesize-and-verify Based Solutions For Place Recognition And Mobile Robot Self-localization In Interior Hallways
Expressing Interactivity with States and Constraints
Efficiency in Machine Learning with Focus on Deep Learning and Recommender Systems
Trace Based Analyses of Parallel Software
Towards a theory of trust in libraries and democracy
Intelligent Behavior as an Adaptation to the Task Environment
Making the Most out of Distributed Generation without Endangering Normal Operation: A Model-Based Technical-Policy Approach
Multi-omics data integration for the detection and characterization of smoking related lung diseases
High-dimensional statistics with systematically corrupted data
Interactive visualization and exploration of feature evolution in dynamic data
Transferable Generative Models
Economics and Computation: Ad Auctions and Other Stories
Partition Memory Models for Program Analysis
Analysis and Design of a Broadband Antenna for Software Defined Radio
Unsupervised Learning with Regularized Autoencoders
Noninterference in Expressive Low-Level Languages
Inclusive Text Entry Techniques for Mobile Devices
An integrated generator-rectifier system for high-power AC-DC conversion
Achieving Performance Predictability in Transactional Databases
More like this : machine learning approaches to music similarity
Tunable Optical Group Delay in Active Semiconductor Optoelectronic Devices
Learning and Using Causal Knowledge: A Further Step Towards a Higher-Level Intelligence
Modeling, Characterization, and Design of Silicon Controlled Rectifiers for Electrostatic Discharge Protection Circuits
Numerical simulation of weakly ionized hypersonic flow over reentry capsules
Optimizing Queries with Disjunctions
Program transformation for efficient derivation of multiple solutions in concurrent logic languages
A comparison of genetic algorithms and other machine learning systems on a complex classification task from common disease research
Culture Clubs: Processing Speech by Deriving and Exploiting Linguistic Subcultures
Risk Interpretation of Differential Privacy and its Applications
Pedagogy Matters: Engaging Diverse Students as Community Researchers in Three Computer Science Classrooms
Auction design with robust guarantees
Community detection and its applications in understanding dynamics of social networks
System Software for a Fault-Tolerant Digital Computer
VOGUE: a novel variable order-gap state machine for modeling sequences
Dynamic load balancing and granularity control on heterogeneous and hybrid architectures
Representation of d-dimensional geometric objects
Multiscale collaborative virtual environments
Algorithms exploiting the chain structure of proteins
Credit apportionment in rule-based systems: Problem analysis and algorithm synthesis
Mechanisms for Provable Integrity Protection in Decentralized Systems
Design automation algorithms for advanced lithography
The impact of computer architecture features on image processing application execution times: A case study using MPEG image sequence compression on the IBM SP2
The Very Near Field of High-Speed Jets from Simple and Complex Nozzles
On the Feature Alignment of Deep Vision Models: Explainability and Robustness Connected At Hip
A Maximum Entropy Approach to Named Entity Recognition
Percolation Transitions on Finite Transitive Hyperbolic Graphs
Mining and Learning With Graphs and Tensors
Speaking Style Variability in Speaker Discrimination by Humans and Machines
Self-Adapting Software for Cyberphysical Systems
Security Hazards when Law is Code
Transient Electromagnetic Analysis for Microstrip Structures Based on Time Domain Integral Equation Method
Compilation Techniques for Explicitly Parallel Programs
Communication-Avoiding Krylov Subspace Methods in Theory and Practice
Efficient algorithms for certain satisfiability and linear programming problems
Data mining techniques for structured and semistructured data
Non-competitive and competitive deep learning for imaging applications
Performance Characterization and Buffer Memory Optimization of Database
Spatiotemporal Relationship Aided Field Estimation & Route Planning for Large Scale Mobile Cyber Physical Systems
Computer generation of natural language from a deep conceptual base
Computational Inversion with Wasserstein Distances and Neural Network Induced Loss Functions
Interactive Learning of Relation Extractors with Weak Supervision
On the Complexity of the Satisfiability Problem
Understanding Understanding: How Do We Reason About Computational Logic?
Providing Predictable Performance in Flash and Black-box Storage
Analysis and application of subdivision surfaces
Trellis: genome-scale disk-based suffix tree indexing algorithm
Tools for acquired scene analysis and transmission
Resource-Constrained State Estimation with Multi-Modal Sensing
Mobile and Stationary Computer Vision based Traffic Surveillance Techniques for Advanced ITS Applications
Towards Training AI Agents with All Types of Experiences: A Standardized ML Formalism
Data set versioning through linked data models
Approximating Properties of Data Streams
Cyber-physical data distillation in a sensor rich world
Pursuit-evasion games in mobile networks
Streams-based animation in an object-oriented graphics environment
On the Problem of Dynamic Memory Management
Places: Parallelism for Racket
Random sampling in graph optimization problems
Optimal Graph Clustering Problems with Applications to Information System Design (Partitioning, Database)
A Multiple Compiler Approach for Improved Performance and Efficiency
Online and active learning of big networks: theory and algorithms
High-performance parallel systems for data-intensive computing
Rethinking computer architecture and operating system abstractions for good & evil
Structure Prediction and Visualization in Molecular Biology
A Comprehensive Fault Model for Concurrent Error Detection in Mos Circuits
Transforming Pseudorandomness and Non-malleability with Minimal Overheads
Interferometric light microscopy for wafer defect inspection and three-dimensional object reconstruction
A New Feature Selection Method Based on Class Association Rule
Analysis-Aware Higher Order Smooth Three-Dimensional Representations: Creation, Simulation and Visualization
Application and simulation of imaging Fabry-Perot interferometers to observe the upper atmosphere
Spectrum-Revealing CUR Decomposition
Man-machine Referential Communication In A Personal Information Retrievalsystem
Clock multiplication techniques for high-speed I/Os
Routing and Topology Control in Multihop Wireless Ad Hoc Networks
Visual Learning with Weak Supervision
Towards Multi-lingual Multi-modal Dialogue Systems
System Support for Improving Software Dependability During Production Runs
Data-driven Synthesis of Animations of Spatially Inflected American Sign Language Verbs Using Human Data
Sample Complexity Bounds for the Linear Quadratic Regulator
Data-efficient quickest change detection
Learning models and formulas of a temporal event logic
PUF-based Hardware and Software Active IP Protection
Learning in vision and robotics
Cloud-based Methods and Architectures for Robot Grasping
Optimization by Simulated Annealing: A Time-Complexity Analysis
Statistical methods for causal inference fromsequentially collected data and sequential decisionmaking
Methods for automated analysis of curvilinear structures in three-dimensional and spatio-temporal microscopy images using orientation distribution functions
Advancing the use of crowdsourcing for data-intensive tasks
Incentive mechanism design for mobile crowd sensing systems
Information theoretic and machine learning techniques for emerging genomic data analysis
Perceptual interpretation and the transformation of events into language
Exploiting structures of trajectory optimization for efficient optimal motion planning
Augmenting collocated interaction : the design of assistive technology to support face-to- face communication
FPGA Overlay Processor for Deep Neural Networks
A Technique for the Analysis of Musical Instrument Tones
Enabling More Meaningful Post-Election Investigations
The Digital Adaptive Control of a Linear Process Modulated by Random Noise
Fine Grained Access Control Policies in Data Management Systems for Internet of Things Applications
A Stochastic Model of Multiprocessing
Analysis of Fluid Flows
Stable and efficient methods for the interaction of shock waves with solid bodies
Mathematical Theory of Machine Learning Models for Estimating Probability Distributions
Transient Response of Pseudo-Linear Feedback Control Systems
Exposing the hidden vocal channel: Analysis of vocal expression
Text mining with word embedding for outlier and sentiment analysis
Enhancing preprocessing and clustering of single-cell RNA sequencing data
LLMs for Code Style Analysis an Exploratory Study for Integrating Style Linters with LLMs
Tools for Trustworthy Autonomy: Robust Predictions, Intuitive Control, and Optimized Interaction
Issues in the Convergence of Control With Communication and Computation
Multiple-Pass Pipelining: Enhancing in-Order Microarchitectures to Out-of-Order Performance
Leveraging external user-generated information for large-scale data integration
VirtualHome: Building Socially Intelligent Agents via Simulation
A Multiprocessor for Simulation Applications
A Spreadsheet Model for Using Web Services and Creating Data-Driven Applications
Analogical Reasoning Involving Semantic Relations in Children and Machines
Binaural interaction in the accessory superior olivary nucleus of the cat - an electrophysiological study of single neurons
Deep Networks for Forward Prediction and Planning
How deep learning can help emotion recognition
Scaling Data Servers via Cooperative Caching
Analyzing Threads for Shared Memory Consistency
Using Multiple Fidelity Models in Motion Planning
Compiler Support for Customizable Domain-Specific Computing
GPU-Based Computation of Voxelized Minkowski Sums with Applications
Duality and Data Dependence in Boosting /
Learning to Capture, Understand, and Generate Large-Scale 3D Scenes
Compile-Time Information in Software Components
Improving Virtual Machine I/O Performance in Cloud Environments via I/O Functionality Offloading
Fast Measurements of Two-Point Statistics in Simulations of Supersonic Isothermal Turbulence