3207 search results - page 451 / 642 » A Semantics for HTN Methods |
163
click to vote
PREMI
2009
Springer
16 years 28 days ago
2009
Springer
Content based image retrieval (CBIR) has been well studied in the computer vision and multimedia community. Content free image retrieval (CFIR) methods, and their complementary cha...
165
click to vote
ISSTA
2009
ACM
16 years 27 days ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
127
click to vote
SIGIR
2009
ACM
16 years 27 days ago
2009
ACM
Recently a number of studies have demonstrated that search engine logfiles are an important resource to determine the relevance relation between URLs and query terms. We hypothes...
185
click to vote
GPC
2010
Springer
16 years 27 days ago
2010
Springer
Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future. The focus of recent work is either on (a) expre...
140
click to vote
CSSE
2008
IEEE
16 years 26 days ago
2008
IEEE
Instruction-Set Simulators (ISS) are indispensable tools for studying new architectures. There are several alternatives to achieve instruction set simulation, such as interpretive...