1867 search results - page 6 / 374 » Model-Checking Based Data Retrieval |
ECIR
1998
Springer
1998
Springer
Independence of Contributing Retrieval Strategies in Data Fusion for Effective Information Retrieval
13 years 8 months ago
: In information retrieval, data fusion is a technique for combining the outputs of more than one retrieval strategy which rank documents for retrieval. One of the observations oft...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
EUROMICRO
2007
IEEE
13 years 9 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
COMSIS
2010
13 years 4 months ago
2010
A retrieval method for human Mocap (Motion Capture) data based on biomimetic pattern recognition is presented in this paper. BVH rotation channels are extracted as features of moti...
GISCIENCE
2008
Springer
13 years 8 months ago
2008
Springer
While similarity has gained in importance in research about information retrieval on the (geospatial) semantic Web, information retrieval paradigms and their integration into exist...