yusuke1997/dblp-id-title huggingface dataset:
Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings
Multivalued Elementary Functions in Computer-Algebra Systems
A Type-Coercion Problem in Computer Algebra
Formalizing Some "Small" Finite Models of Projective Geometry in Coq
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
Singularities in Qualitative Reasoning
Polynomial Interpretations with Negative Coefficients
A Search Engine for Mathematical Formulae
On Correctness of Mathematical Texts from a Logical and Practical Point of View
The Challenges of Multivalued "Functions"
Augmenting Presentation MathML for Search
Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases
A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects
New Developments in Parsing Mizar
Algorthmic Development of Power Series
Towards Modelling the Topology of Homogeneous Manifolds by Means of Symbolic Computation
Visual Mathematics: Diagrammatic Formalization and Proof
Basic Completion with E-cycle Simplification
A Streaming Digital Ink Framework for Multi-party Collaboration
Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux
Autocorrelation via Runs
Reasoning on Schemata of Formulæ
Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy
On Mathematical Modeling in Robotics
On a Generalised Logicality Theorem
The Ideal Structure of Gröbner Base Computations
Algebraic Specification of Empirical Inductive Learning Methods based on Rough Sets and Matroid Theory
Normalization Issues in Mathematical Representations
Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle
A Novel Face Recognition Method
Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically
Combining Isabelle and QEPCAD-B in the Prover's Palette
Automated Classification and Categorization of Mathematical Knowledge
Measuring the Likely Effectiveness of Strategies
Optimising Propositional Modal Satisfiability for Description Logic Subsumption
Subdefinite Computations and Symbolic Transformations in the UniCalc Solver
Artificial Intelligence and Symbolic Computation - 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
Combining Generic and Domain Specific Reasoning by Using Contexts
The Dynamic Dictionary of Mathematical Functions
Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving
Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems (Invited Talk)
An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial
Formally Verified Conditions for Regularity of Interval Matrices
Management of Change in Declarative Languages
Intelligent User Interfaces for Symbolic and Numeric Computation
Inductive Synthesis of Functional Programs
Methodologies of Symbolic Computation
New Developments in Symmetry Breaking in Search Using Computational Group Theory
Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis
Solving Equations Involving Sequence Variables and Sequence Functions
Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management
Mediated Access to Symbolic Computation Systems
Interactive Theorem Proving and Finite Projective Planes
Soundness and Completeness versus Lifting Property
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server
Proof Transformation for Non-Compatible Rewriting
Using Commutativity Properties for Controlling Coercions
Integration of Quantifier Elimination with Constraint Logic Programming
Project Presentation: Algorithmic Structuring and Compression of Proofs (ASCOP)
The Algorithmization of Physics: Math Between Science and Engineering
Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver
On Mathematical Modeling of Networks and Implementation Aspects
Qualitative Mathematical Modeling of Genetic Algorithms
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra
MetiTarski: An Automatic Prover for the Elementary Functions
Extending MKM Formats at the Statement Level
ALLTYPES: An ALgebraic Language and TYPE System
Case Studies in Model Manipulation for Scientific Computing
Tools for Solving Problems in the Scope of Algebraic Programming
Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
A New Definition for Passivity and Its Relation to Coherence
Automated Model Building: From Finite to Infinite Models
Instantiation of SMT Problems Modulo Integers
Formal Proof of SCHUR Conjugate Function
Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging
Formalizing Rewriting in the ACL2 Theorem Prover
The Accessibility of Mathematical Formulas for the Visually Impaired in China
The Wright omega Function
From Integrated Reasoning Specialists to "Plug-and-Play" Reasoning Components
Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving
Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer
Dynamic Symmetry Breaking in Itemset Mining
A Formal Proof of the Computation of Hermite Normal Form in a General Setting
A Mathematical Hierarchy of Sudoku Puzzles and Its Computation by Boolean Gröbner Bases
Datalog and TwoGroups and C++
Solving Dynamic Geometric Constraints Involving Inequalities
Transforming the arXiv to XML
The Confluence Problem for Flat TRSs
On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope
A Chinese New Word Detection Approach Based on Independence Testing
On Duplication in Mathematical Repositories
OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge
Validated Evaluation of Special Mathematical Functions
Semantic Guidance for Saturation Provers
From Declarative Set Constraint Models to "Good" SAT Instances
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
Towards a Sheaf Semantics for Cooperating Agents Scenarios
Challenges and Experiences in Managing Large-Scale Proofs
Artificial Intelligence and Symbolic Mathematical Computation
Obtaining an ACL2 Specification from an Isabelle/HOL Theory
Specifying Strategies for Exercises
Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
Planning and Patching Proof
Gröbner Bases: Strategies and Applications
Real Algebraic Strategies for MetiTarski Proofs
Interactive Theorem Proving and Computer Algebra
Conformant Planning as a Case Study of Incremental QBF Solving
Some Techniques of Isomorph-Free Search
Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
An Essence of SSReflect
MathWebSearch 0.5: Scaling an Open Formula Search Engine
A Tactic Language for Hiproofs
An Inductive Logic Programming Query Language for Database Mining
An Algebraic Approach to Knowledge-Based Modeling
Some Considerations on the Usability of Interactive Provers
Extension of First-Order Theories into Trees
Generic Hermitian Quantifier Elimination
Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing Contest
YACAS: A Do-It-Yourself Symbolic Algebra Environment
Finding Relations Among Linear Constraints
Document Recognition, Semantics, and Symbolic Reasoning in Reverse Engineering of Software
COLETTE, Prototyping CSP Solvers Using a Rule-Based Language
From Numerical to Symbolic Data during the Recognition of Scenarii
Writing on Clouds
Geometry Machines: From AI to SMC
An Evolutionary Algorithm for Welding Task Sequence Ordering
Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks
Increasing Interpretations
On Communicating Proofs in Interactive Mathematical Documents
Constraint Acquisition
Symbolic Computation and Teaching
Symbolic Domain Decomposition
On Theorem-Proving in Horn Theories with Built-in Algebras
Cross-Curriculum Search for Intergeo
Understanding the Learners' Actions when Using Mathematics Learning Tools
Continuous First-Order Constraint Satisfaction
A Web Interface for Matita
Bertrand Russell, Herbrand's Theorem, and the Assignment Statement
Multicontext Logic for Semigroups of Contexts
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple
Combining Local Consistency, Symbolic Rewriting and Interval Methods
Herbrand Sequent Extraction
Reducing Expression Size Using Rule-Based Integration
Proviola: A Tool for Proof Re-animation
Data Types in Subdefinite Models
Digital Mathematics Libraries: The Good, the Bad, the Ugly
A Paraconsistent Higher Order Logic
Combining Computer Algebra and Rule Based Reasoning
Towards Understanding Triangle Construction Problems
Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints
A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans
A Combinator Language for Theorem Discovery
Symmetry and Search - A Survey
A Mathematical Model of the Competition between Acquired Immunity and Virus
What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds?
Integrating Multiple Sources to Answer Questions in Algebraic Topology
A Distance-Based Decision in the Credal Level
A Unified Formal Description of Arithmetic and Set Theoretical Data Types
An Expert System on Detection, Evaluation and Treatment of Hypertension
A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design
On Krawtchouk Transforms
An Evolutionary Local Search Method for Incremental Satisfiability
Dimensions of Formality: A Case Study for MKM in Software Engineering
A Proof Environment for Arithmetic with the Omega Rule
Specialty-Aware Task Assignment in Spatial Crowdsourcing
Machine Learning for Inductive Theorem Proving
Basic Operators for Solving Constraints via Collaboration of Solvers
The Planetary Project: Towards eMath3.0
Evidence Algorithm and System for Automated Deduction: A Retrospective View
On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra
Rational Conchoid and Offset Constructions: Algorithms and Implementation
Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus
A Query Language for Formal Mathematical Libraries
Making Conjectures about Maple Functions
A Global Workspace Framework for Combining Reasoning Systems
The Progress Towards an Intelligent Assistent - A Discussion Paper
Early Ending in Homotopy Path-Tracking for Real Roots
Effective Set Membership in Computer Algebra and Beyond
Enhanced Retrieval Effectiveness through Selective Query Generation
Handling implicit geographic evidence for geographic ir
Computational Approaches for Drug Repositioning: Towards a Holistic Perspective based on Knowledge Graphs
On the Thresholding Strategy for Infrequent Labels in Multi-label Classification
Towards bipartite graph data management
Network Aware Forecasting for eCommerce Supply Planning
Yes is Harder than No: A Behavioral Study of Framing Effects in Large Language Models Across Downstream Tasks
ML-1M++: MovieLens-Compatible Additional Preferences for More Robust Offline Evaluation of Sequential Recommenders
Black swan: augmenting statistics with event data
Towards an approach for knowledge-based road detection
An Appliance-Driven Approach to Detection of Corrupted Load Curve Data
Reference-Aligned Retrieval-Augmented Question Answering over Heterogeneous Proprietary Documents
Citation chain aggregation: an interaction model to support citation cycling
Term Selection and Result Reranking for Question Retrieval by Exploiting Hierarchical Classification
Unbiased Learning to Rank: Theory and Practice
Semantic tags generation and retrieval for online advertising
Mining tweets for tag recommendation on social media
A social recommendation framework based on multi-scale continuous conditional random fields
Tabularis Revilio: Converting Text to Tables
Revisiting Alternative Experimental Settings for Evaluating Top-N Item Recommendation Algorithms
Using Incremental Pruning to Increase the Efficiency of Dynamic Itemset Counting for Association Rules
Proceedings of the 2013 workshop on Automated knowledge base construction, AKBC@CIKM 13, San Francisco, California, USA, October 27-28, 2013
Improving information quality in email exchanges by identifying entities and related objects
A View-Adversarial Framework for Multi-View Network Embedding
USE-LTV: Customer LifeTime Value Prediction via Uncertain Sequence Modeling in Baidu Ads
Veracity Estimation for Entity-Oriented Search with Knowledge Graphs
RC-NET: A General Framework for Incorporating Knowledge into Word Representations
Knowledge Tracing Model with Learning and Forgetting Behavior
Handling RDF Streams: Harmonizing Subgraph Matching, Adaptive Incremental Maintenance, and Matching-free Updates Together
An interaction framework of service-oriented ontology learning
Modeling Knowledge Change Behaviors in Learning-related Tasks
Full-text citation analysis: enhancing bibliometric and scientific publication ranking
Question routing to user communities
Focusing Decomposition Accuracy by Personalizing Tensor Decomposition (PTD)
On Building Fair and Reusable Test Collections using Bandit Techniques
MAE4Rec: Storage-saving Transformer for Sequential Recommendations
A Model for Developing Large Shared Knowledge Bases
Adversarial Robustness through Bias Variance Decomposition: A New Perspective for Federated Learning
Learning Sparse Lexical Representations Over Specified Vocabularies for Retrieval
Workshop summary for the 2013 international workshop on mining unstructured big data using natural language processing
TiCCo: Time-Centric Content Exploration
NASE: : Learning Knowledge Graph Embedding for Link Prediction via Neural Architecture Search
M3-Net: A Cost-Effective Graph-Free MLP-Based Model for Traffic Prediction
Pricing guaranteed contracts in online display advertising
Safe-NORA: Safe Reinforcement Learning-based Mobile Network Resource Allocation for Diverse User Demands
On combining multiple clusterings
Efficient web matrix processing based on dual reordering
Clustering Recurrent and Semantically Cohesive Program Statements in Introductory Programming Assignments
TASE: a time-aware search engine
H-PRM: A Pluggable Hotword Pre-Retrieval Module for Various Speech Recognition Systems
Higher-order Clustering and Pooling for Graph Neural Networks
Understanding Characteristics of Biased Sentences in News Articles
How to Support Search Activity of Users Without Prior Domain Knowledge When They are Solving Learning Tasks?
Proceedings of the 2005 ACM workshop on Information retrieval in peer-to-peer networks, P2PIR '05, Bremen, Germany, November 4, 2005
Context-Aware Fine-Grained Graph RAG for Query-Focused Summarization
Towards Data Warehouse Design
Timeline adaptation for text classification
Enhancing the Robustness via Adversarial Learning and Joint Spatial-Temporal Embeddings in Traffic Forecasting
EasyFlinkCEP: Big Event Data Analytics for Everyone
A System for Time Series Feature Extraction in Federated Learning
StuffIE: Semantic Tagging of Unlabeled Facets Using Fine-Grained Information Extraction
ClinicalRisk: A New Therapy-related Clinical Trial Dataset for Predicting Trial Status and Failure Reasons
CADEminer: A System for Mining Consumer Reports on Adverse Drug Side Effects
Adversarial Separation Network for Cross-Network Node Classification
A Framework for Modeling Buffer Replacement Strategies
Who With Whom And How?: Extracting Large Social Networks Using Search Engines
An Intelligent Agent for High-Precision Text Filtering
Contrastive Disentangled Representation Learning for Debiasing Recommendation with Uniform Data
Web-based Startup Success Prediction
Every Word has its History: Interactive Exploration and Visualization of Word Sense Evolution
RankSVR: can preference data help regression?
AdaTrans: Adaptive Transfer Time Prediction for Multi-modal Transportation Modes
Storage Management for Knowledge Bases
Exploring Missing Interactions: A Convolutional Generative Adversarial Network for Collaborative Filtering
Degree relations of triangles in real-world networks and graph models
DAMe: Personalized Federated Social Event Detection with Dual Aggregation Mechanism
Proceeding of the 2nd ACM workshop on Improving Non English Web Searching, iNEWS 2008, Napa Valley, California, USA, October 30, 2008
Analytical Performance Modeling for Top-K Query Processing
Archiving the relaxed consistency web
Dual Interests-Aligned Graph Auto-Encoders for Cross-domain Recommendation in WeChat
Detecting offensive tweets via topical feature discovery over a large scale twitter corpus
Database support for species extraction from the biosystematics literature: a feasibility demonstration
Leveraging Local Structure for Improving Model Explanations: An Information Propagation Approach
Effective retrieval of resources in folksonomies using a new tag similarity measure
Diversity enhancement for collaborative filtering recommendation
Suggestion set utility maximization using session logs
KSG: Knowledge and Skill Graph
Knowledge Graph Representation Learning as Groupoid: Unifying TransE, RotatE, QuatE, ComplEx
DynSTGAT: Dynamic Spatial-Temporal Graph Attention Network for Traffic Signal Control
X-Vision: Explainable Image Retrieval by Re-Ranking in Semantic Space
TID Hash Joins
Spatio-Temporal Graph Convolutional and Recurrent Networks for Citywide Passenger Demand Prediction
From Post To Personality: Harnessing LLMs for MBTI Prediction in Social Media
When Structure Meets Keywords: Cohesive Attributed Community Search
Efficient and Secure Contribution Estimation in Vertical Federated Learning
LRHNE: A Latent-Relation Enhanced Embedding Method for Heterogeneous Information Networks
Pseudo relevance feedback using semantic clustering in relevance language model
Integrating web-based intelligence retrieval and decision-making from the twitter trends knowledge base
Question Answering using Web Lists
Diversifying search results of controversial queries
Feature-based models for improving the quality of noisy training data for relation extraction
Predicting primary categories of business listings for local search
Location-Aware Named Entity Disambiguation
Negative FaceBlurring: A Privacy-by-Design Approach to Visual Lifelogging with Google Glass
Mitigating Latent Confounding Bias in Recommender Systems
Scalable Causal Graph Learning through a Deep Neural Network
Multi-View Time Series Classification: A Discriminative Bilinear Projection Approach
A probabilistic topic-connection model for automatic image annotation
Meta-Adaptive Network for Effective Cold-Start Recommendation via Warm-Aware Representation Learning
KuaiRand: An Unbiased Sequential Recommendation Dataset with Randomly Exposed Videos
Keyword-based k-nearest neighbor search in spatial databases
Good Intentions: Adaptive Parameter Management via Intent Signaling
GongBu: Easily Fine-tuning LLMs for Domain-specific Adaptation
A partially supervised cross-collection topic model for cross-domain text classification
From Bicliques to BiFlexi Cliques: A New Era of Bipartite Subgraph Discovery
Proceedings of the 19th ACM Conference on Information and Knowledge Management, CIKM 2010, Toronto, Ontario, Canada, October 26-30, 2010
Predicting Guiding Entities for Entity Aspect Linking
Multimodal Knowledge Graph for Deep Learning Papers and Code
Processing information intent via weak labeling
An Interactive Mechanism to Improve Question Answering Systems via Feedback
DEADLINER: Building a New Niche Search Engine
Modeling Infinite Topics on Social Behavior Data with Spatio-temporal Dependence
Spatiotemporal Swin-Transformer Network for Short Time Weather Forecasting
GraRep: Learning Graph Representations with Global Structural Information
Task Embeddings: Learning Query Embeddings using Task Context
A formal characterization of PIVOT/UNPIVOT
A syntactic approach for searching similarities within sentences
Representing documents with named entities for story link detection (SLD)
SNIF TOOL: sniffing for patterns in continuous streams
Mining frequent itemsets in time-varying data streams
Measuring Software Security Using Improved CWE Base Score
Collaborating between Local and Global Learning for Distributed Online Multiple Tasks
Fast and Accurate PARAFAC2 Decomposition for Time Range Queries on Irregular Tensors
CSMD: Curated Multimodal Dataset for Chinese Stock Analysis
Towards automatic association of relevant unstructured content with structured query results
Trajectory queries and octagons in moving object databases
Learning to Match Heterogeneous Structures using Partially Labeled Data
On the connections between explicit semantic analysis and latent semantic analysis
Constructing query-specific knowledge bases
Decoupled Hyperbolic Graph Attention Network for Modeling Substitutable and Complementary Item Relationships
SmartHash: Perceptual Hashing for Image Tampering Detection and Authentication
Combining structural and citation-based evidence for text classification
Leveraging Social Connections to Improve Personalized Ranking for Collaborative Filtering
ONTOCUBE: efficient ontology extraction using OLAP cubes
Competitive Game Designs for Improving the Cost Effectiveness of Crowdsourcing
Collaborative exploratory search in real-world context
Query Processing for Knowledge Bases Using Join Indices
Fairness through Aleatoric Uncertainty
Do LLMs Dream of Electric Emotions? Towards Quantifying Metacognition and Generalizing the Teacher-Student Model Using Ensembles of LLMs
Adjusting the Performance of an Information Retrieval System
Bridging Knowledge Gaps in LLMs via Function Calls
Data Replication for External Searching in Static Tree Structures
Clustering the topics using TF-IDF for model fusion
CTCam: Enhancing Transportation Evaluation through Fusion of Cellular Traffic and Camera-Based Vehicle Flows
Scalable Facility Location for Massive Graphs on Pregel-like Systems
Discovery of Decision Rules in Relational Databases: A Rough Set Approach
Explicit Preference Elicitation for Task Completion Time
A Learning-path based Supervised Method for Concept Prerequisite Relations Extraction in Educational Data
Defining isochrones in multimodal spatial networks
UrbanFloodKG: An Urban Flood Knowledge Graph System for Risk Assessment
Metacrate: Organize and Analyze Millions of Data Profiles
The Semantic Matrix Model (SMM): A Knowledge Based Solution to Semantic Homogeneity in Multidatabases
Behavioral Dynamics from the SERP's Perspective: What are Failed SERPs and How to Fix Them?
Multi-Aggregator Time-Warping Heterogeneous Graph Neural Network for Personalized Micro-Video Recommendation
Exploiting longer cycles for link prediction in signed networks
Weakly-supervised discovery of named entities using web search queries
Hypergraph Random Walks, Laplacians, and Clustering
Patient-centric, multi-role, and multi-dimension information exploration on online healthcare forums
S3-Rec: Self-Supervised Learning for Sequential Recommendation with Mutual Information Maximization
Probabilistic Financial Community Models with Latent Dirichlet Allocation for Financial Supply Chains
Planes, Trains and Automobiles: Leverage Multimodal In-Mission Signals for Shopping Journeys
Weaving Text into Tables
Mitigating Exposure Bias in Online Learning to Rank Recommendation: A Novel Reward Model for Cascading Bandits
Vandalism Detection in OpenStreetMap via User Embeddings
External perfect hashing for very large key sets
Query suggestion using hitting time
DAE: Distribution-Aware Embedding for Numerical Features in Click-Through Rate Prediction