yusuke1997/dblp-id-title huggingface dataset:
Invading the Fortress: How to Besiege Reinforced Information Bunkers
Digital Libraries Meet Electronic Commerce: On-Screen Intellectual Property
Multilevel and Graphical Views of Metadata
The German National Bibliography 1601-1700: Digital Images in a Cooperative Cataloging Project
Copy Detection Systems for Digital Documents
Moving from the Digital to the Virtual Library: The Tilburg Experience
Proceedings of the IEEE Forum on Research and Technology Advances in Digital Libraries, IEEE ADL '98, Santa Barbara, California, USA, April 22-24, 1998
Mobile Agents and the SARA Digital Library
Ontology and Metadata Creation for the Poseidon Distributed Coastal Zone Management System
An Indexing Model for Structured Documents to Support Queries on Content, Structure, and Attributes
A Meta Data Model for Distributed Library Systems: Building a Magic Mirror (XML/RDF) for RDBs
Digital Software and Data Repositories for Support of Scientific Computing
GeoChange: An Experiment in Wide-Area Database Services for Geographic Information Exchange
Building a Digital Library of Newspaper Clippings: The Laurin Project
The Commercial View: Shipping the Digital Library V1.0
4th International Forum on Research and Technology Advances in Digital Libraries (ADL '97), Washington, DC, USA, May 7-9, 1997
Integrating Digital Resources into a Traditional University Research Library
The Universal Library: Intelligent Agents and Information on Demand
Digital Earth - Panel
Digital Libraries for Electronic News
Multi-Resolution Cache Management in Digital Virtual Library
A Boolean Query Processing with a Result Cache in Mediator Systems
Continuing Medical Education to the Point of Care Using a Digital Library and Intimate Computers
Browsing through High Quality Document Images with DjVu
Story Segmentation and Detection of Commercials in Broadcast News Video
Query Previews in Networked Information Systems
Robust Retrieval of Noisy Text
KeyGraph: Automatic Indexing by Co-Occurrence Graph Based on Building Construction Metaphor
Fuzzy Full-Text Searches in OCR Databases
A Metadata Architecture for Digital Libraries
Scalable Access Within the Context of Digital Libraries
Finding the Most Similar Documents across Multiple Text Databases
A Framework for Supporting Quality-Based Multimedia Presentation in Educational Digital Libraries
Distributed Knowledge-Based Parsing for Document Analysis and Understanding
Integrating New Document Types into Digital Libraries
The Visual Specification of Context
Semantic Mediation for Cooperative Spatial Information Systems: The AMUN Data Model
Efficient Similarity Search in Digital Libraries
Searching and Browsing Collections of Structural Information
Wavelet-Based Image Indexing Techniques with Partial Sketch Retrieval Capability
Digital Libraries and Technology: A New 21 st Century Business Model
Discovering Association Rules Based on Image Content
Active Few-shot Learning For RouteNet-Fermi
Towards a Graph-based Foundation Model for Network Traffic Analysis
Wavelet-Enhanced Graph Neural Networks: Towards Non-Parametric Network Traffic Modeling
Optimizing Honeypot Placement Strategies with Graph Neural Networks for Enhanced Resilience via Cyber Deception
Detecting Edge and Node Anomalies with Temporal GNNs
Proceedings of the 3rd GNNet Workshop on Graph Neural Networking Workshop, GNNet 2024, Los Angeles, CA, USA, December 9-12, 2024
Deep Community Detection in Attributed Temporal Graphs: Experimental Evaluation of Current Approaches
AST-GNN: A Graph Neural Network for Web Tracking Detection
Proceedings of the 2nd on Graph Neural Networking Workshop 2023, GNNet 2023, Paris, France, 8 December 2023
Atom: Neural Traffic Compression with Spatio-Temporal Graph Neural Networks
VulnScopper: Unveiling Hidden Links Between Unseen Security Entities
Detecting Contextual Network Anomalies with Graph Neural Networks
Exploring Temporal GNN Embeddings for Darknet Traffic Analysis
EGNN-based Topology Control in Wireless Mobile Infrastructure on Demand with Shared Access Restrictions
Sim2HW: Modeling Latency Offset Between Network Simulations and Hardware Measurements
Dynamic Service Function Chaining Provisioning with Reinforcement Learning Graph Neural Networks
Predicting Latency Quantiles using Network Calculus-assisted GNNs
Topological Network Traffic Compression
End-To-End ML with LLMs and Semantic Data Management: Experiences from Chemistry 4.0
P2D: A Transpiler Framework for Optimizing Data Science Pipelines
Proceedings of the Eighth Workshop on Data Management for End-to-End Machine Learning, DEEM 2024, Santiago, AA, Chile, 9 June 2024
DEEM '22: Proceedings of the Sixth Workshop on Data Management for End-To-End Machine Learning Philadelphia, PA, USA, 12 June 2022
DuoLingo-AutoDiff: In-Database Automatic Differentiation with MLIR
When Can We Ignore Missing Data in Model Training?
Evaluating model serving strategies over streaming data
DiffML: End-to-end Differentiable ML Pipelines
Data Management and Visualization for Benchmarking Deep Learning Training Systems
DLProv: A Data-Centric Support for Deep Learning Workflow Analyses
Federated Fine-Tuning of LLMs on the Very Edge: The Good, the Bad, the Ugly
Towards Learning to Rank Deep-Learning Models for Multivariate Time-Series Transfer Learning
Proceedings of the Workshop on Data Management for End-to-End Machine Learning, DEEM 2025, Berlin, Germany, June 22-27, 2025
Proceedings of the Seventh Workshop on Data Management for End-to-End Machine Learning, DEEM 2023, Seattle, WA, USA, 18 June 2023
Dataset2Graph: A GNN-based Methodology for AutoML for Clustering
tailwiz: Empowering Domain Experts with Easy-to-Use, Task-Specific Natural Language Processing Models
Table Dissolution: Adding Salt To Your Data
Towards An Improved Video RAG Workflow With Orchestration Support in A Visual Data Management System
EVA: An End-to-End Exploratory Video Analytics System
AIDB: a Sparsely Materialized Database for Queries using Machine Learning
PQ Bench: Benchmarking Pruning and Quantization Techniques
LLVM code optimisation for automatic differentiation: when forward and reverse mode lead in the same direction
Towards Efficient Data Wrangling with LLMs using Code Generation
How I stopped worrying about training data bugs and started complaining
Accelerating container-based deep learning hyperparameter optimization workloads
Reactive Dataflow for Inflight Error Handling in ML Workflows
GouDa - generation of universal data sets: improving analysis and evaluation of data preparation pipelines
Reaching the Edge of the Edge: Image Analysis in Space
Reproducible data science over data lakes: replayable data pipelines with Bauplan and Nessie
Towards a Framework for Hierarchical Text Segmentation using Large Language Models
SQL4NN: Validation and Expressive Querying of Models as Data
Towards data-centric what-if analysis for native machine learning pipelines
Minun: evaluating counterfactual explanations for entity matching
Learning-to-learn efficiently with self-learning
MLflow2PROV: Extracting Provenance from Machine Learning Experiments
Buffer Management for Out-of-GPU LLM Execution
Nautilus: A Benchmarking Platform for DBMS Knob Tuning
dcbench: a benchmark for data-centric AI systems
Using Pipeline Performance Prediction to Accelerate AutoML Systems
Transactional Python for Durable Machine Learning: Vision, Challenges, and Feasibility
Towards Interactively Improving ML Data Preparation Code via "Shadow Pipelines"
Teaching Blue Elephants the Maths for Machine Learning
Towards Automated Task-Aware Data Validation
The Jitter Use to Reduce EMI on the Power Lines for Multi-core Processors
Application of semantic analysis of Polish speech for purpose of automatic gender identification
Ontological Approach Towards Semantic Data Filtering in the Interface Design Applied to the Interface Design and Dialogue Creation for the "Robot-Aircraft Designer" Informational System
Human Face Detection in Thermal Images Using an Ensemble of Cascading Classifiers
Measuring Gender Equality in Universities
A Complete Logic of Authentication
Fuzzy Expert Systems: Economic and Financial Applications
A Method of Feature Vector Modification in Keystroke Dynamics
A Parametric Interval Approximation of Fuzzy Numbers
Multichannel Spatial Filters for Enhancing SSVEP Detection
Ontology-Based Approaches to Big Data Analytics
Multi-agent Processes Analysis System in Prediction Task
Processing of Z^+ -numbers Using the k Nearest Neighbors Method
Pattern Recognition in the Japanese Candlesticks
Algorithm for Optimization of Multi-spindle Drilling Machine Based on Evolution Method
Applications of Multilingual Thesauri for the Texts Indexing in the Field of Agriculture
Sushi: A Lightweight Distributed Image Storage System for Mobile and Web Services
Secure Generators of q-Valued Pseudo-random Sequences on Arithmetic Polynomials
Algorithms of Generation Boolean Equations for a Multiplication Operation
Regression Technique for Electricity Load Modeling and Outlined Data Points Explanation
The Concept of Automation in Conventional Systems Creation Applied to the Preliminary Aircraft Design
An Algorithm for Computing the True Discrete Fractional Fourier Transform
Application of Mini-Models to the Interval Information Granules Processing
L-system Application to Procedural Generation of Room Shapes for 3D Dungeon Creation in Computer Games
The Use of the Objective Digital Image Quality Assessment Criterion Indication to Create Panoramic Photographs
An analysis of performance of CAN (Controller Area Network) Fieldbus
Toward Generalization of Mutant Clustering Results in Mutation Testing
The Investment Strategy Based on the Difference of Moving Averages with Parameters Adapted by Machine Learning
Hidden Markov Models with Affix Based Observation in the Field of Syntactic Analysis
A Few Approaches To Face Detection In Face Recognition Systems
Vehicle Passengers Detection for Onboard eCall-Compliant Devices
Improvement of The User Interface for Autonomous Load Distributing Algorithm
Knowledge-Based Approach to COTS Software Selection Processes
JaTrac - an exercise in designing educational raytracer
Sensitivity of Area-Perimeter Relation for Image Analysis and Image Segmentation Purposes
Fault Detection in PP-2 Symmetric Block Cipher
Partial Face Images Classification Using Geometrical Features
Basic workflow model at distributed intelligent production and its verification
Evaluation of Influence Exerted by a Malicious Group's Various Aims in the External Grid
Algorithmic Models for Supervectoring Calculation in Solving Base DSP Problems
Vocal Tract Resonance Analysis Using LTAS in the Context of the Singer's Level of Advancement
Deterministic Method for the Prediction of Time Series
Multilevel Lattice-Based Authorization in Distributed Supervisory and Control Systems
The Approach to Users Tasks Simplification on Engineering Knowledge Portals
Specification of timed authentication protocols with colored Petri nets
Region Based Approach for Binarization of Degraded Document Images
QoS and Energy Efficiency Improving in Virtualized Mobile Network EPC Based on Load Balancing
Fingerprint Feature Extraction with Artificial Neural Network and Image Processing Methods
Method and Validation for VHDL Case Statement Optimization
Increasing Web Services Discovery Relevancy in the Multi-ontological Environment
Agent Based Freight Distribution System
Model of Collaborative Data Exchange for Inland Mobile Navigation
SLMA and Novel Software Technologies for Industry 4.0
Performance Evaluation of Impact of State Machine Transformation and Run-Time Library on a C# Application
Comparison Between Mini-models Based on Multidimensional Polytopes and k-nearest Neighbor Method: Case Study of 4D and 5D Problems
Correct Solution of Fuzzy Linear System Based on Interval Theory
Approximation-Decomposition Method for Modelling Thermal Systems
Performance and Energy Efficiency in Distributed Computing
Software support for collaborative risk management
Repository Model for Didactic Resources
Presence Production in a Distributed Shared Virtual Environment for Exploring Mathematics
Validation of Safety-Like Properties for Entity-Based Access Control Policies
E-book Reader Application Driven by Commands Provided by a Brain-Computer Interface Based on Motor Imagery Paradigm
TRACO Parallelizing Compiler
Algorithmic Decomposition of Tasks with a Large Amount of Data
Models and Methods of Optimal Planning of Sales Volume for Manufacture With Probability Character of Technological Process
Secure Pseudo-Random Linear Binary Sequences Generators Based on Arithmetic Polynoms
A Weather Forecasting System Using Intelligent BDI Multiagent-Based Group Method of Data Handling
Utilizing High-Level Information for Formal Hardware Verification
Design of the BLINDS System for Processing and Analysis of Big Data - A Pre-processing Data Analysis Module
Hard and Soft Computing for Artificial Intelligence, Multimedia and Security, Selected, Revised Papers from the International Conference on Advanced Computer Systems, ACS 2016, Miȩdzyzdroje, Poland, 19-21 October 2016
The Approach to Web Services Composition
Accuracy of High-End and Self-build Eye-Tracking Systems
Hardware-Efficient Algorithm for 3D Spatial Rotation
Advances in Soft and Hard Computing, Proceedings of the International Conference on Advanced Computer Systems, ACS 2018, Miȩdzyzdroje, Poland, 24-26 September 2018
The ROLCoDE framework used in a computational distributed calculation
Opinion Acquisition: An Experiment on Numeric, Linguistic and Color Coded Rating Scale Comparison
An Algorithm for the Vandermonde Matrix-Vector Multiplication with Reduced Multiplicative Complexity
Video Stream Analysis for Fish Detection and Classification
Two methods of robust estimation of a covariance matrix - a practice study for some liver data
Transitive Closure Based Schedule of Loop Nest Statement Instances
Driver Drowsiness Estimation by Means of Face Depth Map Analysis
Programmable RDS Radio Receiver on ATMEGA88 Microcontroller on the Basis of RDA5807M Chip as the Central Module in Internet of Things Networks
A Combinatorial Algorithm for Sharing a Key
Tile Merging Technique to Generate Valid Tiled Code by Means of the Transitive Closure of a Dependence Graph
Backprojection of data vectors using a given covariance matrix
Soft Computing in Computer and Information Science, Revised Papers from the International Conference on Advanced Computer Systems, ACS 2014, Miȩdzyzdroje, Poland, 22-24 October 2014
MEME*: An Adaptive Email-based Knowledge Sharing System for Educational Institutions
Energy-Efficient Network Services as Smart Grid Issue
Real-Time System of Delivering Water-Capsule for Firefighting
Detection Accuracy of the Temporary State of Complex Signals Using Phase-Frequency Tracking Methods with Equilibrium and Non-equilibrium Processing
Do-It-Yourself Multi-material 3D Printer for Rapid Manufacturing of Complex Luminaries
Parallel Byzantine Fault Tolerance
Mouth Features Extraction for Emotion Analysis
Structural Analysis of Singularly Perturbed State Models
Advanced Computer Systems, Eighth International Conference, ACS 2001, Mielno, Poland, October 17-19, 2001 Proceedings
Boosted Classifiers for Antitank Mine Detection in C-Scans from Ground-Penetrating Radar
Subject-Specific Methodology in the Frequency Scanning Phase of SSVEP-Based BCI
Randomness Evaluation of PP-1 and PP-2 Block Ciphers Round Keys Generators
Non-standard Certification Models for Pairing Based Cryptography
Tabular Techniques for MV Logic
Loop Nest Tiling for Image Processing and Communication Applications
A Study on Various Dimensionality Reduction Techniques Applied in the General Shape Analysis
Electronic Document Interoperability in Transactions Executions
A Study on Directionality in the Ulam Square with the Use of the Hough Transform
On the Multiplication of Biquaternions
Parallel Facial Recognition System Based on 2DHMM
S-boxes Cryptographic Properties from a Statistical Angle
Perfectly Nested Loop Tiling Transformations Based on the Transitive Closure of the Program Dependence Graph
Distributed Password
Based on Force-Directed Algorithms Method for Metagraph Visualization
Statistical Properties Analysis of Key Schedule Modification in Block Cipher PP-1
On Code Refactoring for Decision Making Component Combined with the Open-Source Medical Information System
Comparison of RDM Complex Interval Arithmetic and Rectangular Complex Arithmetic
Horizontal Fuzzy Numbers for Solving Quadratic Fuzzy Equation
System of Acoustic Assistance in Spatial Orientation for the Blind
Business Process Modelling with "Cognitive" EPC Diagram
A Method of Analysis of Operational Petri Nets
New Experimental Results in Differential - Linear Cryptanalysis of Reduced Variants of DES
Homogeneous Ensemble Selection - Experimental Studies
Parallelization of Block Encryption Algorithm Based on Piecewise Nonlinear Map
New Results in Direct SAT-Based Cryptanalysis of DES-Like Ciphers
Visual Solution of Integer Optimization Problems
Survey of AI Methods for the Purpose of Geotechnical Profile Creation
Data Scheme Conversion Proposal for Information Security Monitoring Systems
On Fuzzy RDM-Arithmetic
Verification of Identity Based on Palm Vein and Palm-Print
The Method of Evaluating the Usability of the Website Based on Logs and User Preferences
An Investment Strategy Using Temporary Changes in the Behavior of the Observed Group of Investors
KaoChow Protocol Timed Analysis
Consideration of Task's Deadline for Scheduling Method with Used Processors Limitation
Visualisation of multivariate data using parallel coordinate plots and Kohonen's SOM's. Which is better?
Protection of Information from Imitation on the Basis of Crypt-Code Structures
Generating Bent Functions
Application of the Probabilistic RBF Neural Network in Multidimensional Classification Problems
Wavelet Transform in Detection of the Subject Specific Frequencies for SSVEP-Based BCI
On a New Intangible Reward for Card-Linked Loyalty Programs
What Is Machine Intelligence? A Case Study: Stock Market Forecasting Agents
Perception-Driven Global Illumination and Rendering Computation
Application of the Horizontal Membership Function to the Uncertain Displacement Calculation of a Composite Massless Rod Under a Tensile Load
Real-Time Shadow Casting in Virtual Studio
Fitting Dense and Sparse Reduced Data
Some Tasks of Intelligent Tutoring Systems Design for Civil Aviation Pilots
The Formal Model of Data Mining Algorithms for Parallelize Algorithms
Peculiarities of Genetic Algorithm Usage When Synthesizing Neural and Fuzzy Regulators
A Hybrid Approach to Fault Detection in One Round of PP-1 Cipher
Effective Methods of Temporal Data Representation in Data Warehouse Systems
Method of Static Classifiers Selection Using the Weights of Base Classifiers
Outsourcing it and Virtualization in E-Business Solutions (Selected Issues)
ProToc - An Universal Language for Security Protocols Specifications
Advanced Approach to Web Service Composition
Managing the Process of Servicing Hybrid Telecommunications Services. Quality Control and Interaction Procedure of Service Subsystems
Fast Reduction of Ternary Quadratic Forms
Factoring Polynomials and 0-1 Vectors
Segment LLL-Reduction with Floating Point Orthogonalization
An Overview of the Sieve Algorithm for the Shortest Lattice Vector Problem
Low Secret Exponent RSA Revisited
Finding Small Solutions to Small Degree Polynomials
Multisequence Synthesis over an Integral Domain
Segment LLL-Reduction of Lattice Bases
Improving Lattice Based Cryptosystems Using the Hermite Normal Form
A 3-Dimensional Lattice Reduction Algorithm
Cryptography and Lattices, International Conference, CaLC 2001, Providence, RI, USA, March 29-30, 2001, Revised Papers
The Insecurity of Nyberg-Rueppel and Other DSA-Like Signature Schemes with Partially Known Nonces
Approximate Integer Common Divisors
Dimension Reduction Methods for Convolution Modular Lattices
The Shortest Vector Problem in Lattices with Many Cycles
SHREWS: A Game with Augmented Reality for Training Computational Thinking (Short Paper)
An Augmented Reality Mathematics Serious Game
Improving Industrial Cybersecurity Training: Insights into Code Reviews Using Eye-Tracking
Use of Automatic Code Assessment Tools in the Programming Teaching Process
Designing a Multi-Narrative Gamified Learning Experience
Seven Years Later: Lessons Learned in Automated Assessment
Exploring Mutation Testing for Teaching Introductory Programming
Interactive Evaluation of Complex Programming Assignments Using LLM Assistant
A Roadmap to Gamify Programming Education
Promoting Deep Learning Through a Concept Map-Building Collaborative Activity in an Introductory Programming Course
Introductory Programming in Higher Education: A Systematic Literature Review
Client-Side Gamification Engine for Enhanced Programming Learning
Gamification of Learning Scratch in Elementary School
5th International Computer Programming Education Conference, ICPEC 2024, Lisbon, Portugal, June 27-28, 2024
Third International Computer Programming Education Conference, ICPEC 2022, Polytechnic Institute of Cávado and Ave (IPCA), Barcelos, Portugal, June 2-3, 2022
Learning Paths: A New Teaching Strategy with Gamification
Second International Computer Programming Education Conference, ICPEC 2021, University of Minho, Braga, Portugal, May 27-28, 2021
Cybersecurity Games for Secure Programming Education in the Industry: Gameplay Analysis
Moving Classes in a Large Programming Course Online: An Experience Report
Code Review for CyberSecurity in the Industry: Insights from Gameplay Analytics
Can a Content Management System Provide a Good User Experience to Teachers? (Short Paper)
IoEduc - Bring Your Own Device to the Classroom
In-Browser C++ Interpreter for Lightweight Intelligent Programming Learning Environments
Computational Thinking Education Using Stickers and Scanners in Elementary School Classes
Matching User Interfaces to Assess Simple Web Applications (Short Paper)
Using Code Review at School and at the Programming Club
Using Property-Based Testing to Generate Feedback for C Programming Exercises
Integrating Questions About Learners' Code in an Automated Assessment System
Data Visualization for Learning Analytics Indicators in Programming Teaching (Short Paper)
Enabling Secure Coding: Exploring GenAI for Developer Training and Education
Adaptation of Automated Assessment System for Large Programming Courses
Authoring Programming Exercises for Automated Assessment Assisted by Generative AI
Cloud of Assets and Threats: A Playful Method to Raise Awareness for Cloud Security in Industry
A Generative Artificial Intelligence Tool to Correct Programming Exercises
EasyCoding - Methodology to Support Programming Learning
Kumon-Inspired Approach to Teaching Programming Fundamentals
NLP/AI Based Techniques for Programming Exercises Generation
Immersive Pedagogy: Converting AI-Driven Podcasts into Virtual Reality Learning Objects
Haskelite: A Step-By-Step Interpreter for Teaching Functional Programming
A Systematic Review of Formative Assessment to Support Students Learning Computer Programming
Moopec: A Tool for Creating Programming Problems
An Experience with and Reflections on Live Coding with Active Learning
Programmers' Affinity to Languages
An Arduino Simulator in Classroom - a Case Study
Game Development: Enhancing Creativity and Independent Creation in University Course
6th International Computer Programming Education Conference, ICPEC 2025, PORTIC, Polytechnic of Porto, Portugal, July 10-11, 2025
I'm Sorry Dave, I'm Afraid I Can't Fix Your Code: On ChatGPT, CyberSecurity, and Secure Coding
Using ChatGPT During Implementation of Programs in Education
Integrating a Graph Builder into Python Tutor
To Kill a Mocking Bug: Open Source Repo Mining of Security Patches for Programming Education
Automated Java Challenges' Security Assessment for Training in Industry - Preliminary Results
4th International Computer Programming Education Conference, ICPEC 2023, Vila do Conde, Portugal, June 26-28, 2023
Improving Game-Based Learning Experience Through Game Appropriation
A New and Interactive Teaching Approach with Gamification for Motivating Students in Computer Science Classrooms
Evaluating Usability and Cognitive Load in Programming Education with ChatGPT Integration