yusuke1997/dblp-id-title huggingface dataset:
A Pragmatic Qualitative Approach for Juxtaposing Shapes
Probability-driven scoring functions in combining linear classifiers
A Bibliometric Analysis of Virtual Reality Applications in Anthropology
Industrial and Business Applications of Semantic Web Technologies
Intelligent Environments and Services
Service Networks Modelling: An SOA & BPM Standpoint
Enabling Crowd Participation in Governmental Decision-making
On Implementing EREW Work-Optimally on Mesh of Trees
Cryptography in Computer System Security
Orthogonal Concatenation: Language Equations and State Complexity
A Modular Architecture for Nodes in Wireless Sensor Networks
A Decentralized Infrastructure for Ubiquitous Learning Environments
Automatic Detection and Recognition of Citrus Fruit & Leaves Diseases for Precision Agriculture
A Virtual Reality Test for the Identification of Memory Strengths of Dyslexic Students in Higher Education
Interdisciplinary Development of an Electronic Class and Conference Room
Conditional Branching is not Necessary for Universal Computation in von Neumann Computers
Diagnosis of Lung Cancer from Computed Tomography Scans with Deep Learning Methods
Leveraging Web 2.0 in New Product Development: Lessons Learned from a Cross-company Study
Issues in Compiling
Recent Advances, Emerging Methods and Applications of Pattern Recognition
A Modeling Strategy for the Verification of Context-Oriented Chatbot Conversational Flows via Model Checking
Novel Multimodal Fusion Algorithm for Non-Intrusive Anxiety Detection
Interactive Design System for Schools using Cloud Computing
Trust-Oriented Composite Service Selection with QoS Constraints
On Firmness of the State Space and Positive Elements of a Banach Algebra
Optimizations for Risk-Aware Secure Supply Chain Master Planning
Modeling of Robustness Margins of the Control of a Predictive Control-Supervisory Architecture
Improving Teacher Game Learning Analytics Dashboards through ad-hoc Development
Cost Model for Bitstream Access Services with QoS Parameters
Identification of Fault Prone Components in Multimedia Software based on Optimal Threshold Values decided using Genetic Algorithm
Microworlds for Teaching Concepts of Object Oriented Programming
enisontext-aware Recommender Systems
Assessing the Impact of Visual Facilitation on Inter-Organizational Collaboration: An Experimental Study
Towards an XML-based Implementation of Structured Hypermedia Documents
Application of Multi-Descriptor Binary Shape Analysis for Classification of Electronic Parts
J.UCS Special Issue on Integration of Deduction Systems
Additive Distances and Quasi-Distances Between Words
Twister Generator of Arbitrary Uniform Sequences
Spatial and Temporal Reasoning
Lisp: Research and Experience
VIMM: Runtime Integrity Measurement of a Virtualized Operating System
Performance Enhancement of EEG Signatures for Person Authentication Using CNN BiLSTM Method
Weaving Scholarly Legacy Data into Web of Data
Speaker/Style-Dependent Neural Network Speech Synthesis Based on Speaker/Style Embedding
Algebraic Laws for Feature Models
Elementary Computable Topology
A Service-oriented Process to Develop Web Applications
How Do Frequency and Duration of Messaging Affect Impression Development in Computer-Mediated Communication?
Mastering the Human Barriers in Knowledge Management
Classification of Software for the Simulation of Light Scattering and Realization within an Internet Information Portal
ModelSec: A Generative Architecture for Model-Driven Security
Clock-Skew-Based Computer Identification: Traps and Pitfalls
User Support for Managed Immersive Education: An Evaluation of in-World Training for OpenSim
Similarity-based Complex Publication Network Analytics for Recommending Potential Collaborations
Fuzzy Modeling of User Behaviors and Virtual Goods Purchases in Social Networking Platforms
Ambient Intelligence: Beyond the Inspiring Vision
A Web-Based Decision Support System for Chronic Diseases
CUBICA: An Example of Mixed Reality
A Semantic Web-based Representation of Human-logical Inference for Solving Bongard Problems
Translation of Structural Constraints from Conceptual Model for XML to Schematron
Fibonacci Type Coding for the Regular Rectangular Tilings of the Hyperbolic Plane
Solving Economic Dispatch Problems with Valve-point Effects using Particle Swarm Optimization
Modeling Inheritance as Coercion in the Kenzo System
Automatic Data Restructuring
The Strong Effects of the Soft Factors of Knowledge Management
Decomposition of Timed Automata
Towards an Extended Model of Conceptual Representations in Formal Ontologies: A Typicality-Based Proposal
Decision-making Model at Higher Educational Institutions based on Machine Learning
Parallel Fast Sort Algorithm for Secure Multiparty Computation
What to Expect from Software Experience Exploitation
A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems
Second Brainstorming Week on Membrane Computing
Bounds for Heights of Integer Polynomial Factors
A Graph Model for Spatio-temporal Evolution
A Review of Constructivist Learning Methods with Supporting Tooling in ICT Higher Education: Defining Different Types of Scaffolding
Socio-semantic Integration of Educational Resources - the Case of the mEducator Project
RecSim: A Model for Learning Objects Recommendation using Similarity of Sessions
Sequential Computability of a Function. Effective Fine Space and Limiting Recursion
A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation
Semantic-based Skill Management for Automated Task Assignment and Courseware Composition
Graphics Content in Digital Libraries: Old Problems, Recent Solutions, Future Demands
Hausdorff Measure and Lukasiewicz Languages
Formal Modeling and Verification of Motor Drive Software for Networked Motion Control Systems
Converging Knowledge Management, Training and e-learning: Scenarios to Make it Work
Exploring Immersive Technologies in Learning
Mobile Handoff with 6LoWPAN Neighbour Discovery Auxiliary Communication
Integer Programming, low complexity Heuristics, and Gaussian instances for the Internet Shopping Optimization Problem with multiple item Units (ISHOP-U)
Checking Consistency between UML Class and State Models Based on CSP and B
The Generation of Electricity Load Profiles Using K-Means Clustering Algorithm
Safety Design Strategies in Highly Autonomous Drive Level 2 - Lateral Control Decomposition Concept
Business Process Management Applications based on Semantic Process Models: the ProcessGene Suite Case-Study
Towards a Gamification Framework for Software Process Improvement Initiatives: Construction and Validation
A High Radix On-Line Arithmetic for Credible and Accurate Computing
Aspect-Based Sentiment Analysis on Amazon Product Reviews Using a Novel Hybrid Machine Learning Algorithm
J.UCS Special Issue on Multithreaded Processors and Chip-Multiprocessors
A Hybrid Neural System to Study the Interplay between Economic Crisis and Workplace Accidents in Spain
The Implementation of Lua 5.0
Micro-business Requirements Patterns in Practice: Remote Communities in Developing Nations
A Conceptual Ontology-based Resource Meta-Model towards Business-driven Information System Implementation
Design and Implementation of Enum-Based Services
Evolution of Internet Gopher
An Approach for Estimating Execution Time Probability Distributions of Component-based Real-Time Systems
MareMonstrum: a Contribution to Empirical Research about How the Use of MUVEs May Improve Students' Motivation
Electronic Throttle Control - A Dependability Case Study
Assessment in WWW-Based Learning Systems: Opportunities and Challenges
Future Trends in Computing Technology in Education
Programming and Languages
Design of Arbiters and Allocators Based on Multi-Terminal BDDs
USF-PAS : Study on Core Security Technologies for Ubiquitous Security Framework
Model-Based and Prototyping-Driven User Interface Specification to Support Collaboration and Creativity
Mobile Applications for People with Parkinson's Disease: A Systematic Search in App Stores and Content Review
LIFT - A Legacy InFormation Retrieval Tool
A MOF-Based Metamodeling Environment
A Comparison of WWW and Hyper-G
Recent Trends in Service Science
Semantic Based Support for Planning Information Delivery in Human-agent Collaborative Teams
Merging Strategies for Authoring QoE-based Adaptive Hypermedia
Gamification as a Disruptive Factor in Software Process Improvement Initiatives
Imperfect Information Flow of Agents Communication in Arrow Logic
Constructivity, Computability, and Logic A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges
Web Data Amalgamation for Security Engineering: Digital Forensic Investigation of Open Source Cloud
A Model for Capturing and Managing Software Engineering Knowledge and Experience
Binary Tree Blockchain of Decomposed Transactions
A Systematic Approach for Knowledge Audit Analysis: Integration of Knowledge Inventory, Mapping and Knowledge Flow Analysis
Controlling Aspect Reentrancy
Verification of Structural Pattern Conformance Using Logic Programming
An Extensible Interpreter Framework for Software Transactional Memory
Question to Question Similarity Analysis Using Morphological, Syntactic, Semantic, and Lexical Features
An Investigation into Sharing Metadata: "I'm not thinking what you are thinking"
Big Data between Quality and Security: Dynamic Access Control for Collaborative Platforms
Functional Reading of Logic Programs
The mobiDÁIK Educational Portal
Addressing Design and Usability Issues in Hypertext and on the World Wide Web by Re-Examining the "Lost in Hyperspace" Problem
A Model for Resource Management in Smart Cities Based on Crowdsourcing and Gamification
Incremental Rule Learning and Border Examples Selection from Numerical Data Streams
Computer Science, Logic, Informatics Education
A Framework for Online Social Network Volatile Data Analysis: A Case for the Fast Fashion Industry
Big Data in Cross-Disciplinary Research
Advanced Fault Tree Modeling
Multilevel and Coordinated Self-management in Autonomic Systems based on Service Bus
A Context-based Defense Model for Assessing Cyber Systems' Ability To Defend Against Known And Unknown Attack Scenarios
Towards a Virtual Trusted Platform
Simulating the Fredkin Gate with Energy-Based P Systems
Knowledge Management in Superorganisms
How to Draw Free Trees Inside Bounded Simple Polygons
Applications of Formal Methods to System Design and Verification
RESTifying a Legacy Semantic Search System: Experience and Lessons Learned
Software Components, Architectures and ReuseModeling, Customization and Evaluation
Internet Path Behavior Prediction via Data Mining: Conceptual Framework and Case Study
Differential Ziv-Lempel Text Compression
Defining Tasks, Domains and Conversational Acts in CSCW Systems: the SPACE-DESIGN Case Study
Effectiveness of Games in Software Project Management Education: An Experimental Study
Knowledge Management More Effort - More Success?
Assembling the Web of Things and Microservices for the Management of Cyber-Physical Systems
Course Modeling for Student Profile Based Flexible Higher Education on the Internet
Collaboration, Information Seeking and Communication: An Observational Study of Software Developers' Work Practices
A Bibliometric Study on E-Learning Software Engineering Education
Inclusive Language MOOCs
Advanced Educational Technologies - Promise and Puzzlement
Graph-based Approach for Robust Road Guidance Sign Recognition from Differently Exposed Images
Cyberattack Detection and Response
(Big) Data in Library and Information Science: A Brief Overview of Some Important Problem Areas
Controlled Experiments Comparing Black-box Testing Strategies for Software Product Lines
Improving Multi-Label Classification for Learning Objects Categorization by Taking into Consideration Usage Information
Modeling Knowledge Work for the Design of Knowledge Infrastructures
Enhancing Chatbot Responses through Improved T5 Model Incorporating Aggregated Multi-Head Attention Mechanism and Bidirectional Long Short-Term Memory
Compiler Generated Multithreading to Alleviate Memory Latency
Exploiting Semantics for Constructing and Comparing Occupational and Educational-driven Qualifications: the TIPTOE Project
Cost Estimation of Blended Learning Course Delivery Through Public Cloud
Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity)
A Method to Evaluate Emotions in Educational Video Games for Children
The Light Control Case Study: A Synopsis
Using and Extending Formal Concept Analysis to Visualise Variability during Requirements Engineering
Nabuco - Two Decades of Document Processing in Latin America
Mismatch Avoidance in Web Services Software Architectures
On Compound Purposes and Compound Reasons for Enabling Privacy
One Net One World - Global Citizenship and the Internet
Intelligent Vision Based Decision Making System for Aviation Accidents and Incidents
Design and Evaluation using Technology Acceptance Model of an Architecture Conceptualization Framework System based on the ISO/IEC/IEEE 42020
Applying a Modular Framework to Develop Mobile Applications and Services
Software Process Definition: a Reuse-based Approach
An Axiomatization of a First-order Branching Time Temporal Logic
Specifying Patterns of Educational Settings by means of Ontologies
A Utility-Oriented Routing Scheme for Interest-Driven Community-Based Opportunistic Networks
A Fast and Simple Algorithm for Constructing Minimal Acyclic Deterministic Finite Automata
Detecting Market Trends by Ignoring It, Some Days
Three Variants of the DT0L Sequence Equivalence Problem
Research on Fair Trading Mechanism of Surplus Power Based on Blockchain
Next Generation of Terrorism: Ubiquitous Cyber Terrorism with the Accumulation of all Intangible Fears
Utilization-level and Serviceability of a Social Name-card Portal for QoS in a Cloud Social Networking Service
"Stop it, Fridge!" - Legally Secure and Interest-Based Data Sharing in the Age of Modern (Cyber) Technology
Methods for Information Hiding in Open Social Networks
CIAM: A Methodology for the Development of Groupware User Interfaces
Ceilings of Monotone Boolean Functions
Supporting Composition of Structural Aspects in an AOP Kernel
Modeling Information System Behavior with Dynamic Relations Nets
Evaluation of OCL Expressions over XML Data Model
Trends in Immersive Education Research
Extentions of Affine Arithmetic: Application to Unconstrained Global Optimization
Inexact Information Systems and its Application to Approximate Reasoning
Formal Verification of Semistructured Data Models in PVS
Artificial Intelligence as Catalyst for the Tourism Sector: A Literature Review
VMTools-RA: a Reference Architecture for Software Variability Tools
The Number of the Modulo n Roots of the Polynomial x v - x v and the RSA
Supporting Teachers in the Design and Implementation of Group Formation Policies in MOOCs: A Case Study
Providing Multi Source Tag Recommendations in a Social Resource Sharing Platform
Early Results of Experiments with Responsive Open Learning Environments
Recent Advances in Bio-Inspired Computing: Theory and Applications
A Decision Making Approach Based on Hesitant Fuzzy Linguistic-Valued Credibility Reasoning
Using Weblogs for Knowledge Sharing and Learning in Information Spaces
The Relationship Between Propagation Characteristics and Nonlinearity of Cryptographic Functions
Proposal for a Conceptual Framework for Educators to Describe and Design MOOCs
Model-Driven Development of Aspect-Oriented Software Architectures
A Literature Survey: Is it Necessary to Develop a New Software Development Methodology for Virtual Reality Projects?
Prototyping on the PC with Programmable Hardware
The Wookie Widget Server: a Case Study of Piecemeal Integration of Tools and Services
An Enhanced Evolutionary Based Feature Selection Approach Using Grey Wolf Optimizer for the Classification of High-dimensional Biological Data
Knowledge Management for Autonomous Systems and Computational Intelligence
Challenges of ubiquitous and wearable solutions to address active ageing in the Andalusian community
A Smart Hydroponics-Based System for Child Education
Perceptions about Internet Use by Teaching Faculty at Small Christian Colleges and Universities
A Formal Framework for Metamodeling in the Context of MDE
A Collaborative Auto-Diversified Optimization Scheme
Energy Efficient Node Caching and Load Balancing Enhancement of Reactive Ad Hoc Routing Protocols
Software Technologies in Knowledge Society
A Canonical Model Construction for Substructural Logics
Bibliometric Analysis and Visualisation of Intellectual Capital
Implicit Methods for Enclosing Solutions of ODEs
PETs at CSCL Service: Underutilised Potentials for Privacy Enhancing Distance Education
Deep learning techniques to process 3D chest CT
Performance Optimizations for DAA Signatures on Java enabled Platforms
Fusion of Complementary Online and Offline Strategies for Recognition of Handwritten Kannada Characters
Fault Injection for Embedded Microprocessor-based Systems
Network Planning for WiMAX-R Networks
A Framework for Filtering News and Managing Distributed Data
Checking Semantics Equivalence of MDA Transformations in Concurrent Systems
The Architectural Design of a System for Interpreting Multilingual Web Documents in E-speranto
Embedded Software Revitalization through Component Mining and Software Product Line Techniques
Contained Hypermedia
Selected Papers from SBLP 2006: The 10th Brazilian Symposium on Programming Languages
NP-completeness and FPT Results for Rectilinear Covering Problems
A Logistic Fault-Dependent Detection Software Reliability Model
A Conceptual Model for IT Service Systems
Mobile Agents for Detecting Network Attacks Using Timing Covert Channels
Cross-Language Source Code Re-Use Detection Using Latent Semantic Analysis
Alias Verification for Fortran Code Optimization
A Tool for Telediagnosis of Cardiovascular Diseases in a Collaborative and Adaptive Approach
Key Person Analysis in Social Communities within the Blogosphere
Software Quality Issues in SCRUM: A Systematic Mapping
Fastener Classification Using One-Shot Learning with Siamese Convolution Networks
Open, Mobile and Collaborative Educational Experience. Case study: The European ECO Project
Increasing Robustness of LSB Audio Steganography by Reduced Distortion LSB Coding
Ensemble - an E-Learning Framework
Open Standards Beyond Java: On the Future of Mobile Code for the Internet
K-Step Crossover Method based on Genetic Algorithm for Test Suite Prioritization in Regression Testing
Methodologies, Technologies and Tools Enabling e-Government
Membrane Computing: The Power of (Rule) Creation
Improving Person Re-identification by Segmentation-Based Detection Bounding Box Filtering
Formal Study of Routing Protocols for Wireless Sensor Networks
On Four Classes of Lindenmayerian Power Series
Logic, Abstract State Machines and Databases
The Role of Social Learning Networks in Mobile Assisted Language Learning: Edmodo as a Case Study
Temporal Accelerators: Unleashing the Potential of Embedded FPGAs
A Systematic Mapping Study on Soft Skills in Software Engineering
Computer Forensics System Based on Artificial Immune Systems
TESTAF: A Test Automation Framework for Class Testing using Object-Oriented Formal Specifications
Co-Allocation with Collective Requests in Grid Systems
The "MEDIP-Platform Independent Software System for Medical Image Processing" Project
Beyond ASCII - Parsing Programs with Graphical Presentations
Enhancing Home-Based Rehabilitation Exercises with a Temporal Conditional Generative Adversarial Network
A Comparative Analysis of a Mobile App to Practise Oral Skills: in Classroom or Self-directed Use?
J.UCS Special Issue on Tools for System Design and Verification - Part 2
Recognising Informative Web Page Blocks Using Visual Segmentation for Efficient Information Extraction
Risk-Driven Security Metrics in Agile Software Development - An Industrial Pilot Study
Digital Transformation of Public Services in a Startup-Based Environment: Job Perceptions, Relationships, Potentialities and Restrictions
The Bag-of-Words Method with Different Types of Image Features and Dictionary Analysis
An Agent-mediated Ontology-based Approach for Composite Activity Recognition in Smart Homes
Automatic Detection of Falls and Fainting
A Flexible Strategy-Based Model Comparison Approach: Bridging the Syntactic and Semantic Gap
Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking
MLab: A Mobile Language Learning Lab System for Language Learners
Authoring Courses with Rich Adaptive Sequencing for IMS Learning Design
Second International Workshop on Verification and Validation of Enterprise Information Systems
The Modelling of a Digital Forensic Readiness Approach for Wireless Local Area Networks
Requirements Negotiation Using Multi-Criteria Preference Analysis
Topological Similarity and Centrality Driven Hybrid Deep Learning for Temporal Link Prediction
Computational Evaluation of Effects of Motivation Reinforcement on Player Retention
CMSN: An Efficient and Effective Agent Lookup for Mobile Agent Middleware
Synthetic Image Translation for Football Players Pose Estimation
EBAR: A Novel Machine Learning Model for Quantifying Chemical Concentrations using NIR Spectroscopy
Online Network-on-Chip Switch Fault Detection and Diagnosis Using Functional Switch Faults
Progress in Features, Data, Patterns and Similarity Analysis
Design for All as a Challenge for Hypermedia Engineering
Exploiting Agent Ontologies in B2C Virtual Marketplaces
Layout Analysis for Camera-Based Whiteboard Notes
An Event-Driven Integration Platform for Context-Aware Web Services
Equivalent Transformations of Automata by Using Behavioural Automata
Minimal Deterministic Incomplete Automata
Continuations and Aspects to Tame Callback Hell on the Web
Intelligent Decision Support in Medicine: Back to Bayes?
Toward a Module-centralized and Aspect-oriented Monitoring Framework in Clouds
Agent Migration: Framework for Analysis
Persian/Arabic Baffletext CAPTCHA
Evaluation of On-line Help
Shrink Indecomposable Fractals
Educational Video and TV in Distance Education: Production and Design Aspects
Sustaining Continuous Collaborative Learning Flows in MOOCs: Orchestration Agent Approach
Symbolic Approach to the Analysis of Security Protocols
The 5 W's of Zero-Knowledge Proof Development
Discovering Consumer Insight from Twitter via Sentiment Analysis
A Model of Interaction for CVEs Based on the Model of Human Communication
A reversible circuit synthesis algorithm with progressive increase of controls in generalized Toffoli gates
Overcoming the Silver Generation Digital Gap
Optimized Compilation of Around Advice for Aspect Oriented Programs
Adapting Web 1.0 User Interfaces to Web 2.0 Multidevice User Interfaces using RUX-Method
Keyboard-Card Menus: A New Presentation of Non-Standard Shortcuts
Function-Complete Lookahead in Support of Efficient SAT Search Heuristics
All-Pairs Shortest Paths Algorithm for Regular 2D Mesh Topologies
Bloch's Constant is Computable
Applications of Cerebellar Model Articulation Controllers to Intelligent Landing System
SBLP 2008: XII Brazilian Symposium on Programming
A Robust Affine Matching Algorithm Using an Exponentially Decreasing Distance Function
Algorithmic Irreducibility in a Cellular Automata Universe
A Characterisation of Coincidence Ideals for Complex Values
Investigating Atomicity and Observability
Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181) J.UCS Special Issue
A Comparison Between a Geometrical and an ANN Based Method for Retinal Bifurcation Points Extraction
Behavioural Coherence in Object-Oriented Algebraic Specification
Content-based Information Retrieval by Named Entity Recognition and Verb Semantic Role Labelling
Machine Learning-Based Keywords Extraction for Scientific Literature
Light-Weight Key Exchange with Different Passwords in the Standard Model
Functionality versus Practicality: Employing Existing Tools for Recovering Structural Design Patterns
Magic Sets for the XPath Language
Interoperability Framework for Competences and Learning Outcomes
Solving the problem of scheduling the production process based on heuristic algorithms
Checking the Conformance between Models Based on Scenario Synchronization