The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Fast text searching: allowing errors
Communications of the ACM
Fast subsequence matching in time-series databases
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Elements of the Theory of Computation
Elements of the Theory of Computation
Similarity based retrieval from sequence databases using automata as queries
Proceedings of the eleventh international conference on Information and knowledge management
Temporal Triggers in Active Databases
IEEE Transactions on Knowledge and Data Engineering
Efficient Similarity Search In Sequence Databases
FODO '93 Proceedings of the 4th International Conference on Foundations of Data Organization and Algorithms
Similarity Based Retrieval of Videos
ICDE '97 Proceedings of the Thirteenth International Conference on Data Engineering
History-less Checking of Dynamic Integrity Constraints
Proceedings of the Eighth International Conference on Data Engineering
SPIRIT: Sequential Pattern Mining with Regular Expression Constraints
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Composite Event Specification in Active Databases: Model & Implementation
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Reasoning about infinite computation paths
SFCS '83 Proceedings of the 24th Annual Symposium on Foundations of Computer Science
Hi-index | 0.01 |
Similarity based retrieval is of major importance for querying sequence databases. We consider formalisms based on automata, temporal logics and regular expressions for querying such databases. We define two different types of similarity measures--syntax based and semantics based. These measures are divided into a spectrum of measures based on the vector distance function that is employed. We consider norm vector distance functions and give efficient query processing algorithms when these measures are employed.