yusuke1997/dblp-id-title huggingface dataset:
A forensic chip for secure digital video recording
FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy)
An Experience on Formal Analysis of a High-Level Graphical SOA Design
Agile Formality: A Mole of Software Engineering Practices
Improved Underspecification for Model-based Testing in Agile Development
Are Formal Methods Ready for Agility? A Reality Check
State-based Analysis and UML-driven Equivalence Checking for C++ State Machines
Aggregation and Disaggregation of Fuzzy Polygons for Spatial-Temporal Modelling
Formal Semantics for the Integration of Image Data into GIS
Integrated 3D Modelling within a GIS
Advanced Geographic Data Modelling 1994 (AGDM'94), Spatial Data Modelling and Query Languages for 2D and 3D Applications, Proceedings
Modelling and Storage of Road Network Data
Advanced Techniques for the Storage and Use of Digital Geographic Data: Where Have we been and Where are we Going?
The Vector Overlay Puzzle: Where do the Pieces Fit?
Query Classification, a first step towards a Graphical Interaction Language
A Tetrahedron-based 3D Vector Data Model for Geoinformation
Towards a Cognitive GIS
Handling Spatio-Temporal Uncertainties of Geo-Objects for Real-Time Update of GIS Databases from Multi-Source Data
Multiresolution Topological Maps
The Interactive Map
Data Models for the Conceptual Generalisation of Geo-Data
A Computational Model of the Basic Meanings of Graded Composite Spatial Relations in 3D Space
Identification of a Definition Formalism for a Spatial View
Spatial Access Methods and Query Processing in the Object-Oriented GIS GODOT
Approaches to the Representation of Qualitative Spatial Relationships for Geographic Databases: A Critical Survey and Possible Extensions
A Syntactic Approach for Handling the Semantics of Fuzzy Spatial Objects
Developing a Model for Geographic Data Distribution in a Distributed Geographic Information System
A New PAPR Reduction Technique for OFDM-WLAN in 802.11a Systems
OpenFlow-based Server Cluster with Dynamic Load Balancing
Multi-Layered Metadata Registry System for Distributed Metadata Management
Preliminary Study of Reasoning Existing Projects' Descriptions Based on Classname Word Elements
ID-based threshold signature and mediated signature schemes
Quality assessment of beef based of computer vision and electronic nose
Cross Depth Image Filter-Based Natural Image Matting
Understanding and detecting performance and security bugs in IOT OSes
An autonomous configuration scheme of storage tiers for distributed file system
Modular Matrix Cipher and Its Application in Authentication Protocol
A Formalism for Distributed Systems with an Accurate Graphical Representation
Numerical Stability of Delay Integro-Differential Equations under Resolvent Conditions
Risk assessment of social-media utilization in an enterprise
Study on the E-Government Information Sources Exchange Based on Directory Service
A QoS-guaranteed DiffServ-aware-MPLS VPN and its Network Management System
Dependable distributed embedded system assessment platform design
A Research for Quality Preservation Methodology for SOA Environment
User Authentication for Hiererchical Wireless Sensor Networks
Trustable Ad Hoc Networks of Agent Societies
Novelty towards Hybrid Segmentation of Coronary Artery in CT Cardiac Images
RaceTracker: Effective and efficient detection of data races
Traffic Adaptive Hybrid MAC with QoS Driven Energy Efficiency for WSNs Through Joint Dynamic Scheduling Mode
Study and Application of Web-based Data Mining in E-Business
Multidimensional Fuzzy Interpolative Reasoning Method Based on λ-Width Similarity
Proposal for a Personalized Adaptive Speaker Service to Support the Elderly at Home
A model for the connectedness of stones in the game of Go
A Kalman Smoothing Algorithm for Speech Enhancement Based on the Properties of Vocal Tract Varying Slowly
11th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing, SNPD 2010, London, England, UK, June 9-11, 2010
Signature of quantum message using quantum fingerprint and stabilizer code
Routing algorithm based on ant colony optimization for mobile social network
Asymptotic Weighted Periodic Oscillations for Dynamic Systems Caused by Impulse and Time Delay
AES-128 ECB encryption on GPUs and effects of input plaintext patterns on performance
File Transfer Scheduling Optimization Using Artificial Immune System
A Method of Ridge Detection in Triangular Dissections Generated by Homogeneous Rectangular Dissections
Local stereo matching under radiometric variations
Specifying and Verifying Timing Properties of a Time-triggered Protocol for In-vehicle Communication
Integrated Usage between Relational DBs and NoSQL DB
Attention Mechanism, Linked Networks, and Pyramid Pooling Enabled 3D Biomedical Image Segmentation
Incremental Data Migration for Multi-database Systems
Building Infrastructure for an Honors Research Robotics Lab
An LBP Based Key Management for Secure Wireless Body Area Network (WBAN)
A novel microgrid based resilient Demand Response scheme in smart grid
Multisensory images evoked by olfactory stimuli: Crossmodal correspondences in human information processing
Mathematical Modelling for the Design of an Edge Router
Architectural Reconstruction of 3D Building Objects through Semantic Knowledge Management
Improve Information Service Capabilities from Content Aggregation to Knowledge Provision with Generative Pre-trained Transformer (GPT)
Agent-based Trust Model in Wireless Sensor Networks
System Architecture and Feature Design for Engineering a Web-Based Travel Advisor System: FanOnTour
A Dynamic and Self-study Language Model Oriented to Chinese Characters Input
Prioritized Constraints with Data Sampling Scores for Automatic Test Data Generation
Hybrid evolutionary algorithms for data classification in intrusion detection systems
Validity Test of the Eigenfunction Expansion Method in the Transient Wave Propagation Simulation
Early-Life Cycle Reuse Approach for Component-Based Software of Autonomous Mobile Robot System
A MOF-based Environment to Generate a User-Customizable Case Tool
Research on the Management Strategy of Marketing Personnel Loss Risk Based on Big Data Marketing
Equalization for a Wireless ATM Channel with a Recurrent Neural Network Pruned by Genetic Algorithm
Integrated Multi-Agent and Semantic P2P Grid Resource Discovery Model
Proceedings of the 5th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2004), June 30 - July 2, 2004, Beijing, China
Object Oriented BDD and Executable Human-Language Module Specification
MyTwigStack: A Holistic Twig Join Algorithm with Effective Path Merging Support
Study of Microservice Execution Framework Using Spoken Dialogue Agents
High performance and grid computing with quality of service control
The analysis method focusing on peaks of darkness for the impression evaluation method by space
Feature Gene Selection Based on a Hybrid between Genetic Algorithm and Support Vector Machine
Analysis of VAN-Core System Architecture- A Case Study of Applying the ATAM
A Method of Automatic Key Generation Based on Handwriting
Ambiguous Arabic Words Disambiguation
New Generalized Cellular Automata to a Class of Optimization Problems
Study on The Property of Training Samples and Learning Space with Genetic Algorithms
The Architecture of CAR Component Web Service
The Computer Bracket Pressure Monitor System of Fully Mechanized Coalface in Coal Mine Based On CAN Bus
A framework for test data generation of object-oriented programs based on complete testing chain
Event-B Formalization of Basic Supply Chain Patterns
Research on Measuring Method of Function Size of Information System
A Comparative Study on Performance and Resource Utilization of Real-time Distributed Messaging Systems for Big Data
Semantic Approach to Visualization Service Discovery
Effectiveness of Explaining a Program to Others in Finding Its Bugs
A Comparison of Simulated Annealing and Tabu Search in Image Segmentation
An Application Generator Framelet
Automatic Coloring of Terms in Presentation Slides Using Word Vectors
A Rapid Grouping Aggregation Algorithm Based on the Multi-Dimension Hierarchical Encoding
A Content Aggregation Using Aspect Oriented Programming
A Component-based Framework for Embedded Digital Instrumentation Software with Design Patterns
An External Storage Support for Mobile Applications with Scare Resources
Comparing AHP and ELECTRE I for prioritizing software requirements
Improved Image Coding Algorithm Based on Embedded Zerotree
Video Copy Detection Based on Blockchain
A system which manages lecture materials using meta data of lecture materials
The Study on Security Online Judge System Applied Sandbox Technology
Comprehending Color Images for Color Barrier-Free Via Factor Analysis Technique
Improvement of PageRank for Focused Crawler
The Scheduling Analysis Method of Embedded Real-Time System Based on AADL-IO Annex
LSMR: a Label Switching Multipath Routing protocol for Ad Hoc Networks
Using Data Mining Technology to Design an Intelligent CIM System for IC Manufacturing
Data Partition for Text Classification Based on Rough Sets
A User-Friendly Computation System on the Web with Octuple-precision
On Preventing Symbolic Execution Attacks by Low Cost Obfuscation
Analytical Modeling of Task Scheduling for Master-Slave Super Hypercube Architecture
A Novel Big Data Processing Approach to Feature Extraction for Electrical Discharge Machining based on Container Technology
Barrier Optimization for OpenMP Program
Creating Objects Using Genetic Programming Techniques
Prediction of R in Sinter Process based on Grey Neural Network Algebra
Integrated usage of different knowledge sources in life science
Realization of FGAC model using XACML policy specification
Implemention BiSS Communication of Encoder System without Slave Module
Manipulating Clocks in Timed Automata Using PVS
Security Analysis of wrNAF and SPA Resistant Scalar Multiplication
An Energy-Efficient Voting-Based Clustering Algorithm for Sensor Networks
A Virus Immunization Model Based on Communities in Large Scale Networks
Numerical Simulation of A Difference Scheme Applied in Image Processing Based on Four-Order PDEs
The Complexity of the Evolution of Graph Labelings
Dynamic Seed Analysis in a Social Network for Maximizing Efficiency of Data Collection
An Effective Authentication Scheme in Mobile Ad Hoc Network
Document representation based on semantic smoothed topic model
Solutions of fractional differential equations with constant coefficients
Functional classification study for mathematical formulas retrieval
Determination of the Height of 3D Objects by Moire Measurement
A comparative evaluation of open-source graph processing platforms
Energy Efficient Protocol for Corona-Based Wireless Sensor Network
Positive solutions of m-points conjugate boundary value problems
Model Inference of Mobile Applications with Dynamic State Abstraction
Comparing hierarchical dirichlet process with latent dirichlet allocation in bug report multiclass classification
Reducing Test Cost and Improving Documentation In TDD (Test Driven Development)
Modified Coronavirus Herd Immunity Optimizer for Permutation Scheduling Problems
A (t, n)-threshold verified multi-secret sharing scheme based on ECDLP
A hybrid model for Arabic document indexing
GSM Security Issues and Challenges
Measurement System Analysis for Semiconductor Measurement Process
An Ant Colony System Hybridized with Randomized Algorithm for TSP
Simplify methodology for developing VR applications based on shared VR materials
A Lloyd-Max-based Non-Uniform Quantization Scheme for Distributed Video Coding
Interactive Distance Media Learning Collaborative Based on Virtual Reality with Solar System Subject
Development and Validation of an Explainable Deep Learning Model to Predict Adverse Event During Hospital Admission in Patients with Sepsis
Multi-device User Interface Development with Composition-oriented User Interface Design Patterns
Order crossover problem with variable lead time
A study of social graph analysis for preschool education using face authentication: Pruning for centrality optimization in graph analysis
Research on factors influencing intention to use Smart home devices in Danang
Research on Detecting Method of Submarine Oil Pipelines Corrosion Degree Based on Chaos Genetic Algorithm Neural Network
Classification of Cancer Types Based on Decision Tree Analysis of Gene Function Expression Profiles
Multi-objective Distributed Clustering Algorithm in Wireless Sensor Networks Using the Analytic Hierarchy Process
Predict the Query Transaction Using Fuzzy Logic for MANETs Data Caching
RvGIST: A Holistic Road Feature for Real-Time Road-Scene Understanding
A Weighted Call Graph Approach for Finding Relevant Components in Source Code
A Multisecret Sharing Threshold Scheme
An improved method for concept location during Program Comprehension
Visual Construction of Multi-Agent Systems According to the Agent Component Approach and the Run-Design-Time Concept
Research on UML-based Modeling of Workflow Manage System
A Proposal of Mouth Shapes Sequence Code for Japanese Pronunciation
Toward conceptual representation of patterns
Comparison of Direct and Incremental Genetic Algorithm for Optimization of Ordinal Fuzzy Controllers
Emotional Scene Retrieval from Lifelog Videos Using Evolutionary Feature Creation
Edge-enhanced GAN with Vanishing Points for Image Inpainting
Artificial Intelligence of Things Enabled Fungiculture in Shipping Container
An approach to improving the performance of CUDA in virtual environment
SAT-based Bounded Model Checking for SE-LTL
Causes and Effects of E-service Quality for Online Banking
New Approaches for Software Watermarking by Register Allocation
DynaNP - A Coarse-grain Dataflow Network Processor Architecture with Dynamic Configurable Processing Path
Brain-Inspired Motion Programming for Hobby-Use Humanoid Robots
Towards the Usage of Harmony of Audio and Video Clips in Cross-Media Retrieval System Based on Impression
Model Management and Analogical Reasoning in Decision Support Systems
2-Connected Dominating Set inWireless Networks (Invited Talk Abstract)
An Ensemble of Complexity Metrics for BPEL Web Processes
Ontology-Based Naive Bayes Short Text Classification Method for a Small Dataset
Integrating Formal Techniques into Eclipse Platform
A Content Protection Scheme for H.264-based Video Sequence
Search Algorithm with Learning Ability for Mario AI - Combination A* Algorithm and Q-Learning
Optimizing mapreduce with low memory requirements for shared-memory systems
Spatial Relations Modeling Based on Visual Area Histogram
Medical concept extraction: A comparison of statistical and semantic methods
Intelligent integrated coking flue gas indices prediction
Power and Mobility-aware Adaptive Dynamic Source Routing in MANET
Mining User's Interest from Reading Behavior in E-learning System
Estimation Improvement of Objective Scores of Answer Statements with Consideration of Semantic Similarity
An Algorithm of Level of Detail Terrain
A Distributed Flocking Approach for Information Stream Clustering Analysis
Multi Readers Detection in Adaptive RFID Middleware
Research on Threshold Denoising of FCGA
A Hierarchical Clustering Based on Overlap Similarity Measure
Evolution Knowledge of Semantic Web in Personified Home Application
Survivable and Efficient Clustered Keying In Wiresless Sensor Networks
A Collaborative Filtering Model for Link Prediction of Fusion Knowledge Graph
Online tendering and evaluation for public procurement in Tanzania
A System-Design Outline of the Distributed-Shogi-System Akara 2010
Location-Independent Topology Control and Implementation for Wireless Sensor Networks
Two dimensional pattern formation of prey-predator system
An Image Retrieval System Based on Patient Data and Image Content
Payment-Based Email
Study on the evolution process of nuclear accident consequence assessment system
Analysis and acceleration of NTRU lattice-based cryptographic system
Artificial Neural Network for Processing Fingerprint Image Noise
Offshore Outsourcing Bridge: Designing and Development A Model Applied Management Platform for Chinese Offshore Outsourcing
Hybrid Intrusion Detection System using K-Means and Random Tree Algorithms
Composite-based conflict resolution in merging versions of UML models
Hierarchical speech recognition system using MFCC feature extraction and dynamic spiking RSOM
Are Identifier Renaming Methods Secure?
Evaluation of the efficiency of graduate schools using data envelope analysis (DEA)
On optimal electric vehicles penetration in a novel Archipelago microgrids
An Improved Attribute Reduction Algorithm Based on Rough Set
Application of the Rough Set to Image Median Denoising
Method of introducing appropriate respondents to questions at question-and-answer sites
A hybrid method for bilingual text sentiment classification based on deep learning
A Novel Approach to Detect the Presence of LSB Steganographic Messages
Reconfiguration Cost for Reconfigurable Computing Architectures
Time Synchronization for Failure Tolerance in Wireless Sensor Network
Bitmap Filtering: An Efficient Speedup Method for XML Structural Matching
Realize Multi-hop Node Localization in Wireless Networks
Matrix Method for Principal Normal Form of Propositional Formula
An efficient page replacement algorithm for PCM-based mobile embedded systems
Person Identification Using Top-View Image with Depth Information
Concurrency Control Program Generation in Genetic Programming Considering Depth of the Program Tree
An Improved Partitioning Heuristic for Solving TSP: An Empirical Study
The Design and Realization of the 3D Visualization System Based on HLA
An Ontology-based Knowledge Acquisition for PDM
Implementation and Evaluation of a Mail Gateway System Reducing Bounce Mail Caused by Erroneous Forward Settings
Multi-agent Stochastic Systems with Switched Topology and Noise
Design and Implementation of Real-Time OXCSwitch Monitor and Analyzer for GLASS Optical Network Simulator
Profitless delays for permanence in a pure-delayed nonautomous Lotka-Volterra competitive system with infinite delays and discrete delays
Emotion classification of mandarin speech based on TEO nonlinear features
Analysis of motivation of convention participants and proposal of attendance management system
Embracing Distance Learning Using Middleware-based Architecture
A New Supervised Clustering Algorithm for Data Set with Mixed Attributes
Component-based approach to develop integrated diagnostic platform
A provably secure ID-based mediated signcryption scheme
Evaluating Programming Performance with Keystroke Characteristics: An Empirical Experiment
Matrix Multiplication on the Biswapped-Mesh Network
Research on Topology Discovery for IPv6 Network
A Silicon-based Approach of Molecular Computing
Functional Expansion of Morphological Analyzer For Efficient Korean Parsing
Object-oriented Information Model for the Management of MPLS Traffic Engineering based VPN and QoS Services
Toward a Formalization of UML2.0 Metamodel using Z Specifications
Matching Effectiveness and OTS Model Richness
Performance Evaluation of the MMS Framework for Internet Applications
Theoretical Modelling IEEE 802.15.4 MAC Protocol with Retransmission for Wireless Personal Area Networks in Medical and Healthcare Deployment
The research of the brain default network using cascading algorithm
Applications of Relationship Defined Everything of Semantics on Existence Computation
Building personalized recommendation system in E-Commerce using association rule-based mining and classification
A Comparative Study on the Drum Sound Recognition Algorithms Based Deep Learning
Transition from Requirements to Architecture: A Review and Future Perspective
Towards a Formal Integrated Model for Function and User Interface
Balance Graphs: An Aid for Studying Convolutional Neural Networks
Study on Value-Added Service in Mobile Telecom Based on Association Rules
A fuzzy approach to selecting information systems projects
A Novel Real-Time Routing Protocol for Wireless Sensor Networks
A Component Based Architecture for Coupling Optimization and Simulation Software in a Distributed Environment
Argo: Projects' Time-Series Data Fetching and Visualizing Tool for GitHub
Designing Logical Architectures of Software Systems
FDR verification of ESANP protocol in Ad hoc Network
22nd IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2021, Taichung, Taiwan, November 24-26, 2021
Improving Smart Card Security Using Elliptic Curve Cryptography over Prime Field (F p )
Joined View Editor for Mashups of Web Data Stores
Research on RTOS-Integrated TMR for Fault Tolerant Systems
Dual-tree Complex Wavelets Transforms for Image Denoising
HIDE - A Web-based Hydrological Integrated Data Environment
Rough sets attribute reduction using an accelerated genetic algorithm
Joint multi-channel assignment and routing in wireless mesh network
Token Based Scheduling Algorithm for Advanced IMOTS(N) Switch Architecture
A Vision-Based Road Surveillance System Using Improved Background Subtraction and Region Growing Approach
Constructing DN Model-Based Information Sources
A Human Hand-Image Detection Based on Skin-Color and Circular Degree
Software ontology design to support organized open source software development
Refinement/verification of early stage probabilistic software project schedules in the planning stage
Improving Virtual Machine Reliability with Driver Fault Isolation
The Convergence of Digital Twin Technology and Personal Healthcare
Identity-Based cryptography for Grid
GPU Acceleration of Ciphertext-Policy Attribute-Based Encryption
An Algorithm of Developed Imperialist Competition for Suitable Human Resource Layout
Inducing Symmetrically Connected, All-Node Subgraphs from the Crossed Cube
Research and Implementation Of Image Recognition of Tea Based on Deep Learning
Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude
An Energy Efficient Query Procesing Algorithm Based on Relevant Node Selection for Wireless Sensor Networks
Questionnaire report on matter relating to software architecture evaluation
Deep learning based image processing for proactive data collecting system for autonomous vehicle
A Feature Selection for Malicious Detection
Deadlock-Free Routing Algorithms for 6D Mesh/iBT Interconnection Networks
Improved Circles Intersection Algorithm for Localization in Wireless Sensor Networks
E Commerce - Forward and Reverse Auction - A Managerial Tool to Succeed over Business Competitiveness
Web-based systems for inventory control in organizations: A Systematic Review
Differences of impression of pictures between Japanese and Chinese
Post processing for dense stereo matching by iterative local plane fitting
The Difference of Intention to Use E-government based on National Culture between Vietnam and Korea
Applying Data Abstraction to XML Formal Designs
Group Delay Based Approach for Frequency Estimation in Complex Noises
A PACA-Based Multicast Routing Algorithm
Compass4SL: a Service for Sharing Problems and Solutions for the Elderly at Home
Multi-signers Strong Designated Verifier Signature Scheme
A Study on Extraction Method of Synonyms in Specification Documents
An Improved Image Segmentation Algorithm Based on the Otsu Method
Placing a Liaison between Two Members of the Same Level in an Organization Structure of a Complete Binary Tree
A Formal Model of Dynamic Resource Allocation in Grid Computing Environment
Workflow Enactment Model for Next Generation Internet Services
Publicly Verifiable Secret Sharing with Enrollment Ability
Threats Analysis and Prevention for Grid and Web Service Security
Automatic composition using melodic outlines and music theory
TAM's Application: E-service Quality Study in Online Apparel Store
Improved Approach of Seed Point Selection in RPCCL Algorithm for Aerial Remote Sensing Hyper-spectral Data Clustering with Data Dimensionality Reduction
A Dynamic and Interactive Diagnosing and Testing Method for Development of Digital TV Receiver System
A Domain Specific Expert System Model for Diagnostic Consultation in Psychiatry