3547 search results - page 616 / 710 » Pseudo-Exhaustive Testing for Software |
186
click to vote
AIME
2007
Springer
16 years 19 days ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
151
click to vote
CIVR
2007
Springer
16 years 18 days ago
2007
Springer
Anecdotal evidence suggests that story-level information is important for the speech component of video retrieval. In this paper we perform a systematic examination of the combina...
151
click to vote
ECTEL
2007
Springer
16 years 18 days ago
2007
Springer
Indicators help actors to organise, orientate and navigate through complex environments by providing contextual information relevant for the performance of learning tasks. In this ...
202
click to vote
EMSOFT
2007
Springer
16 years 18 days ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
168
click to vote
GECCO
2007
Springer
16 years 18 days ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...