2421 search results - page 218 / 485 » Integrity Assurance Technique Using Determinant Approach |
132
Voted
3DIM
2003
IEEE
15 years 9 months ago
2003
IEEE
Over the past few years, remarkable increase has occurred in the demand for 3D models for cultural heritage applications. The techniques employed have evolved from surveying and C...
147
Voted
DBSEC
2004
15 years 5 months ago
2004
In software construction, analysis investigates the boundary of a system (scope and requirements), its usage and access, and from a security perspective, who needs access to what ...
151
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
122
Voted
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper we present a parameter optimisation procedure that is designed to automatically initialise the number of clusters and the initial colour prototypes required by data ...
120
Voted
BIBE
2007
IEEE
15 years 10 months ago
2007
IEEE
Breast biopsy guided by imaging techniques such as ultrasound is widely used to evaluate suspicious masses within the breast. Currently, ultrasound imaging does not allow live guid...