yusuke1997/dblp-id-title huggingface dataset:
ISICDM 2018: The 2nd International Symposium on Image Computing and Digital Medicine 2018, Chengdu , China, October 13-14, 2018
Comparison of Visual Feature Extraction Methods of Sperms in Semen Microscopic Videos
A State-of-the-art Review for Gastric Histopathology Feature Extraction Methods
Coronary Ascending Aorta Segmentation in CTA Images Using SegNet Method
Deeply Supervised U-Net with Feature Fusion: Automatic COVID-19 Lung Infection Segmentation from CT Images
ScaDO Net: Scaffold-Dense-Octave Net for Brain Structure Segmentation
Glioma Subregions Segmentation with a Discriminative Adversarial Regularized 3D Unet
Transfer Learning for Automatic Cornea Segmentation based on Ocular Staining Images
Blind CT Image Quality Assessment Model Based on CT Image Statistics
Adaptive Image De-noising Method Based on Spatial Autocorrelation
Data-driven Method for 3D Axis-symmetric Object Reconstruction from Single Cone-beam Projection Data
Post-Operative Electrode Placement Prediction in Deep Brain Stimulation Using Support Vector Regression
A Survey of Sperm Detection Techniques in Microscopic Videos
Automatic Segmentation of Prostate Structures Using a Convolutional Neural Network from Multiparametric MRI
An Accurate Estimation of T2* Mapping for Fast Magnetic Resonance Imaging
Proceedings of the Third International Symposium on Image Computing and Digital Medicine, ISICDM 2019, Xi'an, China, August 24-26, 2019
Multi-modal MRI synthesization based on StarGAN
A Region-Bias Fitting Model based Level Set for Segmenting Images with Intensity Inhomogeneity
A Machine Learning Approach to Biomarker Screening on Proteomics Data of Cleft Lip and Palate
A Method on Detection and Location of the Ablation Needle in CT Images
Robust Prototypical Networks for Small-Intestine Polyp Recognition in Wireless Capsule Endoscopy Images
Deep learning of deformable registration for breast DCE-MRI images
A Level Set Method with Dynamic Prior for Cell Image Segmentation
Impaired Capacity to Process Cross-modal Emotional Information between Facial and Auditory Channels in Major Depression Disorders
Using Learnt Nakagami parametric mapping to classify fatty liver in rabbits
Group Discriminative Least Square Regression
Cardiac segmentation using multi-atlas coarse-refine registration
Coronary Artery Motion Tracking Using Landmark Guided Point Set Registration
Classification for Rectal CEUS Images Based on Combining Features by Transfer Learning
Non-reference Evaluation of Hyperspectral X-CT Images Based on CdTe Photon Counting Detector
Cardiac Motion Scoring Based on CNN with Attention Mechanism
Modeling Disease Progression with Deep Neural Networks
Exterior Computed Tomography Image Reconstruction Based on Wavelet Tight Frame and ι0 Quasi-norm
Region-Based Automatic Regularization Parameter Tuning in CT Reconstruction
Application of Image Segmentation on Evaluating Infarct Core in Acute Ischemic Stroke Using CT Perfusion
Improved DenseNet with Convolutional Attention Module for Brain Tumor Segmentation
Gaussian Highpass Filters-based Convolutional Neural Network for Pulmonary Nodules Detection in CT Images
Automatic Detection of Major Depressive Disorder via a Bag-of-Behaviour-Words Approach
A Comparison of Segmentation Methods in Gastric Histopathology Images
Classification of Pancreatic Tumors based on MRI Images using 3D Convolutional Neural Networks
Glioma Grading Prediction by Exploring Radiomics and Deep Learning Features
Differences of aberrant dynamic functional connectivity between depressed patients with and without suicidal ideation
Deep Learning Based Discrimination of Corneal Ulcer Patterns Using Fluorescein Staining Images
Classification of Lung Tissue with Cystic Fibrosis Lung Disease via Deep Convolutional Neural Networks
An Automatic Image Segmentation Model Integrating Fuzzy Clustering with Level Set Method
A Comparison of Logistic Regression, Random Forest Models in Predicting the Risk of Diabetes
Segmentation of Venous Vessel in MRI using Transferred Convolutional Neural Network
POCS-Based Super-Resolution Image Reconstruction Using Local Gradient Constraint
Optic Disc and Fovea Detection Using Multi-Stage Region-Based Convolutional Neural Network
Non-Rigid Point Set Registration via Gaussians Mixture Model with Local Constraints
Multi-Atlas Based Early Prediction of Post-Traumatic Stress Disorder
The Effect of Spatial Consistence on Multisensory Integration in a Divided Attention Task
Hybrid 3D/2D-Based Deep Convolutional Neural Network for Spatio-Temporal Denoising of Angiography
The Effect of The Number of Sensor Coils on Sensitivity in Electromagnetic Tomography
A Pulmonary Artery-Vein Separation algorithm based on the relationship between sub-trees
Automatic Liver Segmentation in CT Volumes with Improved 3D U-net
AMIL: An attentional multi-instance learning for computer-aided diagnosis of skin diagnosis
Sparse-View CT Reconstruction via Robust and Multi-channels Autoencoding Priors
Identifying Hierarchical Individual Functional Network under Naturalistic Paradigm via Two-stage DBN with Neural Architecture Search
An end-to-end framework for pulmonary nodule detection and false positive reduction from CT Images
Mark-Guided Segmentation of Ultrasonic Thyroid Nodules Using Deep Learning
Limited-angle CT Reconstruction with ℓp Regularization
An Auto-Encoding Generative Adversarial Networks for Generating Brain Network
Flexible Probe Assisted Control System for 3D ultrasound reconstruction
Deep Interactive Segmentation of Uncertain Regions with Shadowed Sets
Subspace Clustering by Relaxed Block Diagonal Representation
A Deep Learning Pipeline Incorporating Level Set for Vascular Segmentation and Topological Analysis
Learning Multi-Level Features for Breast Mass Detection
Automatic Diagnosing of Infant Hip Dislocation Based on Neural Network
Modified Edge-Weighted Centroidal Voronoi Tessellation for Image Segmentation
A multiphase level set method for stroke lesion segmentation
Region Growing Model with Edge Restrictions for Multiple Roots Tooth Segmentation
Fully Automatic Diameter Measurement Method Based on Retinal Vessel Segmentation
I/O characteristics of MongoDB and trim-based optimization in flash SSDs
A cooperative method for processing range-skyline queries in mobile wireless sensor networks
After the boom no one tweets: microblog-based influenza detection incorporating indirect information
SP 2 : spanner construction for shortest path computation on streaming graph
Design and development of visualization tool for movie review and sentiment analysis
A ballet posture education using IT techniques: a comparative study
Knock knock: who's there? package delivery at the right address
Big data compression paradigms for supporting efficient and scalable data-intensive IoT frameworks
Performance improvement plan for MySQL insert buffer
Maximizing information through multiple kernel-based heterogeneous data integration and applications to ovarian cancer
Replica parallelism to utilize the granularity of data
Block storage scheduling based on SLA in cloud storage systems
Spammer detection for real-time big data graphs
A comparative analysis of iterative MapReduce systems
Search result diversification using data envelopment analysis
Improving real-time interoperation of national defense M&S system using distributed DBMS
Proceedings of the Sixth International Conference on Emerging Databases: Technologies, Applications, and Theory, EDB 2016, Jeju Island, Republic of Korea, October 17-19, 2016
SNS data visualization for analyzing spatial-temporal distribution of social anxiety
AGAR: an attribute-based graph refining method for community search
Locality aware management on NAND flash-based main memory for in-memory database systems
A smart-device news recommendation technology based on the user click behavior
Design and implementation of a data-driven simulation service system
Effectiveness of reverse edges and uncertainty in PIN-TRUST for trust prediction
Efficient and secure top-k query processing algorithm using garbled circuit based secure protocols on outsourced databases
Processing a continuous range query in mobile P2P network environments
Exploring correlation for fast skyline computation
Sentiment analysis at sentence level for heterogeneous datasets
Medical examination data prediction using simple recurrent network and long short-term memory
Top- k frequent induced subgraph mining using sampling
Recommend alternative drugs to minimize side-effect using generic name of drug
Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010
Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004
Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007
Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009
Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006
Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008
HARTS: A Distributed Real-Time Architecture
An Algorithm for Optical Flow
Combat System Prerequisites on Supercomputer Performance Analysis
Mining the Web to Build a Complete, Large-Scale Language Model
A Consensus-Based Framework for Responsive Computer System Design
Constraint Programming and Artificial Intelligence
A Potentially Powerful Connectionist Unit: The Cortical Column
Minutes of the Birds-of-a-Feather Session on "Real-Time Systems Education"
Towards Heterogeneous Real-Time Knowledge-Based Systems
Near Real-Time Pattern Recognition in a Special Purpose Computer with Parallel Architecture
Hard, Soft, and Hybrid Computer Systems
Tradeoffs in Real Time Protocol Standardization
Interval Constraint Programming in C++
Mining Networks through Visual Analytics: Incremental Hypothesis Building and Validation
Hard, Soft, Hybrid Real-Time Systems and Their Uses
Engineering Predictable Real-Time Systems
Exploiting Structure in Constraint Satisfaction Problems
Diffusion and Cascading Behavior in Networks
"Birds-of-a-Feather-Group" on Safety Critical Systems
Scheduling Tasks and Traffic in Fieldbus Based Real-Time Systems
Theory and Practice in Decision Support for Manufacturing Control
Multicellular Processing Units for Neural Networks: Model of Columns in the Cerebral Cortex
VOTRICS: A Highly Predictable Fault Tolerant System Architecture
A Real-Time Image Processing Language?
Real Time Computing Requirements of the "Fieldbus"
Notes on proof outline logic
Architectural Design Considerations for Critical Real-Time Systems
Constraint Satisfaction and Constraint Programming: A Brief Lead-In
Design of Real-Time Fault-Tolerant Computing Stations
DSS for Cooperative Decision-Making
Real-Time Database System Design
Product Units with Trainable Exponents and Multi-Layer Networks
The Role of Standards in Real-Time Computing
An Analog VLSI Architecture for Large Neural Networks
Statistical Inference in Multilayer Perceptrons and Hidden Markov Models with Applications in Continuous Speech Recognition
Predictability Versus Adaptability in Real-Time Computing Thomas
On TLA as a logic
Geolocalisation in Cellular Telephone Networks
Website Privacy Preservation for Query Log Publishing
What Role Should Be Played by Slovenia in Real-Time Computing Research, Development and Technology
Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28 - August 9, 1992
Annotation for System Engineering of Large, Complex, Real-Time Systems
A Generic Systems Integration Framework for Large and Time-Critical Systems
The Role of Standards in Real-Time Systems
Programming in Timed Concurrent Constraint Languages
Higher-Order Functional Constraint Networks
A prime is in at most 1 way the sum of 2 squares
What Makes Object-Oriented Database Management Systems Different?
Advances in Object-Oriented Database Systems, Proceedings of the NATO Advanced Study Institute on Object-Oriented Database Systems, held in Izmir, Kusadasi, Turkey, August 6-16, 1993
A Distributed, Fault-Tolerant Real-Time Language
Statement on a Concept for Dynamic Testing in Four Sequential Steps During Software Development
Transaction Models and Transaction Management in Object-Oriented Database Management Systems
(Inter-)Action Refinement: The Easy Way
Some Aspects of Conceptual Data Modelling
Deadlock Analysis in Networks of Communicating Processes
The algebra of programming
Practical Feature Selection: from Correlation to Causality
Asynchronous Decentralized Realtime Computer Systems
Formal Methods and Algorithms for Parallel Real-Time Computing
A New Specification/Design/Implementation Paradigm for Real-Time Avionics Architecture and Systems
An Axiomatic Semantics of Concurrent Programming Languages
Concurrent Semantics for Concurrent Constraint Programs
On Design and Practice of Fault-Tolerant Real-Time Computer Systems
Refinement of Parallel and Reactive Programs
Towards Process-Oriented Technology Transfer between Academia and Industry
The argument about the arithmetic mean and the geometric mean, heuristics included
Incorporating knowledge in multi-layer networks: the example of protein secondary structure prediction
Interaction categories and the foundations of typed concurrent programming
Using Temporal Logic for Automatic Verification of Finite State Systems
Fibonacci and the greatest common divisor
Safety Engineering and Assurance for Real-Time Systems
The N Programming Language
Learning algorithms in neural networks: recent results
Denotational Semantics of Constraint Logic Programming - A Nonstandard Approach
Real-Time Communication Networks
What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications?
Neurocomputing - Algorithms, Architectures and Applications, Proceedings of the NATO Advanced Research Workshop on Neurocomputing Algorithms, Architectures and Applications, Les Arcs, France, February 27 - March 3, 1989
Cheapmonkey: Comparing an ANN and the Primate Brain on a Simple Perceptual Task: Orientation Discrimination
Towards Provable Correct Real-Time Systems
Active Object Systems
An Overview of Real-Time Database Systems
Real Time Aspects of Manned Space Flight Avionics Computing
Data refinement and the transform
OIS Technology and Accounting: Partners in Conflict
A Review of Anomaly Detection on Graphs
What Should We Focus on in the Next Five Years?
Verification and Validation in the Life-Cycle of Real-Time Software Development
Kaleidoscope: A Constraint Imperative Programming Language
Configuring Hard Real-Time Distributed Systems
The Semantics of Pure Esterel
Fast Computation of Kohonen Self-Organization
Techniques for Complex Systems Development
How Hard is it to Reason about Propositional Programs?
The "Real World" Web Search Problem: Bridging The Gap Between Academic and Commercial Understanding of Issues and Methods
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany
Concurrent Engineering of Real-Time Systems Through Heterogeneous Prototypes
The Unification of Three Calculi
Large-Scale Semi-Supervised Learning
Text Mining from the Web for Medical Intelligence
Statistical approach to the Jutten-Hérault algorithm
Data Compression Using Multilayer Perceptrons
Goal Oriented Resource Management
Use of Pulse Rate and Width Modulations in a Mixed Analog/digital Cell for Artificial Neural Systems
Guided Propagation: current state of theory and applications
Monitoring of Distributed Real-Time Systems
Object Storage Management Architectures
Real-Time: The Uncertainty Between Sensor and Process Requirements in Computer Vision
Constraint Programming, Proceedings of the NATO Advanced Study Institute on Constraint Programming, Parnu, Estonia, August 13-24, 1993
Refinement Calculus, Lattices and Higher Order Logic
US Navy Next Generation Computer Resources Operating System Performance Measurement Guidelines
Formal Approach and Neural Network Simulation of the Co-ordination between Posture and Movement
Object-Orientation and Interoperability
Open OODB: Architecture and Query Processing Overview
Real Time Computing, Proceedings of the NATO Advanced Study Institute on Real Time Computing, held in Sint Maarten, Dutch Antilles, October 5-17, 1992
Handwritten Digit Recognition: Applications of Neural Net Chips and Automatic Learning
Algebra and Models
Script: A Communication Abstraction Mechanism and its Verification
Emergent patterns in online coactivity
Constraints in NUT
On the Development of Reactive Systems
State-of-the-Art in Real-Time Computing Research, Development and Technology
Integrated artificial neural networks: components for higher level architectures with new properties
Model Management in Decision Support Systems
Is Time a Real Time? An Overview of Time Ontology in Informatics
Simulation-Based Analysis for Real-Time Systems Development
An alternative of the ETAC to EWD1163
Statistical Techniques for Fraud Detection, Prevention and Assessment
Open Source Intelligence
Integrating Text Mining and Link Analysis
Dedicated neural networki:Suzanne A retina for edge detection
Object-Oriented Real-Time Computing
A Paradigm for Detecting Quiescent Properties in Distributed Computations
Resolution Strategies for the Intuitionistic Logic
What Should Be Focussed on in the Next Five Years?
Real-Time Operating Systems: Can Theoretical Solutions Match with Practical Needs
Detection of microcalcifications in mammographic images
DSS Success: Measurement and Facilitation
Neural Networks and Symbolic A.I
Speaker adaptation using multi-layer feed-forward automata and canonical correlation analysis
Detecting Core Members in Terrorist Networks: A Case Study
Applying Data Base Management Techniques to Statistical Production Processing
Real-Time Systems Theory and Practice Can We Bridge the Gap?
Scheduling in Fieldbus Based Real-Time Systems
Object-Oriented Modeling for Hypermedia Systems Using the VODAK Model Language
Technology Transition: Rate Monotonic Analysis in Real-System Developments
Learning to Populate an Ontology of Politically Motivated Violent Events
The United States Navy's Next Generation Computer Resources Program and the Testing Issues of Standardized Real-Time Operating Systems
Learning using hidden information: Master-class learning
Single-layer learning revisited: a stepwise procedure for building and training a neural network
Using language-independent rules to achieve high multilinguality in Text Mining
Fighting Web Spam
The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm
High Level Speech Processing by Competitive Neural Networks From Psychology to Simulation
Next Step: Responsive Multicomputer Systems
Functional Versus Non-Functional Requirements Analysis
Object Modeling Using Classification in CANDIDE and its Applications
Towards a Theory of Knowledge and Ignorance: Preliminary Report
A Formal Object-Oriented Query Model and an Algebra
Parallel Implementation of a Multi-Layer Perceptron
Basic VLSI Circuits for Neural Networks
An Approach to End-Users Application Design
Design of the Local Network Administrator in the Maritime Information Technology Standard (MITS) Real-Time Network
Link Analysis in Networks of Entities
Connected Word Recognition Using Neural Networks
A Toolset for Developing Real-Time Systems
Probabilistic Interpretation of Feedforward Classification Network Outputs, with Relationships to Statistical Pattern Recognition
Propagating Quantitative Temporal Constraints into the Software Design: A Formal Approach for Practitioners
Analysis of linear predictive data as speech and of ARMA processes by a class of single-layer connectionist models
An Analog Cell for VLSI Implementation of Neural Networks
Using linguistic information as features for text categorization
Predictability and Techniques for Schedulability Analysis
Resolution Modal Logics
Mining Massive Data Sets for Security - Advances in Data Mining, Search, Social Networks and Text Mining, and their Applications to Security, Proceedings of the NATO Advanced Study Institute on Mining Massive Data Sets for Security, Gazzada (Varese), Italy, 10-21 September 2007
Synchronous Boltzmann Machines and Gibbs Fields: Learning Algorithms
Monads for functional programming
CORTO: High Availability in a Real-Time System
Formal Methods - How to Make Them Understandable and Usable for Engineers?
Machine Learning for Intrusion Detection
Programming Language Standardization. A Case Study for Forth
A bagatelle on Euclid's algorithm
Object-Oriented Data Model Concepts
Multicast Protocols: Combining Real-Time and Reliability
Software Life Cycle of Real-Time Systems
Formal Methods for Fault-Tolerant, Real-Time System Design
The Role of Formal Methods and Algorithms in Real-Time Computing
Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems
Neuro-Computing Aspects in Motor Planning & Control
Testing by Executing Logic Specifications
Learning using Large Datasets
The Promise of Distributed Computing and the Challenges of Legacy Information Systems
Graphical Design of Real Time Applications
A method to de-alias the scatterometer wind field: a real world application
Applying Constraints for Scheduling
Predictability Versus Adaptability
Bulterman's theorem on shortest trees
Hard, Soft, Real-Time Systems and Their Use
Formal Specification and Timing Analysis of High-Integrity Real-Time Systems
Optimization of Object-Oriented Queries: Problems and Approaches
Formal Specifications for Real-Time Fault-Tolerant Systems
Instrumentation for Real-Time Programs in Parallel Environments
The balance and the coins
Proof and design
A Dependable Distributed Software Architecture
Distributed Transport Systems and Aspects of Real Time
About Fair Asynchrony
Formal Methods: Yes but How ?
Timed Process Algebras: A Tutorial
An Introduction to AKL A Multi-Paradigm Programming Language
What Will We Get from Real-Time Research Within the Next 50 Years (1992-2042)
Fundamentals of Real-Time Scheduling (Extended Abstract)
The Semi-Parallel Architectures of Neuro-Computers
Safety Licensing and Formal Correctness of High Integrity Embedded Systems
Experiences with Distributed Data Management in Real-Time C 3 Systems
The Impact of Real-Time on the Fault-Tolerant Distributed RDC-System
Interval Computations as Propagation of Constraints
Finite Time Semantics for Executable Logic Specifications
Real-Time CAN Control Systems in Weaving Machines
Complex information processing in real neurones
On two equations that have the same extreme solution
Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984
Head Up Display. Requirements on an Avionic System
Method Base System: A Tool for Decision Support
Using Integration Architectures for Systems Development
Ship System 2000
Algorithmic Methods for Real-Time Scheduling
Neural Networks Dynamics
A Temporal Proof Methodology for Reactive Systems
Functional Programming Formalisms for OODBMS Methods
The Next Generation of Real-Time Operating Systems and Languages
Abstract Interpretation for (Constraint) Logic Programming
Next-Generation Real-Time Database Management and Databases
Fitting Mixtures of Regression Lines with the Forward Search
Optimization of the number of hidden cells in a multilayer perceptron. Validation in the linear case
Industrial Mining of Massive Data Sets
GranAda: A Distributed Real-Time Language
The Refinement Calculus
Analog implementation of a permanent unsupervised learning algorithm
Guidelines for DBMS Selection
System Level Real Time Distributed Diagnosis
Filtering Multilingual Terrorist Content with Graph-Theoretic Classification Tools
Methodologies and Tools for Logical Database Design
Notes on Algebraic Calculi of Processes
Data Refinement and the Transform
Resource Management and Security in Supervisory Control Systems
Distributed Categorizer for Large Category Systems
Object-Oriented Rule Languages and Optimization Techniques
Knowledge-Based Techniques with Special Emphasis on Real-Time Expert Systems
Issues in Object-Oriented Real-Time Language Design
The Ode Object-Oriented Database Management System: An Overview
Correctness Proofs of Distributed Termination Algorithms
Adaptive Fault Management