yusuke1997/dblp-id-title huggingface dataset:
Locality-Sensitive Hashing for Protein Classification
Effective Imbalance Learning Utilizing Informative Data
Using a Kernel-Based Approach to Visualize Integrated Chronic Fatigue Syndrome Datasets
Application of Tree-structured Data Mining for Analysis of Process Logs in XML format
Comparison of Athletic Performances across Disciplines
Improving Clustering via a Fine-Grained Parallel Genetic Algorithm with Information Sharing
An E-Market Framework to Determine the Strength of Business Relationships between Intelligent Agents
Auto detection and removal of frequency domain periodic noise
Relative speed quantification algorithm in AODV protocol
Automatic Detection of Moving Objects in Video Surveillance
Improving recognition performance in multiple enrollment based fingerprint recognition systems
Joint Watermarking\Encryption image for safe transmission: Application on medical imaging
Impact of radio propagation in buildings on WSN's lifetime
A localization algorithm using a mobile beacon in wireless sensor networks
Cloud Computing: Architecture and Operating System
Extracting product features from online reviews based on two-level HHMM
QoS based routing protocol for intra-mesh infrastructure communications
Toward a human-machine voice interface based Standard Arabic
Novel user interface for text entry on touch screen mobile device for visually impaired users
Disaster Recovery as a Service: A Disaster Recovery Plan in the Cloud for SMEs
Smart energy management in a smart environment using a mobile device
Micro-economy effect on cloud federation
A comparison of cluster distance metrics for the segmentation of sputum color image using unsupervised hopfield neural network classifier
Web-based real-time decision support system active XML-based metadata
Novel Technique for 3D Face Segmentation and Landmarking
Optimal repartition of hybrid renewable energy Pv and wind systems
Mobile blind navigation system using RFID
Modeling from an Object and Multi-object Tracking System
Genetic algorithm based geometry optimization of inductively coupled printed spiral coils for remote powering of electronic implantable devices
MatLab acceleration for DWT "Daubechies 9/7" for JPEG2000 standard on GPU
Visual Query Manager: A Query Manager for Visual Management of Semantic Databases
Utility-Based Cloudlet Selection in Mobile Cloud Computing
Energy based multi-signal transmission
A cellular automata model to predict the growth trends in Tripoli-Libya
Texture image segmentation based on the elements of Gray Level Aura Matrices
Contribution to the realization of a video surveillance system by optical flow and stereovision
Privacy in the Age of Internet of Things: Challenges and Prospects
Optimizing Bandwidth Capacity during Soft Handover in LTE-A System: Network Coding Based Approach
Ontological and Terminological Ressource Enrichment from Text Copora
Acoustic Features for Robust ASR in Cellular Network Applications
Gradual Integration of Local Color information for Image Retrieval by Content: Application to Cell-CCV Method
Secure and time efficient hash-based message authentication algorithm for wireless sensor networks
A comparison study of clustering validity indices
Synchrosqueezing Characterize Non-stationary Signals: Application on Gait-Vertical Ground Reaction Force
Using Problem Based Learning Environment to Enhance Algorithmic Problem Solving Skill
GAACO: Metaheuristic driven approach for routing in OppNet
DNS-based load balancing with Cache for geographically distributed Web server systems
CLEAN-OntoLex: a method of semi-automatic cleaning lexical ontology
Effect of selfish behaviour on OLSR and AODV routing protocols in MANETs
An RFID solution for the monitoring of storage time and localization of perishable food in a distribution center
Detecting spam webpages through topic and semantics analysis
Global Summit on Computer & Information Technology, GSCIT 2016, Sousse, Tunisia, July 16-18, 2016
Stereoscopic mobile Natural Feature Tracking
Cache consistency in adaptive page-server database systems
Extreme Value Theory for Univariate Stationary Processes
C-HeavyAP: a centralized approach for optimal AP backhaul resource aggregation
Crypto-compression of medical image based on DCT and chaotic system
Electrical modeling of split ring resonators operating in the UHF band
Virtual environment stereo image capture using the Unreal Development Kit
An anti-cultism social education media system
Uncovering cognitive influences on individualized learning using a hidden Markov models framework
Global Summit on Computer & Information Technology, GSCIT 2014, Sousse, Tunisia, June 14-16, 2014
Narrowband powerline channel emulation platform for smart grid applications
Spatio-temporal interest points matching in video
Dimensioning of Circuit Switched networks by using Simulation code based on Erlang (B) formula
Optimal number of cluster heads for random topology WSNs using the stable election protocol
A model of computer support to mobile learning in the senegalese educational system
Implementation of elliptic curve digital signature algorithm (ECDSA)
Handwritten objects recognition using Regularized Logistic Regression and feedforward Neural Networks
Improved feature extraction method based on Histogram of Oriented Gradients for pedestrian detection
Segmentation and Analysis of CT Chest Images for Early Lung Cancer Detection
Implementation of CMT-SCTP in real internet lab setup
Criteria for selecting software development models
Evaluation of multiple enrollment for fingerprint recognition
A new hybrid rerouting scheme in WDM all-optical networks under dynamic traffic
Exploiting the Evaluation Frequency of the Items to Enhance the Recommendation Accuracy
Some Perturbation Problems in The Theory of Fractional Integral Equation
The medical project management (MPM) system
Semantic Approach for the Building of User Profile for Recommender System
Macroscopic traffic modeling on a network
Design of a triband microstrip filter for GPS receiver
A Survey on Cloud Computing Scheduling Algorithms
Exploratory study of techniques for exploiting instruction-level parallelism
Analysis of the Properties that Affect the Accuracy of a Group Recommender System
A novel approach of digital image watermarking using HDWT-DCT
Global Summit on Computer & Information Technology, GSCIT 2015, Sousse, Tunisia, June 11-13, 2015
Dynamic Priority Scheduling Protocol Based on Cost in Cloud Computing
A miniaturezed tag antenna RFID for textil application
Creating e-learning web services towards reusability of functionalities in creating e-learning systems
A new software-based service provision approach for vehicular cloud
Sign language translator and gesture recognition
Enhance resiliency to pool based key pre-distribution scheme
Pervasive computing in classroom environments and applications
Implementation of faster miller over Barreto-Naehrig curves in Jacobian cordinates
Using landsat images for urban change detection, a case study in Algiers town
Improved Version of Extended Soft Handover for Real-Time Service in LTE-A System
Possibilistic Stable Model Computing
CR-Prolog with Ordered Disjunction
A Preliminary Report on Integrating of Answer Set and Constraint Solving
Computing stable models in parallel
Finitary Open Logic Program
Mappings Between Domain Models in Answer Set Programming
On treating negation within XSB (and upon extending XSB programming with a form of logical negation, and its relations to existing varieties of logic programming)
Tabular Constraint-Satisfaction Problems and Answer Set Programming
Lukaszewicz-style Answer Set Programming: A Preliminary Report
Dynamical Properties of Answer Set Programs
Exploiting Vertical Parallelism from Answer Set Programs
What's in a model? Epistemological analysis of Logic Programming
A New Algorithm for Answer Set Computation
Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs
An Interactive Approach to Answer Set Programming
Graphs and colorings for answer set programming: Abridged Report
On the Foundations of Answer Set Programming
Towards the use of Semantics Contents in ASP for planning and diagnistic in GIS
Outlier Detection Using Default Logic
A Java Wrapper for DLV
Useful Transformations in Answer set programming
A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling
Suitable Graphs for Answer Set Programming
Translation of Aggregate Programs to Normal Logic Programs
Parametric Connectives in Disjunctive Logic Programming
Answer Set Programming and Bounded Model Checking
Integrating Semantic Web Reasoning and Answer Set Programming
The nomore++ Approach to Answer Set Solving
Debugging Logic Programs under the Answer Set Semantics
New properties on the update operator\oplus
A Declarative Implementation of Planning with Control
Specification of Workflow Process Using the Action Description Language C
Well Founded Semantics as Two dimensional Here and There
Additive Fluents
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming
Reducing Propositional Theories in Equilibrium Logic to Logic Programs
Diagnosing Dynamic Systems in A Prolog
Comparing different graph representations of logic programs under the Answer Set semantics
Representing Configuration Knowledge With Weight Constraint Rules
Learning by Answer Sets
Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming
Modeling Hybrid Domains Using Process Description Language
Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005
Using Criticalities as a Heuristics for Answer Set Programming
Specification of Assessment-test Criteria through ASP Specifications
Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning system
Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, CA, USA, March 26-28, 2001
Effect of knowledge representation on model based planning: experiments using logic programming encodings
On the Epistemological foundations of Logic Programming and its Extensions
An Algebraic Account of Modularity in ID-logic
Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics
Using Nested Logic Programs for Answer Set Programming
Pertinence Logic Characterisation of Stable Models (Preliminary Report)
OntoDLP: a Logic Formalism for Knowledge Representation
Disjunctive Answer Set Programming via Satisfiability
Genes and Ants for Default Logic
Reasoning about Policies using Logic Programs
Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation
SELP - A System for Studying Strong Equivalence between Logic Programs
What is a Logic Program
Intelligence Analysis Using Quantitative Preferences
More on Wire Routing with ASP
Abduction in equilibrium logic
Graphs and coloring for answer set programming: Preliminary Report
An A Prolog decision support system for the Space Shuttle
Answer Set Programming with Templates
Sets as Terms for Answer Set Programming
Computing Answer Sets of a Logic Program via-enumeration of SAT certificates
Aggregate Functions in DLV
The Prospect for Answer Sets Computation by a Genetic Model
Extending Conceptual Logic Programs with Arbitrary Rules
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming
Modeling Hybrid Systems in Action Languages
Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28, 2003
Logic Programming Agents and Game Theory
A Comparative Study of Logic Programs with Preference: Preliminary Report
The A-Pol System
Exploiting ASP for Semantic Information Extraction
Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results
Applications of Preferences using Answer Set Programming
A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses
Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice
A comprehensive approach to flexibility in workflow management systems
Virtual enterprise co-ordinator - agreement-driven gateways for cross-organisational workflow management
Herbal-T, enabling integration, interoperability, and reusability of Internet components
Interoperability as a means of articulation work
Tolerating exceptions in workflows: a unified framework for data and processes
Temporal workflow management in a claim handling system
"Got COCA?" - A new perspective in building electronic meeting systems
SaveMe: a system for archiving electronic documents using messaging groupware
Proceedings of the international joint conference on Work activities coordination and collaboration 1999, San Francisco, California, USA, February 22-25, 1999
Metaphorical representation in collaborative software engineering
Moksha: exploring ubiquity in event filtration-control at the multi-user desktop
A reference model for workflow application development processes
Knowledge sharing, quality, and intermediation
Declarative workflows that support easy modification and dynamic browsing
Virtual environments at work: ongoing use of MUDs in the workplace
Building a federation of process support systems
WIDE workflow development methodology
WWAC: WinWin abstraction based decision coordination
Coordinating agent activities in knowledge discovery processes
The design of an interactive online help desk in the Alexandria Digital Library
The effects of narrow-band width multipoint videoconferencing on group decision making and turn distribution
Systems architecture: product designing and social engineering
Why do electronic conversations seem less polite? the costs and benefits of hedging
A configuration management approach for large workflow management systems
Supporting the writing of reports in a hierarchical organization
Scores Tell Everything about Bob: Non-adaptive Face Reconstruction on Face Recognition Systems
FlowMur: A Stealthy and Practical Audio Backdoor Attack with Limited Knowledge
SoK: A Critical Evaluation of Efficient Website Fingerprinting Defenses
The Good, the Bad and the Bait: Detecting and Characterizing Clickbait on YouTube
A Novel Dynamic Analysis Infrastructure to Instrument Untrusted Execution Flow Across User-Kernel Spaces
Protecting IoT Devices through Localized Detection of BGP Hijacks for Individual Things
Insider Attack Identification and Prevention Using a Declarative Approach
A Practical Attack to De-anonymize Social Network Users
Half a Loaf is Better than None: Some Novel Message Integrity Problems
Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts
Piano: Extremely Simple, Single-Server PIR with Sublinear Server Computation
EUCLEAK Side-Channel Attack on the YubiKey 5 Series (Revealing and Breaking Infineon ECDSA Implementation on the Way)
File Fragment Classification Using Grayscale Image Conversion and Deep Learning in Digital Forensics
SpyCon: Adaptation Based Spyware in Human-in-the-Loop IoT
A Case Study in Malware Research Ethics Education: When Teaching Bad is Good
Toward Automated Grammar Extraction via Semantic Labeling of Parser Implementations
A Multilevel Relational Data Model
Breaking and (Partially) Fixing Provably Secure Onion Routing
Verifiable ASICs
BlueMirror: Reflections on Bluetooth Pairing and Provisioning Protocols
Token Weaver: Privacy Preserving and Post-Compromise Secure Attestation
Dangerous Skills: Understanding and Mitigating Security Risks of Voice-Controlled Third-Party Functions on Virtual Personal Assistant Systems
Proceedings of the 1995 IEEE Symposium on Security and Privacy, Oakland, California, USA, May 8-10, 1995
Impact of Data Duplication on Deep Neural Network-Based Image Classifiers: Robust vs. Standard Models
Knowledge is Power: Systematic Reuse of Privacy Knowledge for Threat Elicitation
An Overview of Transborder Data Flow Issues
Break the Wall from Bottom: Automated Discovery of Protocol-Level Evasion Vulnerabilities in Web Application Firewalls
BLE-Doubt: Smartphone-Based Detection of Malicious Bluetooth Trackers
Low-Cost and Robust Global Time Synchronization
Beyond the Horizon: Uncovering Hosts and Services Behind Misconfigured Firewalls
TrollMagnifier: Detecting State-Sponsored Troll Accounts on Reddit
Inferring User Routes and Locations Using Zero-Permission Mobile Sensors
The Hardware Environment
"It's been Lovely Watching you": Institutional Decision-Making on Online Proctoring Software
Adversarial Robust ViT-Based Automatic Modulation Recognition in Practical Deep Learning-Based Wireless Systems
D-ARM: Disassembling ARM Binaries by Lightweight Superset Instruction Interpretation and Graph Modeling
Towards Automated Safety Vetting of PLC Code in Real-World Plants
ASDViews [relational databases]
31st IEEE Symposium on Security and Privacy, SP 2010, 16-19 May 2010, Berleley/Oakland, California, USA
Accurate Real-time Identification of IP Prefix Hijacking
Do Private and Portable Web Browsers Leave Incriminating Evidence? A Forensic Analysis of Residual Artifacts from Private and Portable Web Browsing Sessions
Security Implications of Publicly Reachable Building Automation Systems
Leave Me Alone: App-Level Protection against Runtime Information Gathering on Android
Virtual Keymysteries Unveiled: Detecting Keystrokes in VR with External Side-Channels
Multi-Level Security Based on Physical Distribution
"Why 6?" Defining the Operational Limits of Stide, an Anomaly-Based Intrusion Detector
"We can't Change it Overnight": Understanding Industry Perspectives on IoT Product Security Compliance and Certification
Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis
Protocol design for integrity protection
Devil in the Detail: Attack Scenarios in Industrial Applications
Using Programmer-Written Compiler Extensions to Catch Security Holes
Phantom Boundaries and Cross-Layer Illusions in 802.15.4 Digital Radio
FLShield: A Validation Based Federated Learning Framework to Defend Against Poisoning Attacks
Capacity estimation and auditability of network covert channels
A Secure and Formally Verified Linux KVM Hypervisor
Using Model Checking to Analyze Network Vulnerabilities
Signing in Four Public Software Package Registries: Quantity, Quality, and Influencing Factors
Minimum-Norm Adversarial Examples on KNN and KNN based Models
An Empirical Analysis of Target-Resident DoS Filters
PRISM: Program Replication and Integration for Seamless MILS
Limitations on Design Principles for Public Key Protocols
Demo: A Probabilistic Model-Based Deep Reinforcement Learning Strategy to Maximize Safety Under Cyberattacks on a Connected Intersection-Bridging Stochasticity and Real-World Driving Data
SoK: Security and Privacy in Implantable Medical Devices and Body Area Networks
SEVerity: Code Injection Attacks against Encrypted Virtual Machines
Secure Two-party Threshold ECDSA from ECDSA Assumptions
Your Email Address Holds the Key: Understanding the Connection Between Email and Password Security with Deep Learning
2004 IEEE Symposium on Security and Privacy (S&P 2004), 9-12 May 2004, Berkeley, CA, USA
Research Report: Parsing with the Logic FC
Constructing and Analyzing Criminal Networks
Unsupervised clustering of file dialects according to monotonic decompositions of mixtures
Microdata Disclosure Limitation in Statistical Databases: Query Size and Random Sample Query Control
A Graph-Theoretic Formulation of Multilevel Secure Distributed Systems: An Overview
Pacemakers and Implantable Cardiac Defibrillators: Software Radio Attacks and Zero-Power Defenses
DEEPSEC: A Uniform Platform for Security Analysis of Deep Learning Model
Preserving Information Flow Properties under Refinement
A Multi-Threading Architecture for Multilevel Secure Transaction Processing
Reliable KMDF Instruction Set Generation for User Queries Based on Endogenous Generative LLMs
In-Progress: Enhancing Traffic Signal Perception for Connected and Autonomous Vehicles (CAVs) via Multi-Sensor Fusion of Camera, LiDAR, Radar, and SPaT Data
WaVe: a verifiably secure WebAssembly sandboxing runtime
Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach
Relating Symbolic and Cryptographic Secrecy
Integrating security in a group oriented distributed system
Membership Inference Attacks Against Adversarially Robust Deep Learning Models
Composing Partially-Specified Systems
User Perceptions and Experiences with Smart Home Updates
PEFTGuard: Detecting Backdoor Attacks Against Parameter-Efficient Fine-Tuning
Even Black Cats Cannot Stay Hidden in the Dark: Full-band De-anonymization of Bluetooth Classic Devices
Detecting Computer and Network Misuse through the Production-based Expert System Toolset (P-BEST)
On Enforcing the Digital Immunity of a Large Humanitarian Organization
Cross Layer Attacks and How to Use Them (for DNS Cache Poisoning, Device Tracking and More)
Binary Analysis with Architecture and Code Section Detection using Supervised Machine Learning
Scatter and Split Securely: Defeating Cache Contention and Occupancy Attacks
yoU aRe a Liar: //A Unified Framework for Cross-Testing URL Parsers
A Semi-Automated Methodology for Extracting Access Control Rules from the European Data Protection Directive
The Pitfalls of Protocol Design: Attempting to Write a Formally Verified PDF Parser
Geppetto: Versatile Verifiable Computation
DevIOus: Device-Driven Side-Channel Attacks on the IOMMU
Attitudes towards Client-Side Scanning for CSAM, Terrorism, Drug Trafficking, Drug Use and Tax Evasion in Germany
Impossibility Results for Post-Compromise Security in Real-World Communication Systems
Evaluating Security Properties of Computer Systems
A Security Analysis of the Facebook Ad Library
CipherSteal: Stealing Input Data from TEE-Shielded Neural Networks with Ciphertext Side Channels
On inter-realm authentication in large distributed systems
Deep Bribe: Predicting the Rise of Bribery in Blockchain Mining with Deep RL
Improving Developers' Understanding of Regex Denial of Service Tools through Anti-Patterns and Fix Strategies
Quantifying Information Flow for Dynamic Secrets
Extending the Non-Interference Version of MLS for SAT
GDPR in the Small: A Field Study of Privacy and Security Challenges in Schools
Let's Get Visual - Testing Visual Analogies and Metaphors for Conveying Privacy Policies and Data Handling Information
Building Verifiable Trusted Path on Commodity x86 Computers
A secure group membership protocol
Adversarial Watermarking Transformer: Towards Tracing Text Provenance with Data Hiding
Specification of Key Distribution Protocols for Networks
A Tale of Two Studies: The Best and Worst of YubiKey Usability
Impossibility of Precise and Sound Termination-Sensitive Security Enforcements
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System
Efficient Garbling from a Fixed-Key Blockcipher
"If HTTPS Were Secure, I Wouldn't Need 2FA" - End User and Administrator Mental Models of HTTPS
SoK: Secure Messaging
Exploring Multiple Execution Paths for Malware Analysis
The Role of a Well Defined Auditing Process in the Enforcement of Privacy Policy and Data Security
Detection of Anomalous Computer Session Activity
KHyperLogLog: Estimating Reidentifiability and Joinability of Large Data at Scale
CHLOE: Loop Transformation over Fully Homomorphic Encryption via Multi-Level Vectorization and Control-Path Reduction
Improved Constructions for Distributed Multi-Point Functions
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents
Formally Verified Cryptographic Web Applications in WebAssembly
Where URLs Become Weapons: Automated Discovery of SSRF Vulnerabilities in Web Applications
Non-Discretionery Controls for Commercial Applications
VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts
Analyzing the Spatiotemporal Dynamics and Social Influences on the Transportation Cybersecurity Industry Through a Business Visitor Flow Perspective
SoK: Challenges and Paths Toward Memory Safety for eBPF
Random Key Predistribution Schemes for Sensor Networks
Make a Feint to the East While Attacking in the West: Blinding LLM-Based Code Auditors with Flashboom Attacks