87 search results - page 16 / 18 » A Symbolic Framework for Model-Based Testing |
MICCAI
2003
Springer
14 years 8 months ago
2003
Springer
Abstract. When developing statistical models of normal brain perfusion, two questions are of crucial interest: How well does an atlas describe normality and how sensitive is it at ...
EACL
2009
ACL Anthology
14 years 8 months ago
2009
ACL Anthology
Spoken Language Understanding aims at mapping a natural language spoken sentence into a semantic representation. In the last decade two main approaches have been pursued: generati...
ICSM
2008
IEEE
14 years 2 months ago
2008
IEEE
Change impact analysis is a useful technique for software evolution. It determines the effects of a source editing session and provides valuable feedbacks to the programmers for m...
ISPW
2007
IEEE
14 years 2 months ago
2007
IEEE
The primary objective of all software engineering courses is to help students learn how to develop successful software systems with good software engineering practices. Various too...
COMPSAC
2009
IEEE
14 years 12 days ago
2009
IEEE
—For software, the costs of failures are not clearly understood. Often, these costs disappear in the costs of testing, the general developments costs, or the operating expenses. ...