Sciweavers

27756 search results - page 220 / 5552
» Process Query Systems
Sort
View
TACAS
2007
Springer
165views Algorithms» more  TACAS 2007»
15 years 9 months ago
Multi-objective Model Checking of Markov Decision Processes
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Va...
DAWAK
2005
Springer
15 years 8 months ago
Processing Sequential Patterns in Relational Databases
Database integration of data mining has gained popularity and its significance is well recognized. However, the performance of SQL based data mining is known to fall behind specia...
Xuequn Shang, Kai-Uwe Sattler
CLEF
2004
Springer
15 years 8 months ago
FIRE - Flexible Image Retrieval Engine: ImageCLEF 2004 Evaluation
In this paper we present FIRE, a content-based image retrieval system and the methods we used in the ImageCLEF 2004 evaluation. In FIRE, different features are available to repre...
Thomas Deselaers, Daniel Keysers, Hermann Ney
VLDB
1992
ACM
120views Database» more  VLDB 1992»
15 years 7 months ago
An Information-Retrieval Approach for Image Databases
The retrieval process in image database systems is inherently different from the retrieval processin traditional (recordoriented)databasesystems.While thelatter canbe consideredan...
Fausto Rabitti, Pasquale Savino
ACL
2006
15 years 4 months ago
On-Demand Information Extraction
At present, adapting an Information Extraction system to new topics is an expensive and slow process, requiring some knowledge engineering for each new topic. We propose a new par...
Satoshi Sekine