796 search results - page 48 / 160 » A Formalization of ODMG Queries |
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
ISI
2004
Springer
15 years 5 months ago
2004
Springer
Counterterrorism and intelligence tasks rely on the efficient collection, analysis and dissemination of information. While information systems play a key role in such tasks, databa...
VLDB
2001
ACM
15 years 4 months ago
2001
ACM
We propose multi-precision similarity matching where the image is divided into a number of subblocks, each with its associated color histogram. We present experimental results sho...
BPM
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. We address cross-organizational workflows, such as document workflows, which consist of multiple workflow modules each of which can interact with others by sending and re...
SIGIR
2002
ACM
14 years 11 months ago
2002
ACM
We propose a formal model of Cross-Language Information Retrieval that does not rely on either query translation or document translation. Our approach leverages recent advances in...