yusuke1997/dblp-id-title huggingface dataset:
A distributed fault-tolerant asynchronous algorithm for performing N tasks
An optimal physically-disjoint path algorithm for real-life telecommunication networks
Ringermute: An Audio Data Mining Toolkit
Control system design for LTI systems using interval analysis
Immune Algorithm Processor
TELELAB: A virtual laboratory for scientific data distribution on the internet
Software Engineering Principles and Security Vulnerabilities
Object-Oriented Implementation of a Rule-Based System for XML Query Optimizer
The Bidding Method: A General Distributed Method for Designing Approximation Algorithms for NP-Complete Problems
A Combinatorial Approach to Hyperbolic Geometry as a New Perspective for Computer Science and Technology
A Restaurant Finder using Belief-Desire-Intention Agent Model and Java Technology
A Data Stream Clustering Algorithm Using Discrete Cosine Transform
Therapeutic engineering: Models of individual variability in drug systems
Weighted Record Sample for Underwater Seismic Monitoring Application
Fault diagnosis in redundant path multistage interconnection networks
A New Approach to Modifying Fuzzy ARTMAP Systems
An object-oriented application framework for distributed multimedia
Simple Quality Evaluation Framework of E-Government Services
Fault Tolerance of Tasks Scheduling on Multiprocessing Systems
Proxy-based Reliable Multicast Protocol
Automatic Generation of System Descriptions for Plant Supervisory Control Systems
Analysis of slotted ring network in real-time systems
Workflow Modeling and Simulation using a Extension of UML Activity Diagram
An Adaptive Distributed Admission Approach in Bluetooth Network with QoS Provisions
Comparative Experiments on Clustering Validities
A Novel Gather/Scatter Hardware Support and FFT Case Study
Processing Multiple Relations in the Knowledge Discovery Process
Analyzing security in distributed collaborative systems
Parameter Optimized, Vertical, Nearest-Neighbor-Vote and Boundary-Based Classification
Extraction and Description of Moving Human Body by Periodic Motion Analysis
An improved data parallel algorithm for the LSS problem
Routing Tables for Message Routing in Distributed Double Loop Networks
Mixed-criticality Scheduling: Improved Resource-augmentation Results
A System for Presenting Background Scenes of Karaoke using an Active Database System
Extension Study on Item-Based P-Tree Collaborative Filtering Algorithm for Netflix Prize
A Test Case Generator for Three-variable Functions: Object-Oriented Design and Implementation
Data Link Frame Aggregation Protocol
Path Prediction for Moving Object using Enforced Fuzzy Clustering
A methodology for developing a probabilistic security measure using a software reliability model
Database design and population for american sign language
Smooth Trajectory Planning for Autonomous Leader-Follower Robots
Tool to Generate a Local Internet Weather Report
Adaptive Routing Control of Workflow Systemon the Internet
Look-Up Table-based Montgomery Algorithm in GF(2 k ) for Public-Key Cryptosystem
Shortest Path Problem with Multiple Constraints
Towards Reconfigurable Hardware for Cryptographic Benchmarking
Schema mapping in object-oriented multidatabase systems
Smart Mobile Computing in Pregnancy Care
Designing a GaAs-based floating-point multiplier
A distributed discipline for finding the efficient matching cores on weighted tree networks
Parallelizing Frequent Itemset Mining with FP-Trees
Adversarial Machine Learning: Difficulties in Applying Machine Learning to Existing Cybersecurity Systems
On the Selection of the Fitness Function Heuristics and Prediction Parameters for an Adaptive Neural Network Fuzzy Inference Controller
Dynamic Authentication Using Keystroke Biometrics
Predicting Cow's Delivery Using Movement and Position Data Based on Machine Learning
Agent-Based Stock Trader
Cluster Analysis of Spatial Data Using Peano Count Tree
Virtual City: A Gaming Tool for Training and Education
A model to detect multi-source information attacks
Relaxing correctness criteria in real-time DBMSs
A prototype mobile-agent application
Improving performance of retrieval from an image database using robert transformed image features
Nearest Shrunken Centroid as Feature Selection of Microarray Data
Exact Computations of the Longest Repeated Suffix Ending at Each Point in a Word
Mobile Agents over E-business
Virtual Reality Physics Lab
Improving Branch Prediction Performance by Removing Temporally Close Aliases
Finding Predictive Precursors in Time Series Data
A Fast and Efficient Recovery Scheme for Distributed Programs
Modelling a medical knowledge base for decision support
NetLogo and GIS: A Powerful Combination
An Adaptive Query Processing Method according to System Environments in Database Broadcasting Systems
Minimizing Task Completion Time for Real-Time Multiprocessor Systems
Human identification through body measurements
Knowledge Discovery, Information Retrieval, and Data Mining
Alleviation of the Impact of the Apex Nodes on Routing in the Pyramid Structures
WIQS: Web Integration Query System
Multimedia tools for computer-assisted learning in engineering
A New Method for Concurrency Control in Centralized Database Systems
A Novel Bandwidth-Efficient Multicasting Protocol for Wide Area Networks
Knowledge and Data in Computer Systems
Design of the Embedded System and Data Communication for an Agricultural Autonomous Vehicle
A Practical Method to Implement Asynchronous Iterative Algorithms on MPI and a Case Study for Asynchronous Self-Organizing Maps
Mathematical Schema Theory for Network Design
A Language Independent Tool for Documentation Extraction
Study of search engine indexing and update mechanisms: Usability implications
Transformation Methodology of Binary Executables to Run on Bare Machines
A Flexible and Intrusion Tolerant Voting Mechanism
Fuzzy load balancing in a distributed system
Age-group Classification Using 3DHOG Descriptor Applied to Depth Maps
A Task Graph Set for Evaluation of Reconfigurable Hardware Scheduling Algorithms
People tracking algorithm using position correlation in discrete wavelet transform
Performance Modeling of Windows 2000 Priority-driven Preemptive Thread Scheduling
Predicting Yeast Gene Function Based on Hidden Markov Models
CMA: A cell management algorithm for ATM networks
Techniques for Improving Branch Prediction Accuracy in YAGS Predictor
Online Recruitment - An Intelligent Approach
Migration of Relational Databases
UI Error Reduction for High Spatial Visualization Users when Using Adaptive Software to Verify Addresses
A Bird's Eye View of Some Common Elements of Science of Design Applicable to the Design of Software Systems
Leaving the sandbox: Third party validation for Java applications
Mining association rules
User Behavior and Trust Evaluation in Cloud Computing
An Efficient Multicast Routing Scheme For Cellular Networks
The Multi-Purpose Watermarking for Halftone Image
Hybrid Vector Filtering for Noise Detection and Removal in Color Images
Investigation of Random Forest Performance with Cancer Microarray Data
A Distributed Multiagent Architecture Representing a Virtual Marketplace
A Note on Hierarchical Distance Vector Routing -- Free from the Count-to-Infinity Problem
Noise reduction in nonlinear time series using a library of wavelet bases
Disease Outbreak Detection Using Search Keywords Patterns
Efficient Power-aware Hybrid Routing using Zoning for Ad Hoc Network
Improving context switching performance for idle tasks in linux
A Brief Study on Web Caching Applied to Mobile Web Applications
Intelligent Power Management for a Solar Parking Structure for Plug-in Electric Vehicles
An approach to remote software project management and development
Transformation of estelle specifications to lotos specifications
Characterizing Thermal Devices by Identifying Spectra Using Principal Component Analysis
Vehicle-Bus Interface with GMLAN for Data Collection
Reversible Integer-to-Integer Wavelet Transform for the H.264 Advanced Video Codec Standard
Experiences with a four-level computer animation package
Real-Time Task Scheduling Algorithm for Cloud Computing Based on Particle Swarm Optimization
Structural Properties of Linked RDF Documents
Guarding Fast Data Delivery in Cloud: An Effective Approach to Isolating Performance Bottleneck During Slow Data Delivery
Privacy-Preserving Regression Modeling and Attack Analysis in Sensor Network
Energy-Efficient VM Placement Algorithms for Cloud Data Center
Dynamic Load Sharing to Maximize Resource Utilization Within Cloud Federation
An Architecture-Based Autonomous Engine for Services Configuration and Deployment in Hybrid Clouds
Schedule Compaction and Deadline Constrained DAG Scheduling for IaaS Cloud
Keyword Search Over Encrypted Data in Cloud Computing from Lattices in the Standard Model
Node Capability Modeling for Reduce Phase's Scheduling in MapReduce Environment
Integrity Verification of Replicated File with Proxy in Cloud Computing
Analyzing and Predicting Failure in Hadoop Clusters Using Distributed Hidden Markov Model
Synthesizing Realistic CloudWorkload Traces for Studying Dynamic Resource System Management
Making GPU Warp Scheduler and Memory Scheduler Synchronization-Aware
A Novel Grid Based K-Means Cluster Method for Traffic Zone Division
CUDAGA: A Portable Parallel Programming Model for GPU Cluster
AutoCSD: Automatic Cloud System Deployment in Data Centers
Survey on Software-Defined Networking
Rationalizing the Parameters of K-Nearest Neighbor Classification Algorithm
Cross-Correlation as Tool to Determine the Similarity of Series of Measurements for Big-Data Analysis Tasks
An Efficient Index Method for Multi-Dimensional Query in Cloud Environment
Novel Intrusion Detection System for Cloud Computing: A Case Study
The Key Technologies of Real-Time Processing Large Scale Microblog Data Stream
Color Image Fusion Researching Based on S-PCNN and Laplacian Pyramid
Cloud Computing and Big Data - Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers
Time Series Similarity Evaluation Based on Spearman's Correlation Coefficients and Distance Measures
UNIO: A Unified I/O System Framework for Hybrid Scientific Workflow
Research of Terminal Transparent Encryption Storage Mechanism for Multi-cloud Disks
Emerging Pragmatic Patterns in Large-Scale RDF Data
A New Analytics Model for Large Scale Multidimensional Data Visualization
An Efficient Quantum Algorithm for the Hidden Subgroup Problem over Weyl-Heisenberg Groups
Computing Equiangular Lines in Complex Space
On the Security of Beth's Identification Schemes against Active and Concurrent Adversaries
Invited Talk: Embedding Classical into Quantum Computation
Complexity of Comparing Monomials and Two Improvements of the Buchberger-Möller Algorithm
Construction of Large Constant Dimension Codes with a Prescribed Minimum Distance
Protection of Sensitive Security Parameters in Integrated Circuits
Kernel Dimension for Some Families of Quaternary Reed-Muller Codes
Coding-Based Oblivious Transfer
Invited Talk: Decoding Cyclic Codes: The Cooper Philosophy
Steiner t-Designs for Large t
A Criterion for Attaining the Welch Bounds with Applications for Mutually Unbiased Bases
New Spatial Configurations
Mathematical Methods in Computer Science, MMICS 2008, Karlsruhe, Germany, December 17-19, 2008 - Essays in Memory of Thomas Beth
On Reconstruction of RC4 Keys from Internal States
Using channel state feedback to achieve resilience to deep fades in wireless networked control systems
Fundamental limits of nonintrusive load monitoring
Bounding the smallest robustly control invariant sets in networks with discrete disturbances and controls
Taxonomy for description of cross-domain attacks on CPS
HMM-based characterization of channel behavior for networked control systems
Towards synthesis of platform-aware attack-resilient control systems: extended abstract
User interface design and verification for semi-autonomous driving
Minimax control for cyber-physical systems under network packet scheduling attacks
Verifying information flow properties of hybrid systems
Understanding the security of interoperable medical devices using attack graphs
An inverse correlated equilibrium framework for utility learning in multiplayer, noncooperative settings
Energy efficiency via incentive design and utility learning
Passivity framework for modeling, mitigating, and composing attacks on networked systems
Resilient distributed consensus for tree topology
A framework for privacy and security analysis of probe-based traffic information systems
Mechanism design for robust resource management to false report in cloud computing systems
A dynamic game-theoretic approach to resilient control system design for cascading failures
Safety envelope for security
2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), HiCoNS 2013, Philadelphia, PA, USA, April 9-11, 2013
Energy-based attack detection in networked control systems
Integrity attacks on cyber-physical systems
Contract-based blame assignment by trace analysis
Integrated simulation and emulation platform for cyber-physical system security experimentation
Multilateral trades in interconnected power systems: a local public goods approach
Distributed model-invariant detection of unknown inputs in networked systems
Coordinated variable structure switching in smart power systems: attacks and mitigation
Leader selection games under link noise injection attacks
3rd International Conference on High Confidence Networked Systems (part of CPS Week), HiCoNS '14, Berlin, Germany, April 15-17, 2014
Forecasting the resilience of networked dynamical systems under environmental perturbation
Is this a good time?: deciding when to launch attacks on process control systems
Attack models and scenarios for networked control systems
Achieving resilience of heterogeneous networks through predictive, formal analysis
NCS security experimentation using DETER
Future cars: necessity for an adaptive and distributed multiple independent levels of security architecture
On the cost of differential privacy in distributed control systems
Privacy-preserving release of aggregate dynamic models
Resilient distributed parameter estimation in heterogeneous time-varying networks
From CRCs to resilient control systems: differentiating between reliability and security for the protection of cyber-physical systems
Graph-based verification and misbehavior detection in multi-agent networks
A module for anomaly detection in ICS networks
Distributed switching control to achieve resilience to deep fades in leader-follower nonholonomic systems
Cyber-insurance framework for large scale interdependent networks
A network interdiction model for analyzing the vulnerability of water distribution systems
Distributed detection and isolation of topology attacks in power networks
A formal verification approach to revealing stealth attacks on networked control systems
Resilient multidimensional sensor fusion using measurement history
Decisions for autonomous vehicles: integrating sensors, communication, and control
Algorithms for determining network robustness
Verifiably-safe software-defined networks for CPS
S3A: secure system simplex architecture for enhanced security and robustness of cyber-physical systems
Bio-inspired strategy for control of viral spreading in networks
1st International Conference on High Confidence Networked Systems (HiCoNS - at CPS Week 2012), HiCoNS '12, Beijing, China, April 17-18, 2012
Consensus of multi-agent networks in the presence of adversaries using only local information
Implementation of the Human Action State Recognition Using Smartphone
Active Magnetic Bearing System Using PID-surface Sliding Mode Control
Safety Live Environment Enhancement for Older Adult by Using the Behavior Prediction Model
Reversible Data Hiding in Pairwisely Encrypted Images
A Genetic Rough Set Approach to Fuzzy Time-Series Prediction
Kernel Self-Adaptive Learning-Based Satellite Telemetry Data Classification
Design of a Sun Tracking System Based on the Brightest Point in Sky Image
Food Texture Classification Using Magnetic Sensor and Principal Component Analysis
An Algorithm for Improving Network Throughput of Wireless Distribution System
Action Recognition System with the Microsoft KinectV2 Using a Hidden Markov Model
The Visual Interactive Programing Learning System Using Image Processing
A Secure Condition-Based Location Authentication Protocol for Mobile Devices
Numerical Evaluation of Two Management Schemes for Sharing Limited Bandwidth
Construct Asterisk 16QAM Constellation Extension Scheme for PAPR Reduction in SC-FDMA Systems
Incremental Updates of Rough Set-Based Probabilistic Rules
Information Dilution: Granule-Based Information Hiding in Table Data - A Case of Lenses Data Set in UCI Machine Learning Repository
A New Method for Identifying Users Interest for Personalized Recommendations
Time Competition Flooding in High-Density Wireless Sensor Network
Comparative Study on Recent Development of Heuristic Optimization Methods
Using House of Dynamic Wants to Discovery the Competency of Religious Lecturer - An Example of I-Kuan Ta in the Central Region of Taiwan
Energy-Efficient Activity Recognition on Smartphone
A Real-Time Routing Algorithm for End-to-End Communication Networks with QoS Requirements
A Networked Multimedia Distributed Kiosk System for Commercial and Home Appliances
Estrus Detection for Dairy Cow Using a Laser Range Sensor
Speech Recognition in a Multi-speaker Environment by Using Hidden Markov Model and Mel-frequency Approach
Third International Conference on Computing Measurement Control and Sensor Network, CMCSN 2016, Matsue, Japan, May 20-22, 2016
Cryptanalysis and Improvement of a Provable Data Possession Scheme in Public Cloud Storage
Optimal Design of LED Street Lighting with Road Conditions
Low Space Complexity Multiplier for Even-Type Gaussian Normal Basis over GF(2m)
Enhancing Internet Networks Confidentiality Based on Composite Coding and Channels Coding Schemes of Signatures Reconfiguration
Robot Partner Technology Based on Information Support System for Elderly People and Their Family
Utilizing Cat Swarm Optimization in Allocating the Sink Node in the Wireless Sensor Network Environment
Implementation of an Integrated Mobile Solar Power Monitoring System for Images and Battery Parameters
Effect of Information System Co-construction Policy on Cultural Propaganda Oriented Government Website - The National Taiwan Symphony Orchestra as a Case Study
A Novel Harmonic Field Based Method for Femoral Head Segmentation from Challenging CT Data
A Rough Set Approach to Data Imputation and Its Application to a Dissolved Gas Analysis Dataset
A Dynamic Distributed Energy Management Algorithm of Home Sensor Network for Home Automation System
A Decision Tree Based Method for Extracting Important Elements of In-Applications Purchase
A Compact Flower Pollination Algorithm Optimization
Pick-Up Motion Based on Vision and Tactile Information in Hand/Arm Robot
A General Video Surveillance Framework for Animal Behavior Analysis
To Heritage the Business Intelligence of Traditional Industry by Using Decision Support System
IoT-type Electric Fan: Remote-Controlled by Smart-Phone
A Virtual Wall for Perception-Assist with a Lower-Limb Power-Assist Robot
A Flexible and Wearable EEG Device
Automatic Music Genre Classification Based on Sparse Representation and Wavelet Packet Transform with Discrete Trigonometric Transform
Time-Series Analysis on the Impact Level upon Taiwan Stock Market with Events of Signing International Agreements
An Interactive Upper-Limb Post-Stroke Rehabilitation System Integrating BCI-based Attention Monitoring and Virtual Reality Feedback
Interactive Surgical Planning Using Context Based Volume Visualization Techniques
Multi-scale Voxel-Based Morphometry Via Weighted Spherical Harmonic Representation
Medical Imaging and Augmented Reality - 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010. Proceedings
3D Gabor Wavelets for Evaluating Medical Image Registration Algorithms
Computer-Aided Delivery of High-Intensity Focused Ultrasound (HIFU) for Creation of an Atrial Septal Defect in Vivo
Medical Imaging and Augmented Reality: Second International Workshop, MIAR2004, Beijing, China, August 19-20, 2004. Proceedings
Four-D Blood Flow Patterns in the Thoracic Aorta in Patients with CAD Compared to Age-Matched Normal Subjects
Abdominal Organ Identification Based on Atlas Registration and Its Application in Fuzzy Connectedness Segmentation
A General Learning Framework for Non-rigid Image Registration
Identification of Atrophy Patterns in Alzheimer's Disease Based on SVM Feature Selection and Anatomical Parcellation
Composite-Type Optical Fiberscope for Laser Surgery for Twin-to-Twin Transfusion Syndrome
A Robust Mosaicing Method with Super-Resolution for Optical Medical Images
Computer-Assisted Evaluation of Double-Bundle ACL Reconstruction
Sparse Appearance Model Based Registration of 3D Ultrasound Images
Voxel Stuffing: High-Quality Volume Interpolation from Multiple Sequences of Cross-Sectional Images
Augmented Display of Anatomical Names of Bronchial Branches for Bronchoscopy Assistance
A Novel Liver Perfusion Analysis Based on Active Contours and Chamfer Matching
Detection and Restoration of a Tampered Medical Image
Tumor Boundary Extraction in Multislice MR Brain Images Using Region and Contour Deformation
Simulated Wave Propagation and Traceback in Vascular Extraction
Automatic Segmentation of Neonatal Images Using Convex Optimization and Coupled Level Set Method
Hands-On Robotic Surgery: Is This the Future?
Electromagnetic Guided In-Situ Laser Fenestration of Endovascular Stent-Graft: Endovascular Tools Sensorization Strategy and Preliminary Laser Testing
Visual Search in Alzheimer's Disease - fMRI Study
3D Vessel Segmentation Using Random Walker with Oriented Flux Analysis and Direction Coherence
Comparison of Phase-Encoded and Sensitivity-Encoded Spectroscopic Imaging
Adopt Adaptive B-Spline to Embellish Contours in Image Segmentation
The Applications of Stereolithography in Facial Reconstructive Surgery
List-Mode Affine Rebinning for Respiratory Motion Correction in PET Cardiac Imaging
A Robust Algorithm for Nerve Slice Contours Correspondence
Medical Image Registration and Model Construction Using Genetic Algorithms
Fusion of Laser Guidance and 3-D Autostereoscopic Image Overlay for Precision-Guided Surgery
Subject Specific Shape Modeling with Incremental Mixture Models
Mobile Laserprojection in Computer Assisted Neurosurgery
A MRI Based Semi-Automatic Modeling System for Computational Biomechanics Simulation
Spectral Aggregation Based on Iterative Graph Cut for Sonographic Breast Image Segmentation
A Novel Imaging Strategy for Structural Segmentation of the Left Ventricle
Feature Driven Rule Based Framework for Automatic Modeling of Organic Shapes in the Design of Personalized Medical Prosthetics
Augmented Reality Guidance with Electromagnetic Tracking for Transpyloric Tube Insertion
The Researches of Microscopic Image Segmentation and Recognition on the Cancer Cells Fallen into Peritoneal Effusion
Automatic Segmentation of the Aortic Dissection Membrane from 3D CTA Images
Segmentation of Focal Brain Lesions
Skin Lesions Classification with Optical Spectroscopy
Least-Incision Transformable End-Effector Mechanism for Forceps for Endoscopic Surgery
Optical Mapping of the Frontal Cortex During a Surgical Knot-Tying Task, a Feasibility Study
Vortex Segmentation from Cardiac MR 2D Velocity Images Using Region Growing about Vortex Centres
Marker-Free Registration for Electromagnetic Navigation Bronchoscopy under Respiratory Motion
Surgical Navigation of Integral Videography Image Overlay for Open MRI-Guided Glioma Surgery
Convergent Bayesian Reconstruction for PET Using New MRF Quadratic Membrane-Plate Hybrid Multi-order Prior
Scorpion Shaped Endoscopic Surgical Robot for NOTES and SPS With Augmented Reality Functions
3D Automatic Fiducial Marker Localization Approach for Frameless Stereotactic Neuro-surgery Navigation
A Neighborhood Incorporated Method in Image Registration
Deformation and Cutting in Virtual Surgery
Automatic Pose Recovery of the Distal Locking Holes from Single Calibrated Fluoroscopic Image for Computer-Assisted Intramedullary Nailing of Femoral Shaft Fractures