2302 search results - page 154 / 461 » Testing as Abstraction |
147
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
The number of publications in biomedicine is increasing enormously each year. To help researchers digest the information in these documents, text mining tools are being developed ...
182
click to vote
GISCIENCE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The SPIRIT search engine provides a test bed for the development of web search technology that is specialised for access to geographical information. Major components inc...
170
click to vote
AI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The purpose of this paper is to test the hypothesis that simple classifiers are more robust to changing environments than complex ones. We propose a strategy for generati...
165
click to vote
IJCAI
2001
15 years 8 months ago
2001
The Principle of Minimal Change is prevalent in various guises throughout the development of areas such as reasoning about action, belief change and nonmonotonic reasoning. Recent...
150
click to vote
FMCAD
1998
Springer
15 years 10 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...