1867 search results - page 39 / 374 » Model-Checking Based Data Retrieval |
119
click to vote
IJCNLP
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, a series of window-based methods is proposed for information retrieval. Compared with traditional tf-idf model, our approaches are based on two new key notions. The ...
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
The ability to identify particular features and structures, such as faces or types of scenery in images, is a topic with many available applications and potential solutions. In th...
126
click to vote
CSFW
2002
IEEE
15 years 4 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
104
click to vote
ERCIMDL
2007
Springer
15 years 6 months ago
2007
Springer
Modern digital music libraries contain textual, visual, and audio data describing music on various semantic levels. Exploiting the availability of different semantically interrela...
106
click to vote
SIGIR
1999
ACM
15 years 4 months ago
1999
ACM
A content-based retrieval model for tackling the mismatch problems specific to music data is proposed and implemented. The system uses a pitch profile encoding for queries in any ...