Sciweavers

2293 search results - page 115 / 459
» Temporal Logic in Information Systems
Sort
View
DAMON
2008
Springer
14 years 11 months ago
Avoiding version redundancy for high performance reads in temporal databases
A major performance bottleneck for database systems is the memory hierarchy. The performance of the memory hierarchy is directly related to how the content of disk pages maps to t...
Khaled Jouini, Geneviève Jomier
SIGIR
1998
ACM
15 years 2 months ago
DOLORES: A System for Logic-Based Retrieval of Multimedia Objects
We describe the design and implementation of a system for logic-based multimedia retrieval. As highlevel logic for retrieval of hypermedia documents, we have developed a probabilis...
Norbert Fuhr, Norbert Gövert, Thomas Röl...
EXACT
2008
15 years 8 days ago
A Temporal Abductive Diagnostic Process for Runtime Properties Violations
The monitoring of properties of complex software systems can provide the core functionality for detecting violations of such properties. However, the violations detection cannot be...
Theocharis Tsigkritis, George Spanoudakis
CORIA
2010
14 years 5 months ago
Spatio-Temporal Modeling for Knowledge Discovery in Satellite Image Databases
Knowledge discovery from satellite images in spatio-temporal context remains one of the major challenges in the remote sensing field. It is, always, difficult for a user to manuall...
Wadii Boulila, Imed Riadh Farah, Karim Saheb Ettab...
ICASSP
2011
IEEE
14 years 1 months ago
Automatic music tagging via PARAFAC2
Automatic music tagging is addressed by resorting to auditory temporal modulations and Parallel Factor Analysis 2 (PARAFAC2). The starting point is to represent each music recordi...
Yannis Panagakis, Constantine Kotropoulos