8828 search results - page 307 / 1766 » Formal methods in practice |
155
click to vote
MP
2007
15 years 6 months ago
2007
Many practical optimization problems involve nonsmooth (that is, not necessarily differentiable) functions of thousands of variables. In the paper [Haarala, Miettinen, M¨akel¨a,...
194
click to vote
ISBI
2011
IEEE
14 years 10 months ago
2011
IEEE
Myocardial tagging in magnetic resonance imaging (MRI) has shown great potential for noninvasive measurement of the motion of a beating heart. A critical issue in exploiting this ...
157
click to vote
EUROSPI
2007
Springer
16 years 26 days ago
2007
Springer
Web application development is under certain circumstances such as a strong emphasis on time-to-market characterised by the usage of informal and ad-hoc development practices and a...
187
click to vote
CLEIEJ
2006
15 years 6 months ago
2006
This paper explores the possibility for software companies of getting a CMMI certification of their processes by applying agile practices. For this purpose, starting with CMMI mat...
238
click to vote
MEDBIOMETRICS
2010
15 years 5 months ago
2010
This study proposes an effective method called DIAMOND to classify biological and medical data. Given a set of objects with some classes, DIAMOND separates the objects into differe...