Termination and confluence by rule prioritization
Uniform techniques for deriving similarities of objects and subschemes in heterogeneous databases
Object-based directional query processing in spatial databases
Toward an accurate analysis of range queries on spatial data
Mining optimized gain rules for numeric attributes
A new temporal pattern identification method for characterization and prediction of complex time series events
Synthesizing high-frequency rules from different data sources
Binding propagation techniques for the optimization of bound disjunctive queries
Static analysis of logical languages with deferred update semantics
Model and algorithm for efficient verification of high-assurance properties of real-time systems
Detecting and representing relevant Web deltas in WHOWEDA
Determining semantic similarity among entity classes from different ontologies
Fuzzy rule base systems verification using high-level Petri nets
Performance analysis of location-dependent cache invalidation schemes for mobile environments
Symbolic user-defined periodicity in temporal relational databases
Converting a fuzzy data model to an object-oriented design for managing GIS data files