2218 search results - page 239 / 444 » Testing Expressibility Is Hard |
EDOC
2003
IEEE
15 years 6 months ago
2003
IEEE
The expression of contracts in computer readable form, and the development of automated tests for completeness and well-formedness of contracts, has opened the door to significant...
106
Voted
ICIP
2003
IEEE
15 years 6 months ago
2003
IEEE
We have been developing new relevance feedback algorithms for Content-based Image Retrieval (CBIR) that allow the user to achieve more flexible query. In conjunction with the new...
71
Voted
CLEF
2003
Springer
15 years 6 months ago
2003
Springer
Motivated by the hypothesis that the retrieval performance of a weighting model is independent of the language in which queries and collection are expressed, we compared the retrie...
83
Voted
ICCBR
2003
Springer
15 years 6 months ago
2003
Springer
In [1] we propose interchangeability based algorithms as methods for solving the case adaptation for the domain of problems which can be expressed as Constraint Satisfaction Proble...
126
click to vote
AGENTS
2001
Springer
15 years 5 months ago
2001
Springer
This paper describes Icarus, an agent architecture that embeds a hierarchical reinforcement learning algorithm within a language for specifying agent behavior. An Icarus program e...