103 search results - page 21 / 21 » UnitCheck: Unit Testing and Model Checking Combined |
KES
2007
Springer
13 years 5 months ago
2007
Springer
Chance discovery provides a way to find rare but very important events for future decision making. It can be applied to stock market prediction, earthquake alarm, intrusion detect...
CLEF
2006
Springer
13 years 9 months ago
2006
Springer
We here describe the subword approach we used in the 2006 ImageCLEF Medical Image Retrieval task. It is based on the assupmtion that neither fully inflected nor automatically stem...
TC
2008
13 years 5 months ago
2008
Real-time services such as VoIP are becoming popular and are major revenue earners for network service providers. These services are no longer confined to the wired domain and are ...