yusuke1997/dblp-id-title huggingface dataset:
A Structured Presentation of a Closure-Based Compilation Method for a Scoping Notion in Logic Programming
Supporting Informal Collaboration in Shared-Workspace Groupware
Technology for Learning across Physical and Virtual Spaces
Towards a Virtual University
A Demand Forecasting Methodology for Fuzzy Environments
Some Remarks on Codes Defined by Petri Nets
Bounds on the Performance of Work-greedy Assignment Schemes
Complexity Analysis of Ontology Integration Methodologies: A Comparative Study
A Similarity Grammatical Structures Based Method for Improving Open Information Systems
Computing as Information Compression by Multiple Alignment, Unification and Search
Learning Design in Adaptive Educational Hypermedia Systems
Analysis of two Sweep-line Algorithms for Constructing Spanning Trees and Steiner Trees
Structure and Semantics of Data-IntensiveWeb Pages: An Experimental Study on their Relationships
A Standards-based Modelling Approach for Dynamic Generation of Adaptive Learning Scenarios
Architectural Abstraction as Transformation of Poset Labelled Graphs
Pedagogical Design of an eTandem Chinese-French Writing Course
MODELFY: A Model-driven Solution for Decision Making based on Fuzzy Information
What is Productivity in Knowledge Work? - A Cross-Industrial View -
A Tool for the Reinforcement of Conceptual Learning: Description and Use Experiences
Quality and Reliability Engineering: Trends and Future Directions
An IP Core and GUI for Implementing Multilayer Perceptron with a Fuzzy Activation Function on Configurable Logic Devices
On Ranking RDF Schema Elements (and its Application in Visualization)
Modeling and Verification of Reconfigurable Actor Families
Cyber Threat Intelligence for Improving Cybersecurity and Risk Management in Critical Infrastructure
Retail Indicators Forecasting and Planning
Integrated Multimedia-Based Distance Teaching of Information Technology
Employing chunk size adaptation to overcome concept drift
Reconstruction of Curve Networks from Unorganized Spatial Points
Constructive Error Analysis
Authoring and Diagnosis of Learning Activities with the KADD ET Environment
Distributed Education Using the mStar Environment
Innovation and Quality in e-Learning: a European Perspective
J.UCS Special Issue: I-Know '01 - International Conference on Knowledge Management
Computational Intelligence Technologies Meet Medical Informatics -From Prediction to Prognosis
The Procrastination Related Indicators in e-Learning Platforms
Classification of VANET MAC, Routing and Approaches A Detailed Survey
Ontology-based User Interface Development: User Experience Elements Pattern
On the Analysis and Detection of Mobile Botnet Applications
Social Trust-based Blockchain-enabled Social Media News Verification System
Behavioral and Psychophysiological Measures of Engagement During Dynamic Difficulty Adjustment in Immersive Virtual Reality
Formal Security Definition and Efficient Construction for Roaming with a Privacy-Preserving Extension
Anchored Discussion: Development of a Tool for Creativity in Online Collaboration
The Average Case Performance of an Algorithm for Demand-Driven Evaluation of Boolean Formulae
360° Open Creativity Support
Secure Service Discovery based on Trust Management for ad-hoc Networks
Intelligent Distributed Processing Methods for Big Data
Mobile Agent-based Context-aware Services
Improving Program Correctness with Atomic Exception Handling
A Visual Analytics Method for Score Estimation in Learning Courses
A Novel Multi-Layer Level Set Method for Image Segmentation
Semantic Spiral Timelines Used as Support for e-Learning
Performance Evaluation and Limitations of a Vision System on a Reconfigurable/Programmable Chip
Newton Method for Nonlinear Dynamic Systems with Adaptive Time Stepping
Expertise Recommender System for Scientific Community
Insights into Low-Resource Language Modelling: Improving Model Performances for South African Languages
MONSTR V - Transitive Coercing Semantics and the Church-Rosser Property
Propositional Interval Neighborhood Temporal Logics
Assessing Alpha Band Event-related Synchronisation/Desynchronisation Using a Bio-Inspired Computational Model
Quality of Service Routing in a MANET with OLSR
Technical and Social Aspects of Critical Infrastructure Security
From Computing Sets of Optima, Pareto Sets, and Sets of Nash Equilibria to General Decision-Related Set Computations
Nonlinear Computation with Switching Map Systems
SemanticMiner - Ontology-Based Knowledge Retrieval
Progress in Quantum Computational Cryptography
Future of Computer Science: J.UCS Special Issue Dedicated to Professor Hermann Maurer
Determination of System Weaknesses Based on the Analysis of Vulnerability Indexes and the Source Code of Exploits
An Approach for Intrusion Detection Using Novel Gaussian Based Kernel Function
The Richness of Diversity in Knowledge Creation: An Interdisciplinary Overview
Enabling Technologies and Business Infrastructures for Next Generation Social Media: Big Data, Cloud Computing, Internet of Things and Virtual Reality
A Normal Copula Model for the Economic Risk Analysis of Correlated Failures in Communications Networks
Construction of Wavelets and Applications
Cost-based Virtual Machine Scheduling for Data-as-a-Service
Automated Support for Enterprise Information Systems
Ubiquitous Computing in the Classroom: An Approach through Identification Process
A Structure Causality Relation for Liveness Characterisation in Petri Nets
Incremental Maintenance of Data Warehouses Based on Past Temporal Logic Operators
OntoShare - An Ontology-based Knowledge Sharing System for virtual Communities of Practice
A Model-Driven Approach to Align Business Processes with User Interfaces
Red-light Running Detection
Visualizing Portable Executable Headers for Ransomware Detection: A Deep Learning-Based Approach
Locating and Crawling eGovernment Services A Light-weight Semantic Approach
Collect the Fitted Surfaces Into Complex Based On C 0 Continuity
Genetic Algorithm Based Recurrent Fuzzy Neural Network Modeling of Chemical Processes
Using Abstract State Machines to Model ARIES-based Transaction Processing
Software Components, Architectures and Reuse
Supporting Awareness in Groupware through an Aspect-Oriented Middleware Service
A Collaborative Biomedical Research System
A Formal Approach for Risk Assessment in RBAC Systems
Energy Efficient Composite Metric Based Routing Protocol for Internet of Things
Can I Access my School Website? Auditing Accessibility of the Portuguese Teaching Institutions Websites
A Cross-Disciplinary Bibliography on Visual Languages for Information Sharing and Archiving
Representing a Composing Fuzzy-DEA Model to Measure Knowledge Workers Productivity based upon their Efficiency and Cost Effectiveness
Loop-Detection in Hyper-Tableaux by Powerful Model Generation
A Note on Correctness Proofs for Overflow Detection Logic in Adders for d-th Complement Numbers
Context Awareness for Collaborative Learning with Uncertainty Management
Towards a Ubiquitous End-User Programming System for Smart Spaces
An Online Writing Platform for Language Teachers
A Survey of Practical Software Adaptation Techniques
CTML: Domain and Task Modeling for Collaborative Environments
Towards a single device for multiple security domains
A Flexible Multilevel System for Mitre ATT&CK Model-driven Alerts and Events Correlation in Cyberattacks Detection
The Hyper-G Network Information System
An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol
DeepFlood: A deep learning based flood detection framework using feature-level fusion of multi-sensor remote sensing images
Recommendation of Machine Learning Techniques for Software Effort Estimation using Multi-Criteria Decision Making
Analysing Bias in Political News
A Note on Linear-Nondeterminism, Linear-Sized, Karp-Lipton Advice for the P-Selective Sets
Developing and Analyzing the MP (Materialization Pattern) Model for Math Educational Standards
Lexical Analysis with a Simple Finite-Fuzzy-Automaton Model
A Multidisciplinary Survey of Computational Techniques for the Modelling, Simulation and Analysis of Biochemical Networks
Mining Models for Automated Quality Assessment of Learning Objects
Defining and Validating a Feature-Driven Requirements Engineering Approach
The Role of Interaction Histories in Mental Model Building and Knowledge Sharing in the Legal Domain
Integrating ASMs into the Software Development Life Cycle
Wireless Sensor Network Coverage Optimization for Internet of Things
Authoring and Delivering Personalised Simulations - an Innovative Approach to Adaptive eLearning for Soft Skills
Using Cryptographic Hash Functions for Discretionary Access Control in Object-Oriented Databases
Development of Ambient Intelligence Applications using Components and Aspects
Large Scale Mobility-based Behavioral Biometrics on the Example of the Trajectory-based Model for Anomaly Detection
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
Convolutional Neural Networks for Software Defect Categorization: An Empirical Validation
Impact of Resource Control in Irregular Networks on their Transmission Properties
PSL: An Alternate Approach to Style Sheet Languages for the World Wide Web
An Adaptive and Social-Aware Recommendation Algorithm for Administration Services
The Bart-based Model for Scientific Articles Summarization
Dynamic Bandwidth Pricing: Provision Cost, Market Size, Effective Bandwidths and Price Games
A New System Dedicated to Real-time Cardiac Arrhythmias Tele-assistance and Monitoring
On the Power of P Systems with Symport Rules
Opinion Retrieval for Twitter Using Extrinsic Information
Bounded Flooding Routing Algorithm for Provisioning the Globally Optimal Route in a Hierarchical ATM Network
The Classroom as ONE Learning Environment of the Future
Sentiment Classification of Spanish Reviews: An Approach based on Feature Selection and Machine Learning Methods
A Collaborative Game to Study Presence and Situational Awareness in a Physical and an Augmented Reality Environment
Assessing Learning Achievements when Reducing Mobile Video Quality
A Meta-modeling based Approach for the Multi-Disciplinary Design of Web Educational Systems
The 3A Personalized, Contextual and Relation-based Recommender System
Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications
Tools for Parametric Verification. A Comparison on a Case Study
Engineering Security into Distributed Systems: A Survey of Methodologies
On the Automated and Reactive Optimization of Highly-Dynamic Communication Network Infrastructures
Collective Intelligence with Visualization and Multimedia
A Novel Identity-based Network Architecture for Next Generation Internet
Bio-Inspired Mechanisms for Coordinating Multiple Instances of a Service Feature in Dynamic Software Product Lines
A Proposal for an Integrated Evaluation Framework for Mobile Language Learning: Lessons Learned from SIMOLA - Situated Mobile Language Learning
Developing and Assessing Augmented Reality Applications for Mathematics with Trainee Instructional Media Designers: An Exploratory Study on User Experience
Round-Off Error Propagation in the Solution of the Heat Equation by Finite Differences
Probabilistic Nearest Neighbors Based Locality Preserving Projections for Unsupervised Metric Learning
Estimating Software Projects Based On Negotiation
Electoral Preferences Prediction of the YouGov Social Network Users Based on Computational Intelligence Algorithms
Stability in Heterogeneous Multimedia Networks under Adversarial Attacks
Two Step Swarm Intelligence to Solve the Feature Selection Problem
Corporate Memories for Knowledge Management in Industrial Practice: Prospects and Challenges
Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems
Uncovering the Social Dynamics of Online Elections
Pervasive Health Management: New Challenges for Health Informatics
Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM
Interactive, Collaborative and Multi-user Augmented Reality Applications in Primary and Secondary Education. A Systematic Review
On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic
On Sustainability of Context-Aware Services Among Heterogeneous Smart Spaces
Wrapping Web Data Islands
A Recommender System for Non-traditional Educational Resources: A Semantic Approach
Reliable Computation of Elliptic Functions
High-Radix Division with Approximate Quotient-Digit Estimation
The Forum for Negative Results (FNR)Guest Editorial
Synchronization and Stability of Finite Automata
Cybersecurity Verification and Validation Testing in Automotive
A Spiral Model for Adding Automatic, Adaptive Authoring to Adaptive Hypermedia
An Anesthesia Alert System based on Dynamic Profiles Inferred through the Medical History of Patients
Ariadne: Supporting Coordination through a Flexible Use of the Knowledge on Work Processes
Localized Processing and Analysis of Accelerometer Data in Detecting Traffic Events and Driver Behaviour
Let Me Tell You a Story - On How to Build Process Models
Phasetransition-like Changes in Human Visual Information Processing
Algebraic Solutions to a Class of Interval Equations
Collective Knowledge Engineering with Semantic Wikis
Some Basic Properties of General Nonperfect Secret Sharing Schemes
Task Models for Intention-Aware Systems
8th Brazilian Symposium on Programming Languages - J.UCS Special Issue
A Neuro-Fuzzy Hybridized Approach for Software Reliability Prediction
Using Soft Set Theory for Mining Maximal Association Rules in Text Data
Integration Model between Heterogeneous Data Services in a Cloud
A Semantic Filtering Mechanism Geared Towards Context Dissemination in Ubiquitous Environments
Synchronization Expressions and Languages
Extending Policy Languages for Expressing the Self-Adaptation of Web Services
Semi-Supervised Semantic Segmentation for Identification of Irrelevant Objects in a Waste Recycling Plant
On the Computational Complexity of Synchronized Context-Free Languages
Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue
Knowledge Management for Intelligent Systems
Least Slack Time Rate first: an Efficient Scheduling Algorithm for Pervasive Computing Environment
Linguistic Tools for Modelling Alter Egos in Cyperspace: Who is responsible?
A New Approach to Water Flow Algorithm for Text Line Segmentation
Service-Driven Iterative Software Project Management with I-Tropos
Predicting Pathologic Complete Response to Neoadjuvant Treatment in HER2-positive Breast Cancer using Interpretable Classification
Identifying Workgroups in Brazilian Scientific Social Networks
A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic
Modeling, Mining and Analysis of Multi-Relational Scientific Social Network
Towards Secure and Efficient "white-box" Encryption
Unified Description for Network Information Hiding Methods
On the Superdistribution of Digital Goods
Bibliometric Mapping of Research on User Training for Secure Use of Information Systems
Applicability of User Experience and Usability Questionnaires
Implementation of a Prototype Positioning System for LBS on U-campus
Participative Process Introduction: Three Case Studies From the indiGo Project
An Interactive Design Pattern Selection Method
Improving Social Aspects of the Software Development Process: Games, Gamification and Related Approaches
Mixed Relations as Enriched Semiringal Categories
On the Decomposition of Boolean Functions via Boolean Equations
Using Global Structural Relationships of Signals to Accelerate SAT-based Combinational Equivalence Checking
An Approach to Polygonal Approximation of Digital Curves Based on Discrete Particle Swarm Algorithm
What is the Consumer Attitude toward Healthcare Services? A Transfer Learning Approach for Detecting Emotions from Consumer Feedback
Analyzing Cooperation in Iterative Social Network Design
Media Content Adaptation Framework for Technology Enhanced Mobile e-Learning
Linear Derivations for Keys of a Database Relation Schema
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture
Two Local Search Strategies for Differential Evolution
A tool-supported approach to integrate cognitive indicators into the Visual Studio Code
Multi-scaled Spatial Analytics on Discovering Latent Social Events for Smart Urban Services
Managing Operation Knowledge for the Metal Industry
Computing as Engineering
Intercultural Factors in Web-based Training Systems
Splice Site Prediction using Support Vector Machines with Context-Sensitive Kernel Functions
Pragmatic Knowledge Services
An Equational Specification for the Scheme Language
Organisational Memory Information Systems An example of a Group Memory System for the Management of Group Competencies
CSCWD: New Applications and Challenges
Multiplication and Squaring with Shifting Primes on OpenRISC Processors with Hardware Multiplier
Robust Extraction of Text from Camera Images using Colour and Spatial Information Simultaneously
Steganalysis of Adaptive Multi-Rate Speech Using Statistical Characteristics of Pitch Delay
Foreword to the special issue
Term Satisfiability Problem for Two-Element Algebras is in QL or is NQL-Complete
On Cryptographic Properties of Random Boolean Functions
A Variant of Distributed P Systems for Real Time Cross Layer Optimization
WoDiCoF - A Testbed for the Evaluation of (Parallel) Covert Channel Detection Algorithms
Contactless Vulnerability Analysis using Google and Shodan
Comparative Evaluation of Algorithms for Sentiment Analysis over Social Networking Services
Case Studies in Tele-Education: Research and Projects
Digitalization Canvas - Towards Identifying Digitalization Use Cases and Projects
What is Continuity, Constructively?
180 Wrapped Tubes
A Catalogue of Refactorings to Remove Incomplete Annotations
Lean integration of IT security and data privacy governance aspects into product development in agile organizations
Mobile Intelligence
TwitterBulletin: An Intelligent and Real-Time Automated News Categorization Tool for Twitter
Privacy and security challenges of the digital twin: systematic literature review
Special Issue: I-Know '02 - Technology-Oriented Knowledge Management
Resource Efficient Maintenance of Wireless Network Topologies
Multimodality for Passive Experience: Effects of Visual, Auditory, Vibration and Draught Stimuli on Sense of Presence
An Efficient Ciphertext-Policy Attribute-Based Access Control towards Revocation in Cloud Computing
A Logical Reconstruction of Batcher's Mergers Or: Bitonicity is a Red Herring
Usa-DSL: a Process for Usability Evaluation of Domain-Specific Languages
The Formal Specification of Oberon
Digital Learning Resources in Higher Education: Designing for Large-scale Use
Specifying and Verifying Real-Time Systems using Second-Order Algebraic Methods: A Case Study of the Railroad Crossing Controller
A Cooperative Design Method for SMEs to Adopt New Technologies for Knowledge Management: A Multiple Case Study
A Joint Development of Coloured Petri Nets and the B Method in Critical Systems
Interoperability Framework for Multimodal Biometry: Open Source in Action
Graphic Deduction Based on Set
A "Mobile Virtual Lab" for Supporting Engineering Curricula
Secure Control Applications in Smart Homes and Buildings
Safe Motor Controller in a Mixed-Critical Environment with Runtime Updating Capabilities
Information Integration for the Masses
The Origins and the Development of the ASM Method for High Level System Design and Analysis
Mining Social Networks for Calculation of SmartSocial Influence
The Least ∑-jump Inversion Theorem for n -families
Relativizing Function Classes
Real-time Architecture for Robust Motion Estimation under Varying Illumination Conditions
The Sense of Presence Exploration in Virtual Reality Therapy
Model of Identity Verification Support System Based on Voice and Image Samples
Parametric Model-Checking of Stopwatch Petri Nets
Creating Test Questions for 3D Collaborative Virtual Worlds: the WorldOfQuestions Authoring Environment
A Hybrid Metaheuristic Strategy for Covering with Wireless Devices
City Ads: Embedding Virtual Worlds and Augmented Reality in Everyday Educational Practice
An Evaluation of Structured Language Modeling for Automatic Speech Recognition
A Load Balancing and Congestion-Avoidance Routing Mechanism for Teal-Time Traffic over Vehicular Networks
Organizing the Knowledge Used in Software Maintenance
SOS: Orchestrating Collaborative Activities across Digital and Physical Spaces Using Wearable Signaling Devices
Nonrandom Sequences between Random Sequences
Teaching on the WWW: Assignment Focus and Information Indexing
An Adaptive Membrane Evolutionary Algorithm for Solving Constrained Engineering Optimization Problems
Mashups: Emerging Application Development Paradigm for a Digital Journal
LAN Access Over ISDN
MSB-First Digit Serial Arithmetic
Improving the Extraction of Text in PDFs by Simulating the Human Reading Order
Computers in Education: Advances in Software Technology
Using CVSS scores can make more informed and more adapted Intrusion Detection Systems
New Advances in Reconfigurable Computing and its Applications
A BERT-GRU Model for Measuring the Similarity of Arabic Text
Block-based Against Segmentation-based Texture Image Retrieval
A Comparison of Five Programming Languages in a Graph Clustering Scenario
Developed Models Based on Transfer Learning for Improving Fake News Predictions
On Determinism of Evolution-Communication P Systems
Naive Fracterm Calculus
Design of a Tool to Support Self-Regulated Learning Strategies in MOOCs
Test case prioritization based on human knowledge
A Dilemma on "Web-based/Mobile Assessment" by or for Teachers: A Content Analysis
Wikipedia-Based Semantic Interpreter Using Approximate Top-k Processing and Its Application
Knowledge Nodes: the Reification of Organizational Communities. The Pizzarotti Case Study
Ridge Orientation Estimation and Verification Algorithm for Fingerprint Enhancement
On Complements of Sets and the Efremovic Condition in Pre-apartness Spaces
Advancing the Threat Intelligence with AI: An Overview, Taxonomy and Roadmap
Application and Assessment of Cognitive-dissonance Theory in the Learning Process
On Quasi-Products of Tree Automata
Using Identification Codes in the Two-Party Privacy-Preserving Record Linkage (PPRL)
A Generic Tableau Prover and its Integration with Isabelle
Knowledge-Related Policy Analysis in an Inference-Enabled Actor Model
Docs4Learning: Getting Google Docs to work within the LMS with IMS BLTI
Evaluation of Turkish "E-Okul" System in Terms of Usability
Multiple Explanations Driven Naïve Bayes Classifier
Using Lisp Implementation Internals Unportable but Fun
Partial Categorical Multi-Combinators and Church-Rosser Theorems
Fuzziness and Uncertainty in Temporal Reasoning
How the Mathematical Objects Determine the Mathematical Principles
Randomness in Multi-Secret Sharing Schemes
Discrete Neighborhood Representations and Modified Stacked Generalization Methods for Distributed Regression
Knowledge Geometry in Phenomenon Perception and Artificial Intelligence
Securing Web-Based Exams
Integrative Discovery of Multifaceted Sequence Patterns by Frame-Relayed Search and Hybrid PSO-ANN
A Metadirectory of Web Components for Mashup Composition
Heuristic Algorithms for Manufacturing and Replacement Strategies of the Production System
Social Media Battles: their Impact during the 2014 Greek Municipal Elections
Applying Brand Equity Theory to Understand Consumer Opinion in Social Media
Points-to Analysis: A Fine-Grained Evaluation
The Need for Formalizing Media Semantics in the Games and Entertainment Industry
Experimental Studies within the Software Engineering Process for Intelligent Assistance in a GUI
Declarative Term Graph Attribution for Program Generation
A Study on Pattern Recognition with the Histograms of Oriented Gradients in Distorted and Noisy Images
MONSTR II - Suspending Semantics and Independence
A General Framework for Multi-Human Tracking using Kalman Filter and Fast Mean Shift Algorithms
Weak Functional Dependencies: Full Propositional Expressiveness for the Database Practitioner
Analysis of the Infection and the Injection Phases of the Telnet Botnets