yusuke1997/dblp-id-title huggingface dataset:
From Personal Computer to Personal Assistant
Consensus-Based Hybrid Adaptation of Web Systems User Interfaces
The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
IntelliGOV - A Semantic Approach for Compliance Validation of Service-Oriented Architectures
Filters in the Strategy Formulation Process
Internal Representation of Database Views
An Anonymization Algorithm for (α, β, γ, δ)-Social Network Privacy Considering Data Utility
A Review of Linked Data Proposals in the Learning Domain
Cognitive Ergonomics in Interface Development Evaluation
Permutability of Rules for Linear Lattices
Structure-Based Crawling in the Hidden Web
Reasoning about Abstract State Machines: The WAM Case Study
The Analysis of the Possibility to Construct Optimal Third-degree Reference Graphs
Interaction Design in Educational Environments
CSCWD: Applications and Challenges
Semantic Web: Theory and Applicationsns
Collective Intelligence for Semantic and Knowledge Grid
Seeking Open Educational Resources to Compose Massive Open Online Courses in Engineering Education An Approach based on Linked Open Data
Innovative Instructional Technologies
Systematic Characterisation of Objects in Digital Preservation: The eXtensible Characterisation Languages
Portlets as Web Components: an Introduction
Data Streams J.UCS Special Issue
Designing Statistical Model-based Discriminator for Identifying Computer-generated Graphics from Natural Images
Cognitive Ergonomics in Interface Design - Discussion of a Moving Science
Secure Channel Coding Schemes based on Algebraic-Geometric Codes over Hermitian Curves
Intelligent Resource Exchanges: Solutions and Pathways in a Workforce Allocation Problem
Rates of Asymptotic Regularity for Halpern Iterations of Nonexpansive Mappings
Group Theoretical Aspects of Reversible Logic Gates
Hardware Implementation of an Efficient Correlator for Interleaved Complementary Sets of Sequences
Towards a Learning-Aware Application Guided by Hierarchical Classification of Learner Profiles
Exploratory Study of a Mobile Location-based Real-time Notification System for Frontline Police Officers
Pipeline-scheduling Simulator for Educational Purpose
Quotient Spaces and Coequalisers in Formal Topology
Developing a Mobile Collaborative Tool for Business Continuity Management
Adaptive Sharing Scheme Based Sub-Swarm Multi-Objective PSO
An Intelligent System for Automated Binary Knowledge Document Classification and Content Analysis
Intelligent Services for Smart Cities
Methodologies for Developing Multi-Agent Systems
Developing Augmented Objects: A Process Perspective
QoS-based Approach for Dynamic Web Service Composition
Conceptual Modelling of Services
Behavioral and Temporal Rule Checking for Gaussian Random Process - a Kalman Filter Example
Web Service SWePT: A Hybrid Opinion Mining Approach
Enhancing Spatial Keyword Preference Query with Linked Open Data
From Natural Language Documents to Sharable Product Knowledge: A Knowledge Engineering Approach
Model-Driven Framework for Design and Production of Low-Budget Stereoscopic TV Content
Multi-Class Microscopic Image Analysis of Protozoan Parasites Using Convolutional Neural Network
Service Oriented Multimedia Delivery System in Pervasive Environments
J.UCS - The Next Generation in Electronic Journal Publishing
RSA-based Certified Delivery of E-Goods Using Verifiable and Recoverable Signature Encryption
Web Traffic Latency: Characteristics and Implications
A Methodology for Removing LALR(k) Conflicts
Mobile, Open and Social Language Learning Designs and Architectures
A Distributed Recommendation Platform for Big Data
A Case Study on User Experience (UX) Evaluation of Mobile Augmented Reality Prototypes
Compiling Abstract State Machines to C++
An Investigation into the Relationship Between Perceived Quality-of-Experience and Virtual Acoustic Environments: the Case of 3D Audio Telephony
Method Using the Reinforcement Learning Algorithm and Queue Theory
The Separation of Relativized Versions of P and DNP for the Ring of the Reals
Constant Size Ciphertext HIBE in the Augmented Selective-ID Model and its Extensions
Galois Connections and Data Mining
Supporting elderly's independent living with a mobile robot platform
Testing a High-Speed Data Path: The Design of the RSAs Crypto Chip
Grammars Based on the Shuffle Operation
Learning Analytics for English Language Teaching
Optimized Temporal Logic Compilation
A Multi-objective Genetic Approach to Mapping Problem on Network-on-Chip
How to Evaluate Educational Games: a Systematic Literature Review
Unsupervised Feature Selection for Microarray Gene Expression Data Based on Discriminative Structure Learning
Algebras and Update Strategies
Two-Stage Optimal Hypotheses Testing for a Model of Stegosystem with an Active Adversary
Synchronization Can Improve Reactive Systems Control and Modularity
Atomicity: A Unifying Concept in Computer Science
Diminishing Chat Confusion by Multiple Visualizations
Ant-Set: A Subset-Oriented Ant Colony Optimization Algorithm for the Set Covering Problem
An Inoteroperability Testing Approach to Wireless Applications Protocols
An Ontology based Agent Generation for Information Retrieval on Cloud Environment
Formal Analysis of the Kerberos Authentication System
Analysis of Behavioral Intention to Use Cloud-Based Tools in a MOOC: A Technology Acceptance Model Approach
Generalized Weighted Finite Automata Based Image Compression
Behavioral and Temporal Pattern Detection within Financial Data with Hidden Information
: onastre: OER Development and Promotion. Outcomes of an International Research Projecton the OpenCourseWare Model
Halting Probability Amplitude Quantum Computers
A General Qualitative Spatio-Temporal Model Based on Intervals
Price Prediction and Determination of the Affecting Variables of the Real Estate by Using X-Means Clustering and CART Decision Trees
Assessing the Impact of the homeML Format and the homeML Suite within the Research Community
Towards Formal Linear Cryptanalysis using HOL4
Learning in the Learning Organization
Computability of Topological Pressure for Sofic Shifts with Applications in Statistical Physics
Collaborative Explicit Plasticity Framework: a Conceptual Scheme for the Generation of Plastic and Group-Aware User Interfaces
Feature Fusion and NRML Metric Learning for Facial Kinship Verification
Efficient Content-Based and Metadata Retrieval in Image Database
Computational Geometry - Some Easy Questions and their Recent Solutions
A Resilient P2P Anonymous Routing Approach Employing Collaboration Scheme
Social Network Based Reputation Computation and Document Classification
On the Power of Positive Turing Reductions
Knowledge Nodes: the Building Blocks of a Distributed Approach to Knowledge
Agent-Oriented Integration of Distributed Mathematical Services
Experience Base Schema Building Blocks of the PLEASERS Library
Object-Oriented Action Semantics Specifications
The Riesz Representation Operator on the Dual of C [0; 1] is Computable
New Trends in Massive Open Online Courses (MOOCs)
A Formal Model of Forth Control Words in the Pi-Calculus
Connections Between MV n Algebras and n-valued Lukasiewicz-Moisil Algebras - IV
Analyzing the Light Control System with PVS
Forecasting Air Travel Demand for Selected Destinations Using Machine Learning Methods
Algorithms for the Evaluation of Ontologies for Extended Error Taxonomy and their Application on Large Ontologies
Animations for Teaching Purposes: Now and Tomorrow
DAI-TIRS: An AI-Powered Threat Intelligence and Response System for Securing the Metaverse
Conditional Tabled Eco-Grammar Systems
Mobile Open Social Learning for Languages (MOSL4L)
An Approach to Skew Detection of Printed Documents
Introducing Living Lab's Method as Knowledge Transfer from one Socio-Institutional Context to another: Evidence from Helsinki-Tallinn Cross-Border Region
Methodologies and Tools For Continuous Improvement of Systems
Bringing ITS to the Marketplace: A Successful Experiment in Minimalist Design
A Personalized Recommender System Based on a Hybrid Model
Updates, Schema Updates and Validation of XML Documents - Using Abstract State Machines with Automata-Defined States
MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation
Detection of Potholes Using a Deep Convolutional Neural Network
Finding Plagiarisms among a Set of Programs with JPlag
Applying Usability Engineering in InterMod Agile Development Methodology. A Case Study in a Mobile Application
ACO-based Algorithms for Search and Optimization of Routes in NoC Platform
Meta-learning approach for variational autoencoder hyperparameter tuning
Identifying Encryption Algorithms in ECB and CBC Modes Using Computational Intelligence
Traffic Optimization with Software-Defined Network Controller on a New User Interface
Constructive Results on Operator Algebras
Determinism, Nondeterminism, Alternation, and Counting
Collaborative Technology and Environments
The Language Grounding Problem and its Relation to the Internal Structure of Cognitive Agents
Interval Methods for Fixed and Periodic Points: Development and Visualization
Implementing Coordinated Error Recovery for Distributed Object-Oriented Systems with AspectJ
Instance Cooperative Memory to Improve Query Expansion in Information Retrieval Systems
Software/Hardware Co-Design of Efficient and Secure Cryptographic Hardware
Balanced Efficient Lifelong Learning (B-ELLA) for Cyber Attack Detection
Document Retrieval Using SIFT Image Features
LaSca: a Large Scale Group Decision Support System
The Iceberg Effect: Behind the User Interface of Mobile Collaborative Systems
Assessment Issues for Educational Software
Exploring Information Extraction Resilience
Learning Analytics for the Academic: An Action Perspective
Detection and Evaluation of Emotions in Massive Open Online Courses
On the Algebra of Intervals and Convex Bodies
The New Mobility of Our Society Caused by Telecommunications
A Rapid Prototyping Environment for Multi-DSP Systems based on Accurate Performance Prediction
Cross-device Portability of Machine Learning Models in Electromagnetic Side-Channel Analysis for Forensics
Hybrid Stochastic GA-Bayesian Search for Deep Convolutional Neural Network Model Selection
On the Effective Existence of Schauder Bases
Crumbling Walls Log Quorum System-based Name Resolution Routing for CCN based IoT
Probabilistic Reasoning as Information Compression by Multiple Alignment, Unification and Search: An Introduction and Overview
Unified Access to Heterogeneous Audiovisual Archives
Efficient Access Methods for Temporal Interval Queries of Video Metadata
A Practical Knowledge-based Approach to Skill Management and Personal Development
Optimized On-Chip-Pipelining for Memory-Intensive Computations on Multi-Core Processors with Explicit Memory Hierarchy
Acceptance Scale of Tablet Computers by Secondary Education Students: Validity and Reliability Study
The Complete Set Simulation of Stochastic Sequences without Repeated and Skipped Elements
Weak Inclusion Systems: Part Two
Certificate-based Signatures Revisited
Linear Multisecret-Sharing Schemes and Error-Correcting Codes
Tube Map Visualization: Evaluation of a Novel Knowledge Visualization Application for the Transfer of Knowledge in Long-Term Projects
UML-Based Modeling of Data-oriented WEB Applications
Modelling and Implementing Pre-built Information Spaces. Architecture and Methods for Process Oriented Knowledge Management
SENTIPEDE: A Smart System for Sentiment-based Personality Detection from Short Texts
Enabling Personal Privacy for Pervasive Computing Environments
Metaclasses and Zoning Mechanism Applied to Handwriting Recognition
A Dual-Modal System that Evaluates User's Emotions in Virtual Learning Environments and Responds Affectively
SHARP Online: An Adaptive Hypermedia System Applied to Mathematical Problem Solving
Designing Digital Libraries for the Hyperliterate Age
Advances in Security and Privacy of Multimodal Interfaces
The Power of Restricted Splicing with Rules from a Regular Language
Consequence of Two-handed Manipulation on Speed, Precision and Perception on Spatial Input Task in 3D Modelling Applications
Towards Classification of Web Ontologies for the Emerging Semantic Web
Cooperation as a Service in VANETs
Biologically Plausible Connectionist Prediction of Natural Language Thematic Relations
Decidable and Undecidable Problems of Primitive Words, Regular and Context-Free Languages
Connection-based Theorem Proving in Classical and Non-classical Logics
Multi-Device Context-Aware RIAs Using a Model-Driven Approach
Research in Structural Computing
Boys are like Girls: Insights in the Gender Digital Divide in Higher Education in Switzerland and Europe
Content Recommendation in APOSDLE using the Associative Network
An Educational Glance into the Future: Holodeck as a Future Enacted Narrative Learning Technology
Cross-Community Question Relevance Prediction for Stack Overflow and GitHub
Special Cases of Division
CCA-Secure Deterministic Identity-Based Encryption Scheme
Verification of ASM Refinements Using Generalized Forward Simulation
A Global Software Inspection Process for Distributed Software Development
Incremental autoencoders for text streams clustering in social networks
Eliminating Cycles in Weak Tables
Exploring the Attitudes and Intentions of Non-shoppers in the Acceptance of e-Commerce
Building Hypermedia with Objects and Sets
An Object-oriented Approach to Design, Specification, and Implementation of Hyperlink Structures Based on Usual Software Development
Influence of Virtual Reality on High School Students' Conceptions of Cells
Enhancing Health Risk Prediction in Internet of Medical Things: Leveraging Association Rule Mining
A Comparative Study of Various Transfer Learning Models on Skin Cancer Confirmation Methods
The Atomic Manifesto
Enabling System Artefact Exchange and Selection through a Linked Data Layer
Adapting an Evidence-based Diagnostic Model for Predicting Recurrence Risk Factors of Oral Cancer
Using Conjunctions and Adverbs for Author Verification
Model Checking: Software and Beyond
Content Modeling in Smart Learning Environments: A systematic literature review
AT-HOME 2.0 - An Educational Framework for Home-based Healthcare
Query Transformation Based on Semantic Centrality in Semantic Social Network1
Enhancing GDPR compliance through data sensitivity and data hiding tools
Selecting Parameters of an Improved Doubly Regularized Support Vector Machine based on Chaotic Particle Swarm Optimization Algorithm
Trending Breakthroughs in Human-Computer Interaction
Using Adaptive Content Recommendations to Improve Logic and Programming Teaching and Learning
Multi-Step-Ahead Time Series Forecasting using Deep Learning and Fuzzy Time Series-based Error Correction Method
Ambient Intelligence Vision: A Perspective
Do you Want to be a Superhero? Boosting Emotional States with the Booth
Combined Use of Virtual Reality and a Chatbot Reduces Emotional Stress More Than Using Them Separately
Analysing Data of Childhood Acute Lymphoid Leukaemia by Seasonal Time Series Methods
Graph-based KNN Algorithm for Spam SMS Detection
Leveraging Hybrid Recommenders with Multifaceted Implicit Feedback
Communication architecture based on IoT technology to control and monitor pets feeding
On Images of Algebraic Series
An Adaptive Intent Resolving Scheme for Service Discovery and Integration
Classification of CNC Vibration Speeds by Heralick Features
Pseudorandom Number Generation: Impossibility and Compromise
Parent Opinions with Regard to Elementary School Student's Use of the Internet
Functional Programming: Past, Present, and Future. Contributions dedicated toD. A. Turner on his 70th Birthday
Chainable and Circularly Chainable Co-r.e. Sets in Computable Metric Spaces
The Computable Multi-Functions on Multi-represented Sets are Closed under Programming
Using Taxonomies to Support the Macro Design Process for the Production of Web Based Trainings
Interactive Genetic Algorithms with Individual Fitness Not Assigned by Human
Implementation of a Building Automation System Based on Semantic Modeling
The Berlin Brain-Computer Interface: Machine Learning Based Detection of User Specific Brain States
More Than WORDs - Collaborative Tailoring of a Word Processor
Linking UML and MDD through UML Profiles: a Practical Approach based on the UML Association
User-Oriented Approach to Data Quality Evaluation
Knowledge Management for Computational Problem Solving
Managing the KM Trade-Off: Knowledge Centralization versus Distribution
Non-Denumerable Infinitary Modal Logic
Key-Insulated Signcryption
Verifying Real-Time Properties of tccp Programs
The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering
Learning to Program with COALA, a Distributed Computer Assisted Environment
A Model of Affect and Learning for Intelligent Tutors
Observations of Skipjack-like Structure with SP/SPS Round Function
Semantic Web Technologies Applied to e-learning Personalization in <e-aula>
Extending and Supporting Featured User Interface Models for the Development of Groupware Applications
Analyzing Communication Dimensions in a Ubiquitous Learning Environment
Statistical Analysis to Establish the Importance of Information Retrieval Parameters
Adapting Clinical Ontologies in Real-World Environments
Investigating a Correlation between Subcellular Localization and Fold of Proteins
HWOES: A Hyperwave Online Employment Service
Bloom filter variants for multiple sets: a comparative assessment
University Students and Social Media: Reflections from an Empirical Research
Creativity in Mind: Evaluating and Maintaining Advances in Network Steganographic Research
Certificateless Public Key Encryption Secure against Malicious KGC Attacks in the Standard Model
Promoting International Interoperability of Research Information Systems: VIVO and CERIF
Exploring Teachers' Perceptions on Modeling Effort Demanded by CSCL Designs with Explicit Artifact Flow Support
The Future of PCs and Implications on Society
An Approach to Generation of Decision Rules
Analysis on an Auto Increment Detection System of Chinese Disaster Weibo Text
Formal Concept Analysis: Theory and Applications
User Behavioral Patterns and Early Dropouts Detection: Improved Users Profiling through Analysis of Successive Offering of MOOC
Foundations of MIRACLE: Multimedia Information Repository, A Computer-supported Language Effort
Modular Verification of a Component-Based Actor Language
Identifying Groupware Requirements in People-Driven Mobile Collaborative Processes
Uncertainty Propagation in Heterogeneous Algebras for Approximate Quantified Constraint Solving
Division of Floating Point Expansions with an Application to the Computation of a Determinant
Exploiting the Potential of Concept Lattices for Information Retrieval with CREDO
A Multiagent System for Hierarchical Control and Monitoring
A Synchronous EFL Writing Environment for the Internet
Energy-aware Application Mapping onto 3D Mesh-Based Network-on-Chip using Heuristic Mapping Algorithms
Exploring Lua for Concurrent Programming
A Method for Collaborative Argumentation in Merging Individual Ontologies
A Toolset for Checking SPL Refinements
Collaborative Composition in a Foreign Language with Handheld Computing and Web Tools
Security in Information Systems: New Advances and Tendencies
An Optimization of CDN Using Efficient Load Distribution and RADS Caching Algorithm
A Taxonomy for Virtual Enterprises
Clustering Projects for eLearning Interoperability
Feature Selection Using Neighborhood based Entropy
A Middleware Architecture for Dynamic Adaptation in Ubiquitous Computing
Groupware: Issues and Applications
Architecture for Collaborative Learning Activities in Hybrid Learning Environments
Efficiently Finding Cyclical Patterns on Twitter Considering the Inherent Spatio-temporal Attributes of Data
Shark - a System for Management, Synchronization and Exchange of Knowledge in Mobile User Groups
15-Puzzle Problem Solving with the Artificial Bee Colony Algorithm Based on Pattern Database
Positioning Theory, Roles and the Design and Implementation of Learning Technology
Time is not Enough: Dealing with Behavior in Real-Time Systems
Towards Foundations of Cryptographie: Investigation of Perfect Secrecy
Information Security Methodology, Replication Studies and Information Security Education
Concept Drift Detection and Model Selection with Simulated Recurrence and Ensembles of Statistical Detectors
Affective Knowledge-enhanced Emotion Detection in Arabic Language: A Comparative Study
Using Visitor Patterns in Object-Oriented Action Semantics
Adapting Pre-trained Language Models to Rumor Detection on Twitter
Scheduling Tasks to a Team of Autonomous Mobile Service Robots in Indoor Enviroments
Automatic Construction of Fuzzy Rule Bases: a further Investigation into two Alternative Inductive Approaches
A Hybrid Machine Learning Scheme to Analyze the Risk Factors of Breast Cancer Outcome in Patients with Diabetes Mellitus
An Improved Multi-Agent Simulation Methodology for Modelling and Evaluating Wireless Communication Systems Resource Allocation Algorithms
Application of Electronic Nose and Eye Systems for Detection of Adulteration in Olive Oil based on Chemometrics and Optimization Approaches
Formal Specification of Computer-Based Systems
An Approach to Build in situ Models for the Prediction of the Decrease of Academic Engagement Indicators in Massive Open Online Courses
Evaluation of a Systematic Approach to Requirements Reuse
RAHIM: Robust Adaptive Approach Based on Hierarchical Monitoring Providing Trust Aggregation for Wireless Sensor Networks
Language Learning through Handheld Gaming: a Case Study of an English Course with Engineering Students
Behavior Alignment and Control Flow Verification of Process and Service Choreographies
SoREn, How Dynamic Software Update Tools Can Help Cybersecurity Systems to Improve Monitoring and Actions
A Model of Immune Gene Expression Programming for Rule Mining
MDD Adoption in a Small Company: Risk Management and Stakeholders' Acceptance
Chat as a Tool for Social Knowledge Construction Using Asynchronous Discussion Groups in Economics Degree
An Algebraic Theory of Epistemic Processes
Expressibility in Sigma-11
Automatically Checking Feature Model Refactorings
Automating the Analysis of Problem-solving Activities in Learning Environments: the Co-Lab Case Study
STEM Oriented Online Platforms Embracing the Community of Practice Model: A Comparative Study and Design Guidelines
The Automorphism Group of a Hypercube
Image Filtering Techniques for Object Recognition in Autonomous Vehicles
Optimal Description of Automatic Paperfolding Sequences
On the Construction of Correct Compiler Back-Ends: An ASM-Approach
Improving the Performance of a Tagger Generator in an Information Extraction Application
EntailClass: A Classification Approach to EntailSum and End-to-End Document Extraction, Identification, and Evaluation
Leveraging multifaceted proximity measures among developers in predicting future collaborations to improve the social capital of software projects
Security, Privacy and Reliability of Smart Buildings
Domain-Oriented Customization of Service Platforms: Combining Product Line Engineering and Service-Oriented Computing
Introducing a Formative E-Assessment System to Improve Online Learning Experience and Performance
Analysing the Security Risks of Cloud Adoption Using the SeCA Model: A Case Study
Metric-Entropy Pairs on Lattices
The Benefits of Knowledge Management - Results of the German Award "Knowledge Manager 2002"
Security Mechanisms and Access Control Infrastructure for e-Passports and General Purpose e-Documents
Myers-Briggs personality classification from social media text using pre-trained language models
ProFusion*: Intelligent Fusion from Multiple, Distributed Search Engines
The Light Control Case Study: Problem Description
BROCA: A Computerized Environment for Mediating Scientific Reasoning
Coordinated System for Real Time Muscle Deformation during Locomotion
Performance Management in Collaborative Networks: a Methodological Proposal
A Compiler and Language Support for Designing Mixed-Criticality Applications
Displaying Pictures according to the Songs Being Played
SNAP Framework: Linked Prediction Based Anomaly Prevention With Suspicious Nodes on Social Network Graph