yusuke1997/dblp-id-title huggingface dataset:
Type Prediction in RDF Knowledge Bases Using Hierarchical Multilabel Classification
Building and managing reputation in the environment of Chinese e-commerce: a case study on Taobao
Consumption Value System and Storytelling for Digital Advertising
Ontology-based query refinement for XML information retrieval
Estimating Deflation Representing People Spreading in Stream Data
Semantics-based news recommendation with SF-IDF+
Web Searching with Multiple Correct Answers
'Just enough' ontology engineering
Xart system: discovering and extracting correlated arguments of n-ary relations from text
Web Search Results Visualization: Evaluation of Two Semantic Search Engines
A Disease-driven Nutrition Recommender System based on a Multi-agent Architecture
Earthquake prediction using the fields estimated by an adaptive algorithm
Some experiments on modeling stock market behavior using investor sentiment analysis and posting volume from Twitter
Knowledge Sanitization on the Web
Semantic Technology for Online, Broadcast and Print Media
OWL 2 DL ontology inconsistencies prediction
Representation models for text classification: a comparative analysis over three web document types
Towards automatic assessment of government web sites
Enhancing readability of web documents by text augmentation for deaf people
Mining and Leveraging Background Knowledge for Improving Named Entity Linking
Discovering the smart forests with virtual reality
Inbenta Semantic Search Engine: a search engine inspired by the Meaning-Text Theory
Estimating importance of implicit factors in e-commerce recommender systems
A multi-agent approach towards cooperative overtaking in vehicular networks
Modeling of uncertainty: Fuzzification of medical ontology
Challenges and issues of web intelligence research
Rough Set & Riemannian Covariance Matrix Theory for Mining the Multidimensionality of Artificial Consciousness
Group decision making in ontology matching
Real-time smart advisory health system
Optimising Coverage, Freshness and Diversity in Live Exploration-based Linked Data Queries
An innovative majority voting mechanism in interactive social network clustering
A smart IoT middleware for comfort management based on Multi-Agent-System
What Makes Ontology Reasoning so Arduous?: Unveiling the key ontological features
Towards law-aware semantic cloud policies with exceptions for data integration and protection
Creation of visualizations based on linked data
Personalized Recommendation of Socially Relevant Images
Some measures to detect the influencer on social network based on Information Propagation
Mining social networks and their visual semantics from social photos
Adaptive Task Assignment in Online Learning Environments
Generating Semantic Annotations For Research Datasets
Automating Web-Navigation Support Using a Cognitive Model
Negative implicit feedback in e-commerce recommender systems
The InfoAlbum image centric information collection
Are Linked Datasets fit for Open-domain Question Answering? A Quality Assessment
Measuring Graph Reconstruction Precisions: How Well Do Embeddings Preserve the Graph Proximity Structure?
A comparison of layout based bibliographic metadata extraction techniques
The ICARUS Ontology: A general aviation ontology developed using a multi-layer approach
Uncertainty detection in natural language: a probabilistic model
Multimapping Design of Complex Sensor Data in Environmental Observatories
A User-Centered Methodology for the Evaluation of (Semantic) Web Service Discovery and Selection
A genetic graph-based clustering approach to biomedical summarization
A study on the impact of crowd-based voting schemes in the 'Eurovision' European contest
Semantic Web based software platform for curriculum harmonization
Synthesizing N-ary Relations from Web Tables
SALSA: Detection of Cybertrolls using Sentiment, Aggression, Lexical and Syntactic Analysis of Tweets
Enhancing DL-Lite^{N}_{horn|bool} Finite Models with Frequency Constraints
Where to Park?: Predicting Free Parking Spots in Unmonitored City Areas
Data processing and semantics for advanced internet of things (IoT) applications: modeling, annotation, integration, and perception
Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics, WIMS 2017, Amantea, Italy, June 19-22, 2017
Semi-automatic extraction and validation of concepts in ontology learning from texts in Spanish
Data integration driven ontology design, case study smart city
Attract me!: how could end-users identify interesting resources?
Sentiment Analysis using Word-Graphs
Stream Reasoning for the Internet of Things: Challenges and Gap Analysis
ForAVis : explorative user forum analysis
A real-time Twitter sentiment analysis using an unsupervised method
Web-based educational ecosystem for automatization of teaching process and assessment of students
Extracting Semantic Concept Relations from Wikipedia
Ontological logic programming
Open-Domain Web-Based List Question Answering with LX-ListQuestion
Large knowledge collider: a service-oriented platform for large-scale semantic reasoning
StoryLens: A Multiple Views Corpus for Location and Event Detection
Term Impact-Based Web Page Ranking
A novel query rewriting mechanism for semantically interlinking clinical research with electronic health records
Measuring profile distance in online social networks
Evolution of ontology potential for generation of rules
A density-based approach for mining overlapping communities from social network interactions
Hubs in Nearest-Neighbor Graphs: Origins, Applications and Challenges
Exploring the Use of Deprecated PHP Releases in the Wild Internet: Still a LAMP Issue?
Guidelines for multilingual linked data
A solution to the exact match on rare item searches: introducing the lost sheep algorithm
Optimized k-means clustering with intelligent initial centroid selection for web search using URL and tag contents
LODBookRec: Linked Open Data for Books Recommendation
Description logic reasoning for semantic web ontologies
BlogForever Crawler: Techniques and Algorithms to Harvest Modern Weblogs
Can Virtual Assistants Produce Recommendations?
Optimal recommender systems blending
Design and Development of Modular Industrial Robot Kit (Merlyn TRN-1) for classroom training in STEM and ROBOTICS: Real Time Intelligent Training System
Intelligent social networks
Enhancing a Location-based Recommendation System by Enrichment with Structured Data from the Web
Unsupervised generation of data mining features from linked open data
Introducing Public-Key infrastructure for SiebogJS JavaScript-based Agent Middleware
Soa2mSituation: an interaction situation model for the multimodal web
Classification of users by using support vector machines
Utilising linked open data in applications
Classifying News Media Coverage for Corruption Risks Management with Deep Learning and Web Intelligence
Big-data-driven innovation for enterprises: innovative big value paradigms for next-generation digital ecosystems
Spam Filtering: an Active Learning Approach using Incremental Clustering
Client- and server-side revisitation prediction with SUPRA
Virtual Marathon System Where Humans and Agents Compete
A Clicks-and-Mortar Information Exchange Mechanism Based on Blockchain Technology
R 2 DF framework for ranked path queries over weighted RDF graphs
Contextual synchronization for social collaboration in enterprises
Social Tags and Linked Data for Ontology Development: A Case Study in the Financial Domain
Web Intelligence Data Clustering by Bare Bone Fireworks Algorithm Combined with K-Means
Approximate k-Nearest Neighbor Search Based on the Earth Mover's Distance for Efficient Content-based Information Retrieval
Exploring information diffusion in network of semantically annotated web service interfaces
Generic Web Service Wrapper for Mediation based Data Warehousing
Proceedings of the 5th International Conference on Web Intelligence, Mining and Semantics, WIMS 2015, Larnaca, Cyprus, July 13-15, 2015
Semantic web and language resources for e-government: linguistically motivated data mining
Semantic annotation of image processing tools
Concept Drift Detection on Data Stream for Revising DBSCAN Cluster
Publishing and interacting with linked data
Toward a semantic vocabulary for systems engineering
Visualization of the European environmental data
SynsetTagger: a tool for generating ontologies from semantic tags
Crafting a balance between big data utility and protection in the semantic data cloud
A graph-based approach to measuring semantic relatedness in ontologies
On the distinctiveness of tags in collaborative tagging systems
Improving search in tele-lecturing: using folksonomies as trigger to query semantic datasets to extract additional metadata
Creating knowledge out of interlinked data: making the web a data washing machine
Hybrid Method for Computing Word-Pair Similarity based on Web Content
Large-Scale Reasoning with (Semantic) Data
Using schema.org Annotations for Training and Maintaining Product Matchers
Programming Safe Agents in Blueprint
Agile development methods through the eyes of Organisational Network Analysis
Cooperative Multi-Agent Reinforcement Learning for Spectrum Management in IoT Cognitive Networks
On the Use of Lanczos Vectors for Efficient Latent Factor-Based Top-N Recommendation
Measuring node importance on Twitter microblogging
Replicating and Improving Top-N Recommendations in Open Source Packages
ConteSaG: context-based keyword search over multiple heterogeneous graph-modeled data
Linking Social, Open, and Enterprise Data
Large-scale storage and query processing for semantic sensor data
Editorial - Research and Applications in Web Intelligence, Mining, and Semantics
Reformulating Ontological Queries Using Materialised Rewritings
Forestry Monitoring System using LoRa and Drone
User behavior in online social networks and its implications: a user study
A Machine Learning Approach For Classifying Sentiments in Arabic tweets
Web object identification for web automation and meta-search
E-Commerce Merchant Classification using Website Information
Subjective and generic distance in ViewpointS: an experiment on WordNet
Bringing Paxos Consensus in Multi-agent Systems
Character Network Embedding-based Plot Structure Discovery in Narrative Multimedia
Making things findable: semantics for web search and online media
A collaborative web-based help-system
Smart Cities Data Streams Integration: experimenting with Internet of Things and social data flows
Text stream processing
Time Series Classification and its Applications
Analysis of semantic URLs to support automated linking of structured data on the web
Knowledge extraction from on-line open source bug tracking systems to predict bug-fixing time
A WIMS perspective for understanding the human genome: the role of conceptual modeling
Document Enrichment using DBPedia Ontology for Short Text Classification
Page segmentation by web content clustering
complementarity of Persons sharing properties in social networks
Creating a Similarity Graph from WordNet
Recommender systems by means of information retrieval
Improving the usability of integrated applications by using interactive visualizations of linked data
Curriculum data enrichment with ontologies
Modelling web user synergism for the similarity measurement on the ontology matching: reasoning on web user felling for uncertain evolving systems
Intelligent interactive multimedia system: layered ontological video contexts in a folksonomy driven environment
Measuring Online Advertising Viewability and Analyzing its Variability Across Different Dimensions
Swarm Intelligence Approaches for Parameter Setting of Deep Learning Neural Network: Case Study on Phishing Websites Classification
Conditional random fields with semantic enhancement for named-entity recognition
Querying deep web data sources as linked data
Many faces of text processing
Influence patterns in topic communities of social media
2nd International Conference on Web Intelligence, Mining and Semantics, WIMS '12, Craiova, Romania, June 6-8, 2012
Framework for integration of domain knowledge into logistic regression
Semantic Technologies in e-Learning: Learning Analytics and Artificial Neural Networks in Personalised Learning Systems
MOWS: macro and micro online webview selection
A Hybrid Approach to Interpretable Analysis of Research Paper Collections
Automatic classification of documents in cold-start scenarios
Distributed distance matrix generator based on agents
Multi-Layer Semantics Based Document Clustering
SWRL-F: a fuzzy logic extension of the semantic web rule language
Open social learning communities
News personalization using the CF-IDF semantic recommender
Automatic reasoner selection using machine learning
Working with Grid Service and Resource Metadata using Existing Tools and Specifications
Meta-data Management Issues Underpinning Emerging Solutions for Distributed Trust and Contract Management in Enterprise Grid and P2P Systems. Experiences from GRASP, SWAD-Europe, PELLUCID and CORAS projects
Multimedia Metadata Management and t-Learning Applications
DaMiT - Peculiartities of an e-Learning System
Management of Metadata for the Virtual Solar Observatory - Experiences from EGSO
Metadata Management in the Celebrate European Learning Network
Probabilistic Logics for Defining and Using P2P Service Descriptions
ELENA: Creating a Smart Space for Learning
Personalisation in Self e-Learning Networks
MMGPS, IST Workshop on Metadata Management in Grid and P2P Systems: Models, Services and Architectures, London, UK, December 16, 2003
The Chatty Web Approach for Global Semantic Agreements
Data-Centric Networks and Peer-to-Peer Databases
The Role of MetaData in Querying Grid-Resident Medical Images
SeLeNe Deliverable 7: Report on the IST Workshop on Metadata Management in GRID and P2P Systems
Architecture, Metadata and Ontologies in the Knowledge Grid
Metadata Management in the EU DataGrid
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
The COST IC0701 Verification Competition 2011
Validating Timed Models of Deployment Components with Parametric Concurrency
Verification of Information Flow Properties of Java Programs without Approximations
Modeling and Analyzing the Interaction of C and C++ Strings
Modular Verification of Object-Based Programs - Abstract of Invited Talk
A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems
From a Proven Correct Microkernel to Trustworthy Large Systems
JMLUnit: The Next Generation
Dynamic Frames in Java Dynamic Logic
A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios
A Dynamic Logic for Unstructured Programs with Embedded Assertions
Verification of Software Product Lines with Delta-Oriented Slicing
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
A Verified Implementation of Priority Monitors in Java
Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas
Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study
The Practical Application of Formal Methods: Where Is the Benefit for Industry?
Static Contract Checking with Abstract Interpretation
Integration of Bounded Model Checking and Deductive Verification
A K-Based Formal Framework for Domain-Specific Modelling Languages
Juggrnaut - An Abstract JVM
CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?
A Refinement Methodology for Object-Oriented Programs
Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification
Sawja: Static Analysis Workshop for Java
Specifying Imperative ML-Like Programs Using Dynamic Logic
Isolation Types and Multi-core Architectures
Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode
Optimizing Network Performance in Multihoming Environments
Models for Capacity Demand Estimation in a TV Broadcast Network with Variable Bit Rate TV Channels
Peer-Level Analysis of Distributed Multimedia Content Sharing
Local Restoration for Trees and Arborescences
Blind Maximum-Likelihood Estimation of Traffic Matrices in Long Range Dependent Traffic
A Priority-Based Multiservice Dynamic Bandwidth Allocation for Ethernet Passive Optical Networks
A Fair and Dynamic Load-Balancing Mechanism
Framework for Personal TV
On the Dependencies between Internet Flow Characteristics
Performance of Optical Ring Architectures with Variable-Size Packets: In-Line Buffers vs Semi-synchronous and Asynchronous Transparent MAC Protocols
Traffic Engineering of Telecommunication Networks Based on Multiple Spanning Tree Routing
High-Performance H.264/SVC Video Communications in 802.11e Ad Hoc Networks
A Distributed Scheme for Value-Based Bandwidth Reconfiguration
The Impact of Congestion Control Mechanisms on Network Performance after Failure in Flow-Aware Networks
Traffic Management and Traffic Engineering for the Future Internet, First Euro-NF Workshop, FITraMEn 2008, Porto, Portugal, December 11-12, Revised Selected Papers
Volume Anomaly Detection in Data Networks: An Optimal Detection Algorithm vs. the PCA Approach
The Relative Strength of #SAT Proof Systems
QBF Programming with the Modeling Language Bule
Cores in Core Based MaxSat Algorithms: An Analysis
sharpSAT - Counting Models with Advanced Component Caching and Implicit BCP
DRMaxSAT with MaxHS: First Contact
SAT Modulo Theories: Enhancing SAT with Special-Purpose Algorithms
Solution-Graphs of Boolean Formulas and Isomorphism
ALIAS: A Modular Tool for Finding Backdoors for SAT
Computation of Renameable Horn Backdoors
Automated Testing and Debugging of SAT and QBF Solvers
Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution
The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi-algebraic Proofs
Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
On Computing the Union of MUSes
kcnfs: An Efficient Solver for Random k-SAT Formulae
Improving Stochastic Local Search for SAT with a New Probability Distribution
Lazy Clause Exchange Policy for Parallel SAT Solvers
An Algebraic Approach to the Complexity of Generalized Conjunctive Queries
Hidden Threshold Phenomena for Fixed-Density SAT-formulae
Proof Complexity of Symbolic QBF Reasoning
A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints
On Top-Down Pseudo-Boolean Model Counting
Efficiency of Local Search
Backdoor Sets of Quantified Boolean Formulas
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning
Computing Unsatisfiable k-SAT Instances with Few Occurrences per Variable
From Idempotent Generalized Boolean Assignments to Multi-bit Search
SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings
On the Interpolation between Product-Based Message Passing Heuristics for SAT
Minimizing Models for Tseitin-Encoded SAT Instances
Does Advice Help to Prove Propositional Tautologies?
Soundness of Inprocessing in Clause Sharing SAT Solvers
Scalable Proof Production and Checking in SMT (Invited Talk)
Migrating Solver State
Dynamically Partitioning for Solving QBF
A New Approach to Partial MUS Enumeration
On Weakening Strategies for PB Solvers
The Optimality of a Fast CNF Conversion and its Use with SAT
An Exact Algorithm for the Boolean Connectivity Problem for k -CNF
Towards Massively Parallel Local Search for SAT - (Poster Presentation)
On Finding All Minimally Unsatisfiable Subformulas
On Moderately Exponential Time for SAT
MCS Extraction with Sublinear Oracle Queries
Faulty Interaction Identification via Constraint Solving and Optimization
Generalized Conflict-Clause Strengthening for Satisfiability Solvers
Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs
Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness
Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break
Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers
Explaining SAT Solving Using Causal Reasoning
Laissez-Faire Caching for Parallel #SAT Solving
Satisfiability via Smooth Pictures
Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ALC
Instance-Based Selection of Policies for SAT Solvers
On Computing Preferred MUSes and MCSes
A Little Blocked Literal Goes a Long Way
Four Flavors of Entailment
A New Approach to Model Counting
Width-Based Algorithms for SAT and CIRCUIT-SAT: (Extended Abstract)
Fixed-Parameter Tractability of Satisfying beyond the Number of Variables
On the Sparsity of XORs in Approximate Model Counting
Deciding Bit-Vector Formulas with mcSAT
On Stronger Calculi for QBFs
Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving
On Sequent Systems and Resolution for QBFs
Lynx: A Programmatic SAT Solver for the RNA-Folding Problem
SAT Encoding of Partial Ordering Models for Graph Coloring Problems
Impact of Community Structure on SAT Solver Performance
Changing Partitions in Rectangle Decision Lists
Hypergraph Acyclicity and Propositional Model Counting
A New Exact Solver for (Weighted) Max#SAT
Efficient Implementations of SAT Local Search
SAT-to-SAT in QBFEval 2016
On the Relative Efficiency of Dynamic and Static Top-Down Compilation to Decision-DNNF
Read-Once Unit Resolution
Cops-Robber Games and the Resolution of Tseitin Formulas
Combining Resolution-Path Dependencies with Dependency Learning
Introducing Pareto Minimal Correction Subsets
Incremental Maximum Satisfiability
Exploiting Cycle Structures in Max-SAT
The Essentials of the SAT 2003 Competition
Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances
MiniMaxSat: A New Weighted Max-SAT Solver
SAT Solving with Fragmented Hamiltonian Path Constraints for Wire Arc Additive Manufacturing
Efficient SAT Solving under Assumptions
Automatic Evaluation of Reductions between NP-Complete Problems
Dynamic Blocked Clause Elimination for Projected Model Counting
Understanding IC3
27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024, Pune, India, August 21-24, 2024
Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization
DQBDD: An Efficient BDD-Based DQBF Solver
A Compact Representation for Syntactic Dependencies in QBFs
Nenofex: Expanding NNF for QBF Solving
Backdoors in the Context of Learning
Davis and Putnam Meet Henkin: Solving DQBF with Resolution
Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)
Finding Finite Models in Multi-sorted First-Order Logic
Towards Universally Accessible SAT Technology
PBLib - A Library for Encoding Pseudo-Boolean Constraints into CNF
A Complete Random Jump Strategy with Guiding Paths
25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, Haifa, Israel, August 2-5, 2022
Snappy: A Simple Algorithm Portfolio
Lemma Learning in SMT on Linear Constraints
Extended Failed-Literal Preprocessing for Quantified Boolean Formulas
From Spin Glasses to Hard Satisfiable Formulas
MUS Extraction Using Clausal Proofs
Predicate Elimination for Preprocessing in First-Order Theorem Proving
Encodings of Problems in Effectively Propositional Logic
Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures
Non-prenex QBF Solving Using Abstraction
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning
A Dichotomy Theorem for Typed Constraint Satisfaction Problems
Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation)
Learning Polarity from Structure in SAT
Separating Incremental and Non-Incremental Bottom-Up Compilation
Derandomization of Schuler's Algorithm for SAT