474 search results - page 22 / 95 » Assurance Based Development of Critical Systems |
114
click to vote
LREC
2010
15 years 4 months ago
2010
This paper describes the development of tools for a semi-automated process for validation of treebank annotation at various levels. Consistency in treebank annotation is a must fo...
127
Voted
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
The proportion of complex distributed real-time embedded (DRE) systems made up of commercial-off-the-shelf (COTS) hardware and software is increasing significantly in response to...
124
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: DNA methylation plays an important role in development and tumorigenesis by epigenetic modification and silencing of critical genes. The development of PCR-based methy...
115
Voted
SEC
2001
15 years 4 months ago
2001
There is a strong demand for techniques to aid development and modelling of security critical systems. Based on general security evaluation criteria, we show how to extend the syst...
252
click to vote
ICDAR
2011
IEEE
14 years 2 months ago
2011
IEEE
- Large-scale digitisation has led to a number of new possibilities with regard to adaptive and learning based methods in the field of Document Image Analysis and OCR. For ground t...