1867 search results - page 49 / 374 » Model-Checking Based Data Retrieval |
SIGIR
2006
ACM
15 years 5 months ago
2006
ACM
Combining the output from multiple retrieval sources over the same document collection is of great importance to a number of retrieval tasks such as multimedia retrieval, web retr...
122
click to vote
TLSDKCS
2010
14 years 6 months ago
2010
Abstract. With increasing volumes of data, much effort has been devoted to finding the most suitable answer to an information need. However, in many domains, the question whether a...
104
click to vote
ACSW
2004
15 years 1 months ago
2004
Self-organised maps (SOM) have been widely used for cluster analysis and visualisation purposes in exploratory data mining. In image retrieval applications, SOMs have been used to...
122
click to vote
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
101
click to vote
JSW
2007
14 years 11 months ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...