87 search results - page 8 / 18 » PRECISE on ATIS: Semantic Tractability and Experimental Resu... |
IFIP
2004
Springer
14 years 3 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
APWEB
2008
Springer
13 years 10 months ago
2008
Springer
As a sequence of two or more consecutive individual words inherent with contextual semantics of individual words, multi-word attracts much attention from statistical linguistics an...
NLE
2010
13 years 8 months ago
2010
In this article, we present a comprehensive study aimed at computing semantic relatedness of word pairs. We analyze the performance of a large number of semantic relatedness measu...
ICIAR
2007
Springer
14 years 3 months ago
2007
Springer
This paper introduces a composite relevance feedback approach for image retrieval using transaction-based and SVM-based learning. A transaction repository is dynamically constructe...
TKDE
2008
13 years 9 months ago
2008
A major problem of current Web search is that search queries are usually short and ambiguous, and thus are insufficient for specifying the precise user needs. To alleviate this pro...