Catálogo de publicaciones - libros

Compartir en
redes sociales


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

Información sobre derechos de publicación

© Springer-Verlag London Limited 2005

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