yusuke1997/dblp-id-title huggingface dataset:
A New Architecture for Concurrent Lazy Cyclic Reference Counting on Multi-Processor Systems
Components of a Model of Context-Sensitive Hypertexts
Parameter Estimation of Systems Described by the Relation with Noisy Observations
Detection of Driver Styles in Lane Changes using Wavelet Transform
A novel deep learning model with the Grey Wolf Optimization algorithm for cotton disease detection
A Non-Invasive Approach to Assertive and Autonomous Dynamic Component Composition in the Service-Oriented Paradigm
A Quantum-Inspired Immune Algorithm for Hybrid Flow Shop with Makespan Criterion
Random k-GD-Sat Model and its Phase Transition
Air4People: a Smart Air Quality Monitoring and Context-Aware Notification System
A Service-Oriented Platform for Ubiquitous Personalized Multimedia Provisioning
A Conceptual Framework to Define Incentive Mechanisms for Virtual Communities
Analysis of Permission-based Security in Android through Policy Expert, Developer, and End User Perspectives
Sustainability and Jobs in the Knowledge Economy
Evaluation of a Legally Binding Smart-Contract Language for Blockchain Applications
Computer Supported Collaborative Work
Under the Sign of Boole
A Data Management Middleware for ITS Services in Smart Cities
Towards a Collaborative Model to Assist People with Disabilities and the Elderly People in Smart Assistive Cities
Data Driven Network of Workstations D 2 NOW)
Geometric Point Pattern Matching in the Knuth-Morris-Pratt Way
Realtime LEGO Brick Image Retrieval with Cellular Automata
Ranking Retrieval Systems with Partial Relevance Judgements
Enclosing Solutions of an Inverse Sturm-Liouville Problem for an Impedance
Design and Generation of Web Services Choreographies with Time Constraints
Division of Effort, Productivity, Quality, and Relationships in FLOSS Virtual Teams: Evidence from the FreeBSD Project
Modification of the Principal Component Analysis Method Based on Feature Rotation by Class Centroids
Composition and Run-time Adaptation of Mismatching Behavioural Interfaces
Perhaps the Intermediate Value Theorem
A Proposal of Naturalistic Software Development Method
Deriving Consensus for Hierarchical Incomplete Ordered Partitions and Coverings
Polymorphic Malicious JavaScript Code Detection for APT Attack Defence
Formal Methods: Theory Becoming Practice
Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values
IDEA: A Framework for a Knowledge-based Enterprise 2.0
A System for Managing Security Knowledge using Case Based Reasoning and Misuse Cases
A New Hybrid Access Control Model for Security Policies in Multimodal Applications Environments
Assessing the Learning Path Specification: a Pragmatic Quality Approach
Exploring Virtual Reality in the Higher Education Classroom: Using VR to Build Knowledge and Understanding
Provably Secure Ciphertext-Policy Attribute-Based Encryption from Identity-Based Encryption
Knowledge Authoring with ORE: Testing, Debugging and Validating Knowledge Rules in a Semantic Web Framework
Java for Scientific Computing, Pros and Cons
Distributed Tracing for Troubleshooting of Native Cloud Applications via Rule-Induction Systems
A Survey on Human in the Loop for Self-Adaptive Systems
Synchronizing Data through Update Queries in Interoperable E-Health and Technology Enhanced Learning Data Sharing Systems
An Hybrid Fuzzy Variable Neighborhood Particle Swarm Optimization Algorithm for Solving Quadratic Assignment Problems
Planning of Urban Public Transportation Networks in a Smart City
Distributed Caching in Networked File Systems
Topic Map Generation Using Text Mining
Understanding Collaboration in Volunteer Computing Systems
A Survey of Multimedia Software Engineering
Advances of Provable Security Techniques
Correctness of Efficient Real-Time Model Checking
Integration of Knowledge Management and (e)Learning
Modelling Mailing List Behaviour in Open Source Projects: the Case of ARM Embedded Linux
Machine Learning Methods for Anomaly Detection in BACnet Networks
Improving WalkSAT for Random 3-SAT Problems
Introduction to the Special Issue: "Real Numbers and Computers"
Execution Model and Authoring Middleware Enabling Dynamic Adaptation in Educational Scenarios Scripted with PoEML
A Systematic Review of Information Security Governance Frameworks in the Cloud Computing Environment
Array P System with Shuffle on Trajectories
Exposure and Support of Latent Social Networks among Learning Object Repository Users
Estimation Metrics for Courseware Maintenance Effort
Modeling Quality Attributes with Aspect-Oriented Architectural Templates
Assessing the driving behaviour of motorcyclists to improve road safety
Examining Deep Learning Techniques for Ethical Artificial Intelligence: Cleansing Malicious Comments from Users
Modern Technologies for Web-based Adaptive Systems
Haskell#: Parallel Programming Made Simple and Efficient
A Generic Architecture for the Conversion of Document Collections into Semantically Annotated Digital Archives
Public Services Provided with ICT in the Smart City Environment: The Case of Spanish Cities
C APIs in Extension and Extensible Languages
Learning to Classify Neutral Examples from Positive and Negative Opinions
Secrecy over Multiple-Access Channel: A Game of Competition and Cooperation
Spatial Reasoning with Integrated Qualitative-Metric Fuzzy Constraint Networks
Controlled Pure Grammar Systems
Process Construction and Customization
Reducing Memory and Computational Cost for Deep Neural Network Training with Quantized Parameter Updates
Realisability for Induction and Coinduction with Applications to Constructive Analysis
A System to Support Asynchronous Collaborative Learning Tasks Using PDAs
Context-Aware QoS Provision for Mobile Ad-hoc Network -based Ambient Intelligent Environments
Some Algebraic Structures with Iteration Lemmata
A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation
How Interactive Whiteboards Can be Used to Support Collaborative Modeling
Incident Management for Explainable and Automated Root Cause Analysis in Cloud Data Centers
Intelligence Metasynthesis and Knowledge Processing in Intelligent Systems
Publication Bias in the Computer Science Education Research Literature
Replication: Understanding the Advantage of Atomic Broadcast over Quorum Systems
Authoring of Probabilistic Sequencing in Adaptive Hypermedia with Bayesian Networks
Formal Action Semantics for a UML Action Language
A new lightweight decentralized mitigation solution against Version Number Attacks for IoT Networks
J.UCS Special Issue on Dependability Evaluation and Validation
Fostering Computational Thinking Through Data Visualization and Design on Secondary School Students
Achieving Transparent and Real-time Collaboration in Co-AutoCAD Application
On Equational Craig Interpolation
English Teaching in Artificial Intelligence-based Higher Vocational Education Using Machine Learning Techniques for Students' Feedback Analysis and Course Selection Recommendation
A Feature Evolution Aware Classification Framework for Streaming Data using Dynamic Autoencoder and Ensembled Learning
LATE: A Unified Concept for a Learning And Teaching Environment
Structural Performance Evaluation of Multi-Agent Systems
Multi-Level Context Management and Inference Framework for Smart Telecommunication Services
The Transition from VDL to VDM
Formal Specification from an Observation-oriented Perspective
LogSE: An Uncertainty-Based Multi-Task Loss Function for Learning Two Regression Tasks
Compiling Non-strict Functional Languages for the .NET Platform
Polynomial-Time Multi-Selectivity
Analyzing Module Diversity
Personal Digital Libraries and Knowledge Management
A Context Model based on Ontological Languages: a Proposal for Information Visualization
A Petri Nets based Approach to Specify Individual and Collaborative Interaction in 3D Virtual Environments
Modularizing Theorems for Software Product Lines: The Jbook Case Study
When are Tweets Better Valued? An Empirical Study
Refining an ASM Specification of the Production Cell to C++ Code
Integrating Business Processes and Knowledge Infrastructures
Some Elements of Z Specification Style: Structuring Techniques
Improving the Effectiveness of WEB Search Engines Using Selectable Views of Retrieval Results
Metadata Standards: What, Who & Why
Explanatory Data Science in Technology Applications
Leveraging ICT Deployment and Integration in a Public Organization Aged 176 Years A Greek Case Study
On the Forcing Semantics for Monoidal t-norm Based Logic
Mobile Technology for Foreign Language Teaching: Building Bridges between Non-formal and Formal Scenarios
EduRP: an Educational Resources Platform based on Opinion Mining and Semantic Web
Implementing Rule-Based Automated Price Negotiation in an Agent System
Security in Information Systems: New Challenges and Opportunities
Recent Advances in Security and Privacy in Big Data
Against Hierarchy and Chaos Knowledge Coproduction in Nets of Experts
A Language-Independent, Open-Vocabulary System Based on HMMs for Recognition of Ultra Low Resolution Words
Choice of Classifiers in Hierarchical Recognition of Online Handwritten Kannada and Tamil Aksharas
DS RBAC - Dynamic Sessions in Role Based Access Control
Multilayer Ensemble Pruning via Novel Multi-sub-swarm Particle Swarm Optimization
Towards Model-Driven Engineering Support for Service Evolution
Decision Support System to Diagnosis and Classification of Epilepsy in Children
A Markov Process for Sequential Allocation
Data Mining Methods for Discovering Interesting Exceptions from an Unsupervised Table
Information Quality Assurance by Lazy Exploration of Information Source Combinations Space in Open Multi-Agent Systems
Boosting Point-of-Interest Recommendation with Multigranular Time Representations
Experimental Evaluation of Three Value Recommendation Methods in Interactive Configuration
Fine-Grained Transclusions of Multimedia Documents in HTML
Detection of Cyberattacks Traces in IoT Data
Mathematics Learning through Computational Thinking Activities: A Systematic Literature Review
Correctness Proof of a Distributed Implementation of Prolog by Means of Abstract State Machines
Evolutionary Optimization for Intelligent Systems Design
Comparing Collaboration Fidelity between VR, MR and Video Conferencing Systems: The Effects of Visual Communication Media Fidelity on Collaboration
RAVEN: Real-Time Analyzing and Verification Environment
On Alternative Approaches for Approximating the Transposition Distance
Nondeterministic Query Algorithms
Understanding Tools and Practices for Distributed Pair Programming
A Technology Acceptance Model for Augmented Reality and Wearable Technologies
Electronic Submission, Managing and Approval of Grant Proposals at the German Research Foundation based on Standard Internet and Office Tools
Recent Advances in Detection, Investigation and Mitigation of Cyber Crimes
Evaluating Educational Multimedia in the Context of Use
Polynamials, Constructivity and Randomness
Developing Distributed Collaborative Applications with HTML5 under the Coupled Objects Paradigm
Formalizing Agent-Based English Auctions Using Finite State Process Algebra
Rationally Additive Semirings
XML Database Transformations
Graph-Based Approach to the Edit Distance Cryptanalysis of Irregularly Clocked Linear Feedback Shift Registers
Disjunctive omega-Words and Real Numbers
MSparc: Multithreading in Real-Time Architectures
The State of HCI in Ibero-American Countries
Informatics for Historians: Tools for Medieval Document XML Markup, and their Impact on the History-Sciences
A Note Concerning Feedback and Queries for Web Pages
Is Democracy Possible in the Internet?
Assisting Support Groups of Patients with Chronic Diseases through Persuasive Computing
Modelling Knowledge and Game Based Learning: Model Driven Approach
On the Sorting by Reversals and Transpositions Problem
Adapting Learning Contents to Mobile Devices and Context to Improve Students' Learning Performance: A Case Study
Enriching Ontology Concepts Based on Texts from WWW and Corpus
Mixed Agents Virtual Observation Lenses for Immersive Learning Environments
Systematic Evaluation of Software Product Line Architectures
Undergraduate research in software engineering. An experience and evaluation report
A Framework for Cost-Aware Process Management: Cost Reporting and Cost Prediction
RE-AspectLua - Achieving Reuse in AspectLua
Immersive Learning Technologies: Research and Future Directions
Cluster Perturbation Simulated Annealing for Protein Folding Problem
Potential-function-based Analysis of an off-line Heap Construction Algorithm
Communication in Abstract State Machines
P Systems with Symport/Antiport of Rules
Our Experiences with Optimizations in Sun's Java Just-In-Time Compilers
Explainable AI and deep learning models for recommender systems: State of the art and challenges
J.UCS Special Issue: I-Know '02 - People-Oriented Knowledge Management
Ontology and Grammar of the SOPHIE Choreography Conceptual Framework - An Ontological Model for Knowledge Management
Improving Deterministic and Randomized Exponential-Time Algorithms for the Satisfiability, the Colorability, and the Domatic Number Problem
Tweeters on Campus: Twitter a Learning Tool in Classroom?
Detecting Suicidality from Reddit Posts Using a Hybrid CNN - LSTM Model
Optimizing Assignment of Knowledge Workers to Office Space Using Knowledge Management Criteria: The Flexible Office Case
On Real-valued Visual Cryptographic Basis Matrices
Scalable Visual Data Exploration of Large Data Sets via MultiResolution
Plagiarism - A Survey
A Note on Culture-sensitive Knowledge Management in OE-sales Area of Robert Bosch GmbH
Seventy Years Derick Wood
Mining of Educational Opinions with Deep Learning
A Plant Propagation Algorithm for the Bin Packing Problem
Rethinking Education in the Knowledge Society
Mitigating Cognitive Biases in Predicting Student Dropout: Global and Local Explainability with Explainable Boosting Machine
A Survey of Web Architectures for Wireless Communication Environments
Constructive Failure in Functional-Logic Programming: From Theory to Implementation
Climatological parameters estimation based on artificial intelligence techniques with particle swarm optimization and deep neural networks
An Effective Tietze-Urysohn Theorem for QCB-Spaces
Heyting Algebras and Formal Languages
Maximum Capacity Overlapping Channel Assignment Based on Max-Cut in 802.11 Wireless Mesh Networks
Domain Extenders for UOWHF: A Finite Binary Tree Algorithm
Network Attack Scenarios Extraction and Categorization by Mining IDS Alert Streams
MC-Supporter: Flexible Mobile Computing Supporting Learning though Social Interactions
A Framework to Develop Web Applications Based on RFID Panels
Protecting Devices by Active Coating
An Architecture for IoT Management Targeted to Context Awareness of Ubiquitous Applications
An Application of the Dynamic Pattern Analysis Framework to the Analysis of Spatial-Temporal Crime Relationships
Providing Behaviour Awareness in Collaborative Project Courses
A Study of Learning-by-Doing in MOOCs through the Integration of Third-Party External Tools: Comparison of Synchronous and Asynchronous Running Modes
Games for Teaching Software Project Management: An Analysis of the Benefits of Digital and Non-Digital Games
Static Analysis of the XEN Kernel using Frama-C
An Empirical Study on the Correctness and Effort to Integrate Feature Models
Development of a Web Application for Management of Learning Styles
Error-Correction, and Finite-Delay Decodability
Tracking Data in Open Learning Environments
Multi-criteria Group Decision Support with Linguistic Variables in Long-term Scenarios for Belgian Energy Policy
Visualization Services in a Conference Context: An Approach by RFID Technology
Decision Making with Uncertainty Information Based on Lattice-Valued Fuzzy Concept Lattice
Integrating Feature Ranking with Ensemble Learning and Logistic Model Trees for the Prediction of Postprandial Blood Glucose Elevation
Designing the Human Computer Interaction: Trends and Challenges
Text Representation for Efficient Document Annotation
Anti-Crisis Management of City Traffic Using Agent-Based Approach
A Tool Kit for Measurement of Organisational Learning: Methodological Requirements and an Illustrative Example
Running Lua Scripts on the CLR through Bytecode Translation
Service-Oriented Development of Web Information Systems
Rewriting-Based Enforcement of Noninterference in Programs with Observable Intermediate Values
A Context Aware Recommender System for Creativity Support Tools
Big Data Provenance Using Blockchain for Qualitative Analytics via Machine Learning
The Language of the Visitor Design Pattern
The Effect of Personality-Aware Computer-Human Interfaces on Learning
Integrating Semantic Web and Object-Oriented Programming for Cooperative Design
Detailing a Quantitative Method for Assessing Algorithms to Remove Back-to-Front Interference in Documents
Partial Updates: Exploration
Does the Users' Tendency to Seek Information Affect Recommender Systems' Performance?
Development of Navigation Skills through Audio Haptic Videogaming in Learners who are Blind
CIAS: Catalog of Interoperability Architectural Solutions for Software Systems
Algorithms and Experiments: The New (and Old) Methodology
Towards a Calculus of State-based Software Components
Efficient Identification of Classes of P-Time Functions
The Knowledge-Attention-Gap: Do We Underestimate the Problem of Information Overload in Knowledge Management
Knowledge Sharing and Collaborative Learning in Second Life: A Classification of Virtual 3D Group Interaction Scripts
weSPOT: A Personal and Social Approach to Inquiry-Based Learning
Processing Inconsistency of Knowledge on Semantic Level
Toy Lisp Interpreter on a Connex Memory Machine
Success Rate of Remote Code Execution Attacks - Expert Assessments and Observations
Abstract Data Types without the Types.Dedicated to David Turner on the occasion of his 70'th birthday
Non-Photorealistic Rendering of Neural Cells from their Morphological Description
Showing the Benefits of Applying a Model Driven Architecture for Developing Secure OLAP Applications
Guaranteeing Seamless Mobility with User Redials and Automatic Handover Retrials
4M - Software for Modelling and Analysing Cropping Systems
Defining Atomic Composition in UML Behavioral Diagrams
Automated Retrieval of Information in the Internet by Using Thesauri and Gazetteers as Knowledge Sources
New Learning of Adults in the Information and Knowledge Society
Structural Case-Based Reasoning and Ontology-Based Knowledge Management: A Perfect Match?
Advances on Social Network Applications
Computer Generated Voice-Over in a Medical E-Learning Application: The Impact on Factual Learning Outcome
On the Design of Secure Multimedia Authentication
Advances in Homomorphic Cryptosystems
Bus Network Optimization with a Time-Dependent Hybrid Algorithm
A New and Efficient Algorithm to Binarize Document Images Removing Back-to-Front Interference
Socio-Economic Issues in Future Generation Internet
Modelling the Measurement Uncertainty by Intervals
An Interval Constraint Branching Scheme for Lattice Domains
Automatic assignment of diagnosis codes to free-form text medical note
Why We Need an Explicit Forum for Negative Results
Modern Technologies in Client-Server Architecture for Geo-based Interactive Web Portals
Designing Robust Routing Algorithms and Mapping Cores in Networks-on-Chip: A Multi-objective Evolutionary-based Approach
Towards the Generation of Virtualized Network Traffic According to Modern Data Centers
Constraint Programming Architectures: Review and a New Proposal
Introducing the ITP Tool: a Tutorial
Descriptional Complexity of Ambiguity in Symmetric Difference NFAs
SeAAS - A Reference Architecture for Security Services in SOA
Constructive Aspects of the Dirichlet Problem
Security Issues and Attacks on the GSM Standard: a Review
FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking
Knowledge Transfer in Recycling Networks: Fostering Sustainable Development
Several Semantic Web Approaches to Improving the Adaptation Quality of Virtual Learning Environments
Applying Inter-methodological Concepts for Enhancing Media Literacy Competences
Improving temporal behavior based on students' traces in online-based learning environments
Natural Language Enhancement for English Teaching Using Character-Level Recurrent Neural Network with Back Propagation Neural Network based Classification by Deep Learning Architectures
A Virtual Campus for E-learning Inclusion: The Case of SVC-G9
Information Consolidation in Large Bodies of Information
Zero-shot Learning for Subdiscrimination in Pre-trained Models
Traceable Use of Emerging Technologies in Smart Systems
A Tree Similarity Measuring Method and its Application to Ontology Comparison
A Novel Technique for Detecting Underground Water Pipeline Leakage Using the Internet of Things
On the Weakness of Gong's Collisionful Hash Functions
A Learning Ecosystem for Linemen Training based on Big Data Components and Learning Analytics
On Complexity of Collective Communications on a Fat Cube Topology
Towards Self-Service Government - A Study on the Computability of Legal Eligibilities
Tactics for Remote Method Invocation
Groupware for Collaborative Learning: A Research Perspective on Processes, Opportunities, and Obstacles
Bloom Encodings in DGA Detection: Improving Machine Learning Privacy by Building on Privacy-Preserving Record Linkage
Emotional Aspects for Productive Dialogues in Computer-Supported Collaborative Learning: A Systematic Literature Review
Performance Evaluation of Recent Windows Operating Systems
Generative Instructional Engineering of Competence Development Programmes
An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs
Understanding the Impact of Development Efforts in Code Quality
Regular Expressions with Lookahead
LESCA: Scaffolding and its impact on the higher cognitive levels and emotions of the student
A Method for Supporting Heterogeneous-Group Formation through Heuristics and Visualization
An Analysis of Synthetic Timeseries as an Enabler to Improve Region-based Human Mobility Forecasting
Computational Science and its Applications
Supporting End-User Development through a New Composition Model: An Empirical Study
Multi-Purpose Infrastructure for Delivering and Supporting Mobile Context-Aware Applications
A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol
Goal-Driven Process Navigation for Individualized Learning Activities in Ubiquitous Networking and IoT Environments
Gurevich Abstract State Machines and Schoenhage Storage Modification Machines
DeepV-Net: A Deep Learning Technique for Multimodal Biometric Authentication Using EEG Signals and Handwritten Signatures
Optimal Transit Price Negotiation: The Distributed Learning Perspective
Towards a Semantic Repository for Learning Objects: Design and Evaluation of Core Services
Refining Ethical Reflections in Cybersecurity Policy and Privacy: Insights for Policy Makers
Fingerprinting Lexical Contexts over the Web
Assessment of the Design Modularity and Stability of Multi-Agent System Product Lines
FLOP: A User-Friendly System for Automated Program Assessment
Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning
Gossip Codes for Fingerprinting: Construction, Erasure Analysis and Pirate Tracing
The Information Society as a Complex System
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic
Ontologies and their Applications
PIMTABSA: A Personality influenced Multitask model for Aspect Based Sentiment Analysis using LSTM
A Quick Method for Querying Top-k Rules from Class Association Rule Set
An Instrument for Measuring Perception about Social and Human Factors that Influence Software Development Productivity
How Incomputable is Finding Nash Equilibria?
Market Microstructure Patterns Powering Trading and Surveillance Agents
A Note on Bounded-Weight Error-Correcting Codes
Toward a Fuzzy-based Approach for Computational Load Offloading of IoT Devices
Support for Schema Evolution in Data Stream Management Systems
Comparative Study of Real Time Machine Learning Models for Stock Prediction through Streaming Data
Lazy Cyclic Reference Counting