Catálogo de publicaciones - libros
Validated Designs for Object-oriented Systems
John Fitzgerald Peter Gorm Larsen Paul Mukherjee Nico Plat Marcel Verhoef
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
Programming Techniques; Software Engineering/Programming and Operating Systems; Software Engineering; Discrete Mathematics in Computer Science
Disponibilidad
Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
---|---|---|---|---|
No detectada | 2005 | SpringerLink |
Información
Tipo de recurso:
libros
ISBN impreso
978-1-85233-881-7
ISBN electrónico
978-1-84628-107-5
Editor responsable
Springer Nature
País de edición
Reino Unido
Fecha de publicación
2005
Información sobre derechos de publicación
© Springer-Verlag London Limited 2005
Cobertura temática
Tabla de contenidos
Introduction
John Fitzgerald; Peter Gorm Larsen; Paul Mukherjee; Nico Plat; Marcel Verhoef
A support vector machine (SVM) provides an optimal separating hyperplane between two classes to be separated. However, the SVM gives only recognition results such as a neural network in a black-box structure. As an alternative, support vector machine decision tree (SVDT) provides useful information on key attributes while taking a number of advantages of the SVM. we propose an automated parameter selection scheme in SVDT to improve efficiency and accuracy in classification problems. Two practical applications confirm that the proposed methods has a potential in improving generalization and classification error in SVDT.
Part I - Models and Software Development | Pp. 3-18
Building a Model in VDM++: An Overview
John Fitzgerald; Peter Gorm Larsen; Paul Mukherjee; Nico Plat; Marcel Verhoef
A support vector machine (SVM) provides an optimal separating hyperplane between two classes to be separated. However, the SVM gives only recognition results such as a neural network in a black-box structure. As an alternative, support vector machine decision tree (SVDT) provides useful information on key attributes while taking a number of advantages of the SVM. we propose an automated parameter selection scheme in SVDT to improve efficiency and accuracy in classification problems. Two practical applications confirm that the proposed methods has a potential in improving generalization and classification error in SVDT.
Part I - Models and Software Development | Pp. 19-41
VDM++ Tool Support
John Fitzgerald; Peter Gorm Larsen; Paul Mukherjee; Nico Plat; Marcel Verhoef
A support vector machine (SVM) provides an optimal separating hyperplane between two classes to be separated. However, the SVM gives only recognition results such as a neural network in a black-box structure. As an alternative, support vector machine decision tree (SVDT) provides useful information on key attributes while taking a number of advantages of the SVM. we propose an automated parameter selection scheme in SVDT to improve efficiency and accuracy in classification problems. Two practical applications confirm that the proposed methods has a potential in improving generalization and classification error in SVDT.
Part I - Models and Software Development | Pp. 43-60
Defining Data
John Fitzgerald; Peter Gorm Larsen; Paul Mukherjee; Nico Plat; Marcel Verhoef
A support vector machine (SVM) provides an optimal separating hyperplane between two classes to be separated. However, the SVM gives only recognition results such as a neural network in a black-box structure. As an alternative, support vector machine decision tree (SVDT) provides useful information on key attributes while taking a number of advantages of the SVM. we propose an automated parameter selection scheme in SVDT to improve efficiency and accuracy in classification problems. Two practical applications confirm that the proposed methods has a potential in improving generalization and classification error in SVDT.
Part II - Modelling Object-oriented Systems in VDM++ | Pp. 63-84
Defining Functionality
John Fitzgerald; Peter Gorm Larsen; Paul Mukherjee; Nico Plat; Marcel Verhoef
A support vector machine (SVM) provides an optimal separating hyperplane between two classes to be separated. However, the SVM gives only recognition results such as a neural network in a black-box structure. As an alternative, support vector machine decision tree (SVDT) provides useful information on key attributes while taking a number of advantages of the SVM. we propose an automated parameter selection scheme in SVDT to improve efficiency and accuracy in classification problems. Two practical applications confirm that the proposed methods has a potential in improving generalization and classification error in SVDT.
Part II - Modelling Object-oriented Systems in VDM++ | Pp. 85-106
Modelling Unordered Collections
John Fitzgerald; Peter Gorm Larsen; Paul Mukherjee; Nico Plat; Marcel Verhoef
A support vector machine (SVM) provides an optimal separating hyperplane between two classes to be separated. However, the SVM gives only recognition results such as a neural network in a black-box structure. As an alternative, support vector machine decision tree (SVDT) provides useful information on key attributes while taking a number of advantages of the SVM. we propose an automated parameter selection scheme in SVDT to improve efficiency and accuracy in classification problems. Two practical applications confirm that the proposed methods has a potential in improving generalization and classification error in SVDT.
Part II - Modelling Object-oriented Systems in VDM++ | Pp. 107-135
Modelling Ordered Collections
John Fitzgerald; Peter Gorm Larsen; Paul Mukherjee; Nico Plat; Marcel Verhoef
A support vector machine (SVM) provides an optimal separating hyperplane between two classes to be separated. However, the SVM gives only recognition results such as a neural network in a black-box structure. As an alternative, support vector machine decision tree (SVDT) provides useful information on key attributes while taking a number of advantages of the SVM. we propose an automated parameter selection scheme in SVDT to improve efficiency and accuracy in classification problems. Two practical applications confirm that the proposed methods has a potential in improving generalization and classification error in SVDT.
Part II - Modelling Object-oriented Systems in VDM++ | Pp. 137-165
Modelling Relationships
John Fitzgerald; Peter Gorm Larsen; Paul Mukherjee; Nico Plat; Marcel Verhoef
A support vector machine (SVM) provides an optimal separating hyperplane between two classes to be separated. However, the SVM gives only recognition results such as a neural network in a black-box structure. As an alternative, support vector machine decision tree (SVDT) provides useful information on key attributes while taking a number of advantages of the SVM. we propose an automated parameter selection scheme in SVDT to improve efficiency and accuracy in classification problems. Two practical applications confirm that the proposed methods has a potential in improving generalization and classification error in SVDT.
Part II - Modelling Object-oriented Systems in VDM++ | Pp. 167-188
Model Structuring: The Enigma Cipher
John Fitzgerald; Peter Gorm Larsen; Paul Mukherjee; Nico Plat; Marcel Verhoef
A support vector machine (SVM) provides an optimal separating hyperplane between two classes to be separated. However, the SVM gives only recognition results such as a neural network in a black-box structure. As an alternative, support vector machine decision tree (SVDT) provides useful information on key attributes while taking a number of advantages of the SVM. we propose an automated parameter selection scheme in SVDT to improve efficiency and accuracy in classification problems. Two practical applications confirm that the proposed methods has a potential in improving generalization and classification error in SVDT.
Part III - Modelling in Practice: Three Case Studies | Pp. 191-229
Combining Views: The CSLaM System
John Fitzgerald; Peter Gorm Larsen; Paul Mukherjee; Nico Plat; Marcel Verhoef
A support vector machine (SVM) provides an optimal separating hyperplane between two classes to be separated. However, the SVM gives only recognition results such as a neural network in a black-box structure. As an alternative, support vector machine decision tree (SVDT) provides useful information on key attributes while taking a number of advantages of the SVM. we propose an automated parameter selection scheme in SVDT to improve efficiency and accuracy in classification problems. Two practical applications confirm that the proposed methods has a potential in improving generalization and classification error in SVDT.
Part III - Modelling in Practice: Three Case Studies | Pp. 231-248