yusuke1997/dblp-id-title huggingface dataset:
Interaction between Path and Type Constraints
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Chicago, IL, USA, May 14-19, 2017
The Expressive Powers of the Logic Programming Semantics
Query Evaluation under the Well Founded Semantics
Index-based multidimensional array queries: safety and equivalence
Marrying words and trees
Provenance for aggregate queries
Towards Practical Constraint Databases
Universal Finiteness and Satisfiability
Bottom-Up Beats Top-Down for Datalog
Relative Serializbility: An Approach for Relaxing the Atomicity of Transactions
The Complexity of Counting Cycles in the Adjacency List Streaming Model
An Approach to Eliminate Transaction Blocking in Locking Protocols
Logic Programming With Sets
Consistent Query Answering for Primary Keys on Path Queries
Private Multiplicative Weights Beyond Linear Queries
Probabilistic Databases under Updates: Boolean Query Evaluation and Ranked Enumeration
Parallel Algorithms for Constructing Range and Nearest-Neighbor Searching Data Structures
Inverting schema mappings
Extended Path Expressions for XML
Size and treewidth bounds for conjunctive queries
2022 ACM PODS Alberto O. Mendelzon Test-of-Time Award
Computational Thinking, Inferential Thinking and "Big Data"
Regular rewriting of active XML and unambiguity
Schema design for XML repositories: complexity and tractability
Information Dependencies
Differentially Private Data Release over Multiple Tables
Better Differentially Private Approximate Histograms and Heavy Hitters using the Misra-Gries Sketch
Linguistic foundations for bidirectional transformations: invited tutorial
The Complexity of Reusing and Modifying Rulebases
Performance Analysis of File Organizations that Use Multi-Bucket Data Leaves with Partial Expansions
A Generalized Transitive Closure for Relational Queries
Implementing Deductive Databases by Linear Programming
Conjunctive Queries over Trees
Safety and Translation of Calculus Queries with Scalar Functions
The Communication Complexity of Distributed Set-Joins with Applications to Matrix Multiplication
The U. R. Strikes Back
Query evaluation with soft-key constraints
Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying
The dichotomy of conjunctive queries on probabilistic structures
The finite model theory toolbox of a database theoretician
Determining the currency of data
Comparing and Aggregating Rankings with Ties
The ACM PODS Alberto O. Mendelzon test-of-time-award 2009
Does query evaluation tractability help query containment?
Efficient and Provable Multi-Query Optimization
On the Complexity of Inner Product Similarity Join
View-Based Query Processing for Regular Path Queries with Inverse
Continuous distributed counting for non-monotonic streams
Using LDAP Directory Caches
Conjunctive-Query Containment and Constraint Satisfaction
Conjunctive Query Equivalence of Keyed Relational Schemas
Rewriting Queries Using Views in Description Logics
Hypothetical Datalog: Negation and Linear Recursion
Enumeration for FO Queries over Nowhere Dense Graphs
Deciding Containment for Queries with Complex Objects
A Framework for the Performance Analysis of Concurrent B-tree Algorithms
Answering Conjunctive Queries under Updates
Partition Semantics for Relations
Data exchange: computing cores in polynomial time
An information-theoretic approach to normal forms for relational and XML data
A Discipline for Robustness or Storage Reduction in Binary Search Trees
Compiling Existential Positive Queries to Bounded-Variable Fragments
Efficient Evaluation and Approximation of Well-designed Pattern Trees
On the Optimality of Strategies for Multiple Joins
Solving a Special Case of the Intensional vs Extensional Conjecture in Probabilistic Databases
Space-efficient range reporting for categorical data
On Equivalences of Database Schemes
XPath, transitive closure logic, and nested tree walking automata
Counting Problems over Incomplete Databases
Multi-Level Recovery
Testability of Homomorphism Inadmissibility: Property Testing Meets Database Theory
Deterministic k-set structure
Diagnosis of asynchronous discrete event systems: datalog to the rescue!
On the Semantics of Updates in Databases
Proceedings of the ACM Symposium on Principles of Database Systems, March 29-31, 1982, Los Angeles, California, USA
Balanced Multidimensional Extendible Hash Tree
J-Logic: Logical Foundations for JSON Querying
Indexability of 2D range search revisited: constant redundancy and weak indivisibility
On the Decidability of Query Containment under Constraints
Counting solutions to conjunctive queries: structural and hybrid tractability
Counting Methods for Cyclic Relations
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment
An Enhanced Inference Mechanism for Generating Relational Algebra Queries
Distributed XML design
On reconciling data exchange, data integration, and peer data management
Compatible Attributes in a Universal Relation
Space-Time Tradeoffs for Conjunctive Queries with Access Patterns
Containment for Rule-Based Ontology-Mediated Queries
Expressive languages for querying the semantic web
When is naive evaluation possible?
A Framework for Comparison of Update Semantics
2-3 Cuckoo Filters for Faster Triangle Listing and Set Intersection
Static Analysis of Graph Database Transformations
Towards Tractable Algebras for Bags
Data Base Design Principles for Striping and Placement of Delay-Sensitive Data on Disks
Composing Schema Mappings: Second-Order Dependencies to the Rescue
Skyline Queries with Noisy Comparisons
Optimal Differentially Private Algorithms for k-Means Clustering
On Two-Dimensional Indexability and Optimal Range Search Indexing
Classification of annotation semirings over query containment
Equivalences among Aggregate Queries with Negation
Regular Path Queries with Constraints
Real-Time Integrity Constraints
Reconciling Graphs and Sets of Sets
Dynamic Data Structures for Document Collections and Graphs
A Framework for Adversarially Robust Streaming Algorithms
BPTree: An ℓ 2 Heavy Hitters Algorithm Using Constant Memory
Bounded Query Rewriting Using Views
Polynomial time fragments of XPath with variables
Least Expected Cost Query Optimization: An Exercise in Utility
A rule-based language for web data management
The ACM PODS Alberto O. Mendelzon test-of-time-award 2010
Point vs. Interval-based Query Languages for Temporal Databases
Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015
Multi-structural databases
Load Control for Locking: The 'Half-and-Half' Approach
Correctness in General Configurations of Transactional Components
Datalog Unchained
On the Complexity of Approximate Query Optimization
Semantics and Expressiveness Issues in Active Databases
The Relational Model of Data and Cylindrial Algebras
Semistructured Data
Decidability and Undecidability Results for the Termination Problem of Active Database Rules
Computing Join Queries with Functional Dependencies
Estimating statistical aggregates on probabilistic data streams
Analysis of Bounded Disorder File Organization
Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 9-12, 2003, San Diego, CA, USA
A Query Language for a Homogeneous Temporal Database
Fast Manhattan sketches in data streams
Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania, USA
On Finite FD-Acyclicity
Hybrid Concurrency Control for Abstract Data Types
Multiple Join Size Estimation by Virtual Domains
Schema Validation via Streaming Circuits
Relational Expressive Power of Constraint Query Languages
Workflow, Transactions, and Datalog
Equivalence of Views by Query Capacity
Dependencies revisited for improving data quality
Decision trees for entity identification: approximation algorithms and hardness results
A Theory of Data Dependencies over Relational Expressions
On the optimality of clustering properties of space filling curves
Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee, USA
Procedural and Declarative Database Update Languages
Operation Specific Locking in B-Trees
Compressed Representations of Conjunctive Query Results
Horn Tables - An Efficient Tool for Handling Incomplete Information in Databases
Query Evaluation in Election Databases
Maintaining variance and k-medians over data stream windows
The Power of Sampling in Knowledge Discovery
(Almost) Optimal Parallel Block Access for Range Queries
Reliable Scheduling of Database Transactions for Unreliable Systems
The Complexity of Ordering Subgoals
AJAR: Aggregations and Joins over Annotated Relations
Analyzing workflows implied by instance-dependent access rules
Coloring in Graph Streams via Deterministic and Adversarially Robust Algorithms
On the Content of Materialized Aggregate Views
The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2025
A New Framework For Itemset Generation
Temporal Versus First-Order Logic to Query Temporal Databases
Principles of dataspace systems
Defining Relations on Graphs: How Hard is it in the Presence of Node Partitions?
On Join Sampling and the Hardness of Combinatorial Output-Sensitive Join Algorithms
On Top-k Range Reporting in 2D Space
Deciding Equivalences Among Aggregate Queries
Constraints and Redundancy in Datalog
On XPath with transitive axes and data tests
Greedy by Choice
Type Systems for Querying Class Hierarchies with Non-strict Inheritance
On Propagation of Deletions and Annotations Through Views
Towards an Analysis of Range Query Performance in Spatial Data Structures
Verification of relational data-centric dynamic systems with external services
Test Data for Relational Queries
A Lower Bound Theorem for Indexing Schemes and Its Application to Multidimensional Range Queries
Linearizing Nonlinear Recursions in Polynomial Time
An Algorithm for Ordering Subgoals in NAIL!
Containment and Minimization of Positive Conjunctive Queries in OODB's
Data-value Partitioning and Virtual Messages
GraphLog: a Visual Formalism for Real Life Recursion
An optimal algorithm for the distinct elements problem
Linear Approximation of Planar Spatial Databases Using Transitive-Closure Logic
Revealing information while preserving privacy
Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems
Flow algorithms for two pipelined filter ordering problems
Answering Queries Using Views with Arithmetic Comparisons
The Impact of Negation on the Complexity of the Shapley Value in Conjunctive Queries
Optimizing Existential Datalog Queries
Logic Based Modeling and Analysis of Workflows
Querying graph patterns
Are Window Queries Representative for Arbitrary Range Queries?
Relaxed Multi-Way Trees with Group Updates
Object Projection Views in the Dynamic Relational Model
Capturing missing tuples and missing values
Relations with Relation Names as Arguments: Algebra and Calculus
Complexity Aspects of Various Semantics for Disjunctive Databases
Sketching unaggregated data streams for subpopulation-size queries
Query-preserving watermarking of relational databases and XML documents
Path Constraints in Semistructured and Structured Databases
Functional and Inclusion Dependencies: A Graph Theoretic Approach
Can Constant-time Maintainability Be More Practical?
Testing Complex Temporal Relationships Involving Multiple Granularities and Its Application to Data Mining
Space Lower Bounds for Itemset Frequency Sketches
Rewriting of Regular Expressions and Regular Path Queries
Hierarchical Database Decomposition - A Technique for Database Concurrency Control
Auditing Boolean Attributes
Transducing Markov sequences
On the Parameterized Complexity of Learning First-Order Logic
Deriving Constraints Among Argument Sizes in Logic Programs
Canonical View Update Support through Boolean Algebras of Components
Multiobjective Query Optimization
Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 29-31, 1991, Denver, Colorado, USA
Variance estimation over sliding windows
A Decomposition-Based Simulated Annealing Technique for Data Clustering
Buffering in query evaluation over XML streams
Is Distributed Locking Harder?
The Tree Property is Fundamental for Query Processing
On Lossless Transformation of Database Schemes not Necessarily Satisfying Universal Instance Assumption
Performance Evaluation of a Two-Phase Commit Based Protocol for DDBS
Tractable Lineages on Treelike Instances: Limits and Extensions
Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP
Transaction Synchronisation in Object Bases
External Memory Stream Sampling
Benchmarking the Chase
The Revenge of the JD
Estimating PageRank on graph streams
A Semantic Approach to Correctness of Concurrent Transaction Executions
On the Effects of Dimensionality Reduction on High Dimensional Similarity Search
Atomicity with Incompatible Presumptions
Accessing Information from Globally Distributed Knowledge Repositories
Semantic Complexity of Classes of Relational Queries and Query Independent Data Partitioning
Blocking for External Graph Searching
Approximately Counting Answers to Conjunctive Queries with Disequalities and Negations
Extended Commitment Ordering or Guaranteeing Global Serializability by Applying Commitment Order Selectivity to Global Transactions
A Theory of Regular Queries
The impact of the constant complement approach towards view updating
Symmetric Weighted First-Order Model Counting
Expressiveness within Sequence Datalog
Bounded Ignorance in Replicated Systems
Conjunctive Queries on Probabilistic Graphs: Combined Complexity
Characterizing schema mappings via data examples
Algebraic Versus Probabilistic Independence in Data Bases
Tree-width and functional dependencies in databases
Computing Optimal Repairs for Functional Dependencies
Optimal Response Time Retrieval of Replicated Data
Database Method Schemas and Object Creation
Towards a Theory of Spatial Database Queries
Static Analysis of Intensional Databases in U-Datalog
Functional Database Query Languages as Typed Lambda Calculi of Fixed Order
On the complexity of package recommendation problems
Locally Consistent Transformations and Query Answering in Data Exchange
View-based query containment
Foundations of data-aware process analysis: a database theory perspective
Tables as a Paradigm for Querying and Restructuring
Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2012, Scottsdale, AZ, USA, May 20-24, 2012
Unstructured Data Bases or Very Efficient Text Searching
Structural Query Optimization - A uniform Framework for Semantic Query Optimization in Deductive Databases
Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints
A Mean Value Performance Model for Locking in Databases: The Waiting Case
2016 ACM PODS Alberto O. Mendelzon Test-of-Time Award
Fair Near Neighbor Search: Independent Range Sampling in High Dimensions
Semantic acyclicity on graph databases
Node-Differentially Private Estimation of the Number of Connected Components
Distance-Sensitive Hashing
Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota, USA
Foundations of schema mapping management
Active Learning of GAV Schema Mappings
The Complexity of Regular Trail and Simple Path Queries on Undirected Graphs
Static analysis and optimization of semantic web queries
Formal Data Base Specification - An Eclectic Perspective
Approximation Algorithms on Matrices - With Some Database Applications!
Space- and time-efficient deterministic algorithms for biased quantiles over data streams
On the Design and Quantification of Privacy Preserving Data Mining Algorithms
Attribute Agreement
Querying Graph Data: Where We Are and Where To Go
Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies
Enhancements to the LOCOSmotion Person Tracking System
Multisensor Data Fusion for Activity Recognition Based on Reservoir Computing
Mobile Robot Platform to track User Movement and Behaviour
Radio Tomographic Imaging for Ambient Assisted Living
Locating Technology for AAL Applications with Direction Finding and Distance Measurement by Narrow Bandwidth Phase Analysis
Indoor Localization Based on Resonant Oscillating Magnetic Fields for AAL Applications
Indoor Localization and Tracking Using 802.11 Networks and Smartphones
Visual Experience for Recognising Human Activities
An Activity Recognition System for Ambient Assisted Living Environments
Precision Indoor Objects Positioning Based on Phase Measurements of Microwave Signals
Evaluating Human Activity Recognition Systems for AAL Environments
The iLoc+ Ultrasound Indoor Localization System for AAL Applications at EvAAL 2012
Human Behavior Recognition by a Mobile Robot Following Human Subjects
A GPS/Wi-Fi/Marker Analysis Based Simultaneous and Hierarchical Multi-Positioning System
The iLoc Ultrasound Indoor Localization System at the EvAAL 2011 Competition
Evaluating AAL Systems Through Competitive Benchmarking - International Competitions and Final Workshop, EvAAL 2013, Spain, Valencia, July 8-12, 2013 and Norrköping, Sweden, September 24-26, 2013. Proceedings
EvAAL, Evaluating AAL Systems through Competitive Benchmarking, the Experience of the 1st Competition
RealTrac Technology Overview
Indoor Position System Based on a Zigbee Network
Towards a Reusable Design of a Positioning System for AAL Environments
The Smart-CondoTMInfrastructure and Experience
Open Source OwlPS 1.3: Towards a Reactive Wi-Fi Positioning System Sensitive to Dynamic Changes
CapFloor - A Flexible Capacitive Indoor Localization System
AmbiTrack - Marker-free Indoor Localization and Tracking of Multiple Users in Smart Environments with a Camera-based Approach
Evaluating Indoor Localization Systems for AAL Environments
Indoor Localization of Persons in AAL Scenarios Using an Inertial Measurement Unit (IMU) and the Signal Strength (SS) from RFID Tags
Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking - International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers
Efficient Activity Recognition and Fall Detection Using Accelerometers
LOCOSmotion: An Acceleration-Assisted Person Tracking System Based on Wireless LAN
Human Activity Recognition Based on Multiple Kinects
Activity Recognition System Using Non-intrusive Devices through a Complementary Technique Based on Discrete Methods
Activity Recognition System Using AMEVA Method
An Improved Saliency for RGB-D Visual Tracking and Control Strategies for a Bio-monitoring Mobile Robot
The n-Core Polaris Real-Time Locating System at the EvAAL Competition
Comparing AAL Indoor Localization Systems
OwlPS: A Self-calibrated Fingerprint-Based Wi-Fi Positioning System
Evaluating AAL Systems Through Competitive Benchmarking - International Competitions and Final Workshop, EvAAL 2012, Madrid + Valencia, Spain, July 2012 and Eindhoven, The Netherlands, September 2012. Revised Selected Papers
Learning features and their transformations from natural videos
Statistical hypothesis testing for chemical detection in changing environments
An adaptive strategy for updating the memory in Evolutionary Algorithms for dynamic optimization
Trusted learner: An improved algorithm for trusted incremental function approximation
Co-evolutionary learning in the n-choice iterated prisoner's dilemma with PSO algorithm in a spatial environment
Dynamic significant feature extraction for embedded intelligent agent implementations
Similarity-based evolution control for fitness estimation in particle swarm optimization
Recurrent neural network ensembles for convergence prediction in surrogate-assisted evolutionary optimization
An incremental approach for updating approximations of rough fuzzy set under the variation of attribute values
Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Dynamic and Uncertain Environments, CIDUE 2013, IEEE Symposium Series on Computational Intelligence (SSCI), 16-19 April 2013, Singapore
A framework of scalable dynamic test problems for dynamic multi-objective optimization
Issues with performance measures for dynamic multi-objective optimisation
Discounted expert weighting for concept drift
Theoretical and empirical analysis of diversity in non-stationary learning
Surrogate enhanced interactive genetic algorithm with weighted Gaussian process
Hellinger distance based drift detection for nonstationary environments
Takeover time in dynamic optimization problems
iFAST: An Intelligent Fire-Threat Assessment and Size-up Technology for first responders
Neuron clustering for mitigating catastrophic forgetting in feedforward neural networks
A modular technique for monthly rainfall time series prediction
LDCnet: Minimizing the cost of supervision for various types of concept drift
Evolutionary algorithms for bid-based dynamic economic load dispatch: A large-scale test case
Benchmarks for dynamic multi-objective optimisation
2011 IEEE Symposium on Computational Intelligence in Dynamic and Uncertain Environments, CIDUE 2011, Paris, France, April 13, 2011
Multi-colony ant algorithms for the dynamic travelling salesman problem
2014 IEEE Symposium on Computational Intelligence in Dynamic and Uncertain Environments, CIDUE 2014, Orlando, FL, USA, December 9-12, 2014
Real-world dynamic optimization using an adaptive-mutation compact genetic algorithm
A Bayesian network model for evacuation time analysis during a ship fire
Analysis of hyper-heuristic performance in different dynamic environments
Performance evaluation of sensor-based detection schemes on dynamic optimization problems
Ant colony optimization with self-adaptive evaporation rate in dynamic environments
Short-term wind speed forecasting using Support Vector Machines
Diagnosis of software erosion through fuzzy logic
A memetic algorithm for dynamic economic load dispatch optimization
Genetic algorithms with elitism-based immigrants for dynamic load balanced clustering problem in mobile ad hoc networks
Using Classification and Visualization on Pattern Databases for Gene Expression Data Analysis
Proceedings of the Intl. Workshop on Pattern Representation and Management, Heraklion, Greece, March 18, 2004, PaRMa 2004 was held in conjunction with the 9th Int. Conference on Extending Database Technology (EDBT 2004)
Pattern management challenges
The Notion of Similarity in Data and Pattern Spaces
Fuzzy Miner - A Fuzzy System for Solving Pattern Classification Problems
Identifying Most Predictive Items
Towards a Language for Pattern Manipulation and Querying
PatManQL: A Language to Manipulate Patterns and Data in Hierarchical Catalogs
A Framework for the Comparison of Complex Patterns
UML-based Conceptual Modeling of Pattern-Bases
Finding Spatial Patterns in Network Data
FPGA Implementation of the AES Algorithm with Lightweight LFSR-Based Approach and Optimized Key Expansion
Efficiency of Zero-Knowledge Proofs: A Through Review and Analysis
Approach to Post Quantum Cryptography Validation
Lightweight Certificate-less Digital Signature Scheme for WSNs
XML wrapping attack mitigation using positional token
Cryptographic Validation of Lightweight Block ciphers and Hash Functions
FPGA based High Throughput Substitution Box Architectures for Lightweight Block Ciphers
Distributed Estimation Based Public Key Infrastructure for In-Vehicle Network Security
IEEE International Conference on Public Key Infrastructure and its Applications, PKIA 2024, Bangalore, India, September 5-6, 2024
An ECC based Anonymous Authentication Protocol for Internet of Things
IEEE International Conference on Public Key Infrastructure and its Applications, PKIA 2022, Bangalore, India, September 9-10, 2022
Design and implementation of IP core for RoadRunneR-128 block cipher
An enhanced secure authentication scheme with user anonymity in mobile cloud computing
A hybrid hyperchaotic based dynamic keystream generator using perturbance process for public key infrastructure application
A Study of PKI Ecosystem in South Asian and Oceania Countries