1890 search results - page 31 / 378 » Model-Based Testing in Practice |
109
click to vote
ECCV
2000
Springer
16 years 4 months ago
2000
Springer
The initialisation of segmentation methods aiming at the localisation of biological structures in medical imagery is frequently regarded as a given precondition. In practice, howev...
124
Voted
SARA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This article introduces a technique for improving the efficiency of diagnosis through approximate compilation. We extend the approach of compiling a diagnostic model, as...
102
click to vote
RECOMB
2010
Springer
15 years 4 months ago
2010
Springer
Immense amounts of raw instrument data (i.e., images of fluorescence) are currently being generated using ultra high-throughput sequencing platforms. An important computational cha...
132
Voted
COMCOM
2006
15 years 2 months ago
2006
the extensibility and evolution of network services and protocols had become a major research issue in recent years. The 'programmable' and 'active' network par...
138
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
— Increasingly, licensing and safety regulatory bodies require the suppliers of software-intensive, safety-critical systems to provide an explicit software safety case – a stru...