yusuke1997/dblp-id-title huggingface dataset:
An application of circumscribed circle filter in the Multi-Stencils Fast Marching method
Impact of offline events on online link creation: a case study on events advertised on Facebook
Short inversions and conserved gene clusters
An implementation of the earliest deadline first algorithm in Linux
A low power STT-RAM based register file for GPGPUs
Dual analysis for proving safety and finding bugs
Integrated Interoperability Based Panoramic Video Synopsis Framework
Discovering, selecting and exploiting feature sequence records of study participants for the classification of epidemiological data on hepatic steatosis
Template co-updating in multi-modal human activity recognition systems
Enhanced strawberry image classification using multi-task deep neural learning
A framework for the classification and the reclassification of electronic catalogs
Interactive multimedia scenario: modeling rendering
Dynamically tuning the population size in particle swarm optimization
Fuzzy techniques for software reuse
A semantic clustering-based approach for searching and browsing tag spaces
BlueCov: Integrating Test Coverage and Model Checking with JBMC
Visualizing large hierarchies with drawer trees
RAM: exploiting restrained and approximate management for enabling neural network training on NVM-based systems
A model for mining relevant and non-redundant information
BayesForSG: a bayesian model for forecasting thermal load in smart grids
App2SecApp: privacy protection from Android applications
A connected component labeling algorithm for grayscale images and application of the algorithm on mammograms
A recommender system for requirements elicitation in large-scale software projects
Automatic Pain Assessment with Ultra-short Electrodermal Activity Signal
Reflective controls for intelligent distributed objects
Combining cybernetics and conceptual modeling: the concept of variety in organizational engineering
Image analysis and enhancement using fuzzy rule based expert system
Towards reusable and modular aspect-oriented concurrency control
Solve Customers' Problems: Interactive Evolution for Tinkering with Computer Animation
Security mutation testing of the FileZilla FTP server
Media transports and distributed multimedia flows
An investigation of the project management approaches of agile and plan-based companies
Virtual teams virtual projects = real learning (abstract only)
Verification conditions for single-assignment programs
Comparative Study on Fuchsia and Linux Device Driver Architecture
Hermes: a semantic web-based news decision support system
Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change
A priority assignment strategy of processing elements over an on-chip bus
Cache-aware block allocation for memory-technology storage targeted file systems
On-the-fly simplification of genetic programming models
A Bayesian network approach to assist on the interpretation of software metrics
Weight-based search to find clusters around medians in subspaces
A Study of MEV Extraction Techniques on a First-Come-First-Served Blockchain
A light-weight feedback method for reconstructing a document vector space on a feature extraction model
Topology information generation methods using a routing table in ad hoc network applications
SkiLLMo: Normalized ESCO Skill Extraction through Transformer Models
The influence of resource allocation on cloud computing performance
Towards improved load balancing for data intensive distributed computing
Next generation JDBC database drivers for performance, transparent caching, load balancing, and scale-out
Incremental feature-based mapping from sonar data using Gaussian mixture models
Neural network based systems for computer-aided musical composition: supervised x unsupervised learning
Automatic code generation for executing tiled nested loops onto parallel architectures
Debiasing Classifiers by Amplifying Bias with Latent Diffusion and Large Language Models
Translation disambiguation in web-based translation extraction for English-Chinese CLIR
Constraint processing in relational database systems: from theory to implementation
Emerging cooperation in a public goods game with competition
Modular implementation of adaptive decisions in stochastic simulations
An efficient generic network flow constraint
On the use of spectral filtering for privacy preserving data mining
Linking knowledge bases to social media profiles
Machine learning based real-time vehicle data analysis for safe driving modeling
BGrowth: an efficient approach for the segmentation of vertebral compression fractures in magnetic resonance imaging
Browsing image databases with Galois' lattices
Sanitizing using metadata in MetaXQuery
The omission finder for debugging what-should-have-happened bugs in object-oriented programs
Benchmarking Automated Solution Generators for the Crozzle
Enterprise ontology in enterprise engineering
Test generation and minimization with "basic" statecharts
Learning to characterize performance regression introducing code changes
A joint user association and load balancing scheme for wireless LANs supporting multicast transmission
A CUDA-based implementation of OpenGL-compatible rasterization library prototype
Mapping of the synchronization mechanisms of the Linux kernel to the response-time analysis model
Structural similarity in geographical queries to improve query answering
CyprIoT: framework for modelling and controlling network-based IoT applications
Analysis of adaptive wormhole-routed torus networks with IPP input traffic
Evaluating genetic algorithms with different population structures on a lot sizing and scheduling problem
On the use and effect of graph decomposition in qualitative spatial and temporal reasoning
Secure routing in peer-to-peer distributed hash tables
A Software-Only Approach to Enable Diverse Redundancy on Intel GPUs for Safety-Related Kernels
CluB: a cluster based framework for mitigating distributed denial of service attacks
Quantified extreme scenario based design approach
Conformational statistics of models for serine- and threonine-linked glycopeptides using umbrella sampling
Executing JML specifications of Java card applications: a case study
Verifying multicast-based security protocols using the inductive method
A decentralized infrastructure for query answering over distributed ontologies
Early eviction and swapping for MLC STT-RAM-based LLC
A CP-LP approach to network management in OSPF routing
An insight into biological datamining based on rarity and correlation as constraints
Automatic derivation of formulas by graph embedding and pattern matching network
Application-guided tool development for architecturally diverse computation
Combining static and dynamic data flow analysis: a hybrid approach for detecting data leaks in java applications
Context-aware information retrieval on a ubiquitous medical learning environment
Editorial message: special track on applications of spatial simulation of discrete entities
One-mode Projection of Bipartite Graphs for Text Classification using Graph Neural Networks
ML-enabled Service Discovery for Microservice Architecture: a QoS Approach
Handheld devices for cooperative educational activities
Forecasting battery state of charge for robot missions
Incremental construction of torus networks
Towards an ontology pattern language for harmonizing software process related ISO standards
A detectability analysis of fault classes for Boolean specifications
DTC-TranGru: Improving the performance of the next-DTC Prediction Model with Transformer and GRU
Analyses of a model-based real-time language embedded in C++
Editorial message: special track on internet data management
Two-level assurance of QoS requirements for distributed real-time and embedded systems
Use case-driven component specification: a medical applications perspective to product line development
Online adaptive learning for out-of-round railway wheels detection
DEMETER: hardware-assisted database checkpointing
Discretization from data streams: applications to histograms and data mining
NCaaS: network configuration as a service in SDN-driven cloud architectures
Aspect-based extractive summarization of online reviews
Weaving a debugging aspect into domain-specific language grammars
MoSQL: an elastic storage engine for MySQL
Automated memory leak fixing on value-flow slices for C programs
Accessibility and usability problems encountered on websites and applications in mobile devices by blind and normal-vision users
Survey of semantic annotation platforms
Using adaptive distinguishing sequences in checking sequence constructions
Scalable and timely detection of cyberbullying in online social networks
Proxy Viewpoints Model-based Requirements engineering
SimRank and its variants in academic literature data: measures and evaluation
Adaptive burst detection in a stream engine
Tuple Centres for the Coordination of Internet Agents
Improving Kademlia Lookup Privacy through Query Obfuscation
Learning hierarchical category influence on both users and items for effective recommendation
Integrating lua into C for embedding lua interpreters in a C application
Combining global and local information for enhanced deep classification
A low cost digital operating room
EARs in the wild: large-scale analysis of execution after redirect vulnerabilities
Taking stigmergy out of the lab and into the field: student research abstract
An energy-aware service composition framework for service-oriented wireless sensor networks
Ontologies and summarizability in OLAP
FGKA: a Fast Genetic K-means Clustering Algorithm
Creating and shareing web notes via a standard browser
On the improvement of a fault classification scheme with implications for white-box testing
Anchoring interactive points of interest on web-based instructional video: effects on students' interaction behavior and perceived experience
Content-based image retrieval towards the automatic characterization of soybean seed vigor
Gradual transition towards autonomic software systems based on high-level communication specification
MOMOS-MT: mobile monophonic system for music transcription: sheet music generation on mobile devices
The Hybrid Object-Relational Architecture (HORA): An Integration of Object-Oriented and Relational Technology
Persistent structures to store moving images
Explainable Artificial Intelligence (XAI) Approach for Reinforcement Learning Systems
Linear behaviour of term graph rewriting programs
TRL: a traceability representation language
An adaptive information extraction system based on wrapper induction with POS tagging
Evaluating the elasticity of multimedia applications in a cloud computing environment using network metrics
NATCloud: cloud-assisted NAT-traversal service
Energy-Aware Vision Model Partitioning for Edge AI
Elicitation and conversion of hidden objects and restrictions in a database schema
Shot-HR: a video shot representation method based on visual features
Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013
A New Cache Management Algorithm for Multimedia Storage Systems
Hybrid domain-specific kits for a flexible software factory
A Versatile Module System for Prolog Mapped to Flat Prolog
Maintenance of tree structured computations on parallel and distributed computer systems
Discrete wavelet transform-based multivariate exploration of tissue via imaging mass spectrometry
DISO: A Domain Ontology for Modeling Dislocations in Crystalline Materials
Dynamic task set partitioning based on balancing resource requirements and utilization to reduce power consumption
The ROP needle: hiding trigger-based injection vectors via code reuse
Application-level task execution issues in mobile cloud computing
Extracting probable command and control signatures for detecting botnets
Detecting spring configurations errors
User adaptive content delivery mechanism on the world wide web
Statechart-based use case requirement validation of event-driven systems
Novel immune-based framework for securing ad hoc networks
Using CSP for coordinating undo-based collaborative applications
Analytic performance analysis of the DQDB access protocol
Empirical analysis of database server scalability using an N-tier benchmark with read-intensive workload
Inductive inference of chaotic series by Genetic Programming: a Solomonoff-based approach
Classification characteristics of SOM and ART2
Query-relevant sentiment summarization based on facet identification and sentence clustering
UC2Map: automatic translation of use case maps from specification
Automated seam tracking system based on passive monocular vision for automated linear robotic welding process
Special track on handheld computing
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
Multimodal graph-based analysis over the DBLP repository: critical discoveries and hypotheses
Feature-based 3D morphing based on geometrically constrained sphere mapping optimization
Text-based summarization and visualization of gene clusters
A conceptual framework for enterprise agility
Sequence modelling for sentence classification in a legal summarisation system
Predicting acid concentrations in processing plant effluent: an application of time series prediction using neural networks
Parametrized Programming in LILEANNA
MaE! : a service for supporting people meeting at events
An ocarina extension for AADL formal semantics generation
Computing the real variety of an ideal: a real algebraic and symbolic-numeric algorithm
Cycle embedding in faulty hierarchical cubic networks
A knowledge-based framework for reference architectures
Person identification from heavily occluded face images
Editorial message: special track on web technologies and applications
Quality-centric feature model configuration using goal models
Transforming OCL constraints: a context change approach
Generic flow-sensitive optimizing transformations in C++ with concepts
Demand response computation for future smart grids incorporating wind power
Diversity regularized autoencoders for text generation
Unit testing of energy consumption of software libraries
Compact and discriminative approach for encoding spatial-relationship of visual words
Introducing global scaling parameters into Ncut
A deductive database audit trail
Where Do We Go From Here? Location Prediction from Time-Evolving Markov Models
Mining and prediction of temporal navigation patterns for personalized services in e-commerce
A new protein motif extraction framework based on constrained co-clustering
A retrieval technique for virtual reality databases
A framework for semantic annotation of digital evidence
Secure transaction management and query processing in multilevel secure database systems
Selective crossover: towards fitter offspring
Authentication and Access Delegation with User-Released Certificates
Analysing and extending privacy patterns with architectural context
An Early Exit Deep Neural Network for Fast Inference Intrusion Detection
A user study on tailoring GUIs for smartphones
Explainable Reinforcement Learning for Formula One Race Strategy
GAN-based matrix factorization for recommender systems
Enabling temporal-aware contexts for adaptative distributed systems
Modular Java web applications
Who likes me more?: analysing entity-centric language-specific bias in multilingual Wikipedia
Controlled propagation in continuous numerical constraint networks
Geographical information recognition and visualization in texts written in various languages
RoboPlanner: autonomous robotic action planning via knowledge graph queries
Using expectation to enable spoken variable initiative dialog
Learning the risk board game with classifier systems
Mining spam email to identify common origins for forensic application
"Do you know existing accuracy metrics overrate time-series anomaly detections?"
Dependency tree positional encoding method for relation extraction
High School Weekly Timetabling by Evolutionary Algorithms
A multi-agent algorithm for vehicle routing problem with time window
Towards a compositional approach to model transformation for software development
A distributed intrusion detection scheme for wireless ad hoc networks
A formal analysis of Dutch Generic Integral Tunnel Design models
Scalable coordination for sensor networks in challenging environments
GANDALF: A LLM-based approach to map bark beetle outbreaks in semantic stories of Sentinel-2 images
Dynamic configuration of application-specific implicit instructions for embedded pipelined processors
Visualizing dispute sections and relations from the sequence of replying comments
Conceptual model of real-time systems: a perspective
Protein classification using transductive learning on phylogenetic profiles
New theoretical findings in multiple personalized recommendations
Resolving data interoperability in ubiquitous health profile using semi-structured storage and processing
Cleaning microarray expression data using Markov random fields based on profile similarity
A reusable object-oriented design to support self-testable autonomic software
Agent-Based Services for Information Portals
Algorithms to detect chained-inference faults in information distribution systems
Modeling and analysis on network performance for cloud service delivery with multiple paths
An adversarial plan recognition system for multi-agent airborne threats
The selfish gene algorithm: a new evolutionary optimization strategy
ART: adaptive, reliable, and fault-tolerant task management for computational grids
A scalable communication infrastructure for smart grid applications using multicast over public networks
Agent-based coordination for the sensor web
OntoConnect: unsupervised ontology alignment with recursive neural network
Reasoning with Plausibility in Incomplete Argumentation Frameworks
Measuring Agile teamwork: a comparative analysis between two models
Ensemble trees learning based improved predictive maintenance using IIoT for turbofan engines
Interpreting energy profiles with CEGAR
Ensuring endpoint authenticity in WebRTC peer-to-peer communication
Using stratified privacy for personal reputation defense in online social networks
Univariate vs multivariate prediction for containerised applications auto-scaling: a comparative study
A comparison of variational data assimilation and nudging using a simple dynamical system with chaotic behavior
An automated negotiation mechanism based on co-evolution and game theory
Volume fractal dimensionality: a useful parameter for measuring the complexity of 3D protein spatial structures
Autonomic management policy specification in Tune
Parallel trajectory synchronization for aircraft conflicts resolution
Special track on Embedded Systems: Applications, Solutions, and Techniques: editorial message
Towards discovering criminal communities from textual data
A Parallel Algorithm for the Routing Problem: An Implementation in The Parallel Computer IBM-SP2
Maximum likelihood based classification for the microstructure of human sleep
Agent oriented logic programming in Jinni 2004
Architectural clones: toward tactical code reuse
Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems
Enabling personalized visualization of large business processes through parameterizable views
Philos: a sociable robot for human robot interactions and wireless health monitoring
RESTChain: a Blockchain-based Mediator for REST Interactions in Service Choreographies
HITS algorithm improvement using anchor-related text extracted by DOM structure analysis
A Petri net model for the performance analysis of transaction database systems with continuous deadlock detection
Dynamic optimization of multi-layered reinsurance treaties
Editorial message: special track on coordination models, languages and applications
An Efficient SNN Model Generation Method for IoT Edge Computing
Extended static checking in JML4: benefits of multiple-prover support
To cloud or not to cloud: a context-aware deployment perspective of augmented reality mobile applications
OVER: overhauling vulnerability detection for iot through an adaptable and automated static analysis framework
Canonical random correlation analysis
Designing of a system model for web 3D disabled access GIS on web 2.0
Special track on Real-Time Systems: editorial message
Modeling deceptive information dissemination using a holistic approach
Requirements trade-offs analysis in the absence of quantitative measures: a heuristic method
Editorial Message: special track on computer security
Temporal reasoning techniques for the analysis of interactions in the treatment of comorbid patients
Curriculum Demonstration Selection for In-Context Learning
Revisiting exact combinational circuit synthesis
Value-oriented design of service coordination processes: correctness and trust
Verified compilation of linearizable data structures: mechanizing rely guarantee for semantic refinement
Multimedia and visualization track
Self-tuning techniques for large scale cluster analysis on textual data collections
Performance of MIMO 802.11n in heterogeneous deployments
Variable size segmentation for efficient representation and querying of non-uniform time series datasets
Multiple representation of abstract data types and reuse of realizations
Towards design patterns for ontology alignment
An efficient and effective performance evaluation method for multiprogrammed multiprocessor systems
FIDE: an FMI integrated development environment
Exploiting program cyclic behavior to reduce memory latency in embedded processors
A morphologic three-stage approach for detecting exudates in color eye fundus images
A branch-price-and-propagate approach for optimizing IGP weight setting subject to unique shortest paths
A core calculus of higher-order mixins and classes
OCC2T: An Early-Read Dual-Track OCC Algorithm For Mixed Mode Systems
An asynchronous distributed constraint optimization approach to multi-robot path planning with complex constraints
Designing a 3D widget library for WebGL enabled browsers
Can you trust your Agent? The Effect of Out-of-Distribution Detection on the Safety of Reinforcement Learning Systems
Beyond data: contextual information fusion for cyber security analytics
On using OO techniques to establish workflow conformance
Context-oriented programming for customizable SaaS applications
Channel and power allocation algorithm to optimize the performance of large WLANs
VA-TCP: a vertical handoff-aware TCP
RE-BERT: automatic extraction of software requirements from app reviews using BERT language model
Exploring query reformulation for named entity expansion in information retrieval
An adaptive finite element methodology for 2D simulation of two-phase flow through porous media
Developing a focus in unsupervised database mining
The Influence of Learning in the Behaviour of Information Retrieval Adaptive Agents
Classifying software issue reports through association mining
Embedded contract languages
Semi-supervised outlier detection
Event-log abstraction using batch session identification and clustering
Service-oriented paradigm for analyzing hydrological processes
On the reliability of hardware event monitors in MPSoCs for critical domains
Identifying the provenance of correlated anomalies
A practical tool for detecting cross-language code pairs with similar control structures
Bing-SF-IDF+: a hybrid semantics-driven news recommender
Near real-time electric load approximation in low voltage cables of smart grids with models@run.time
Designing and Specifying Mobility within the Multiagent Systems Engineering Methodology
RE-CMS: a reverse engineering toolkit for the migration to CMS-based web applications
A constraint language for declarative pattern discovery
Separate session key generation approach for network and application flows in LoRaWAN
Data-driven depot pre-positioning model and location-routing algorithm for management of disasters and disease outbreaks
On the conversion of rule bases into belief networks
Metrics for approximate query engine evaluation
A discriminated correlation classifier for face recognition
GAC: graph-based alert correlation for the detection of distributed multi-step attacks
Adaptation point analysis for computation migration/checkpointing
Korat-API: a framework to enhance korat to better support testing and reliability techniques