๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A formal approach to the design of feature-based multi-sensor recognition systems

โœ Scribed by Mieczyslaw M. Kokar; Zbigniew Korona


Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
270 KB
Volume
2
Category
Article
ISSN
1566-2535

No coin nor oath required. For personal study only.

โœฆ Synopsis


This paper shows an example of developing a fusion system in a formal framework, i.e., through the use of formal operators in the development process. Two main concepts of formal methods are theories and models. In our approach, the development of a fusion system consists of operations on theories and models. We show, on a simple example, how theories and models are combined in the process of designing a fusion system. We also compare the performance of a system developed according to our approach with a more traditional system.


๐Ÿ“œ SIMILAR VOLUMES


Mapping theory: a new approach to design
โœ M.G. Mehrabi; E. Kannatey-Asibu Jr. ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Society of Manufacturing Engineers ๐ŸŒ English โš– 963 KB

Effective monitoring of a manufacturing process is essential for ensuring product quality. Single-sensor systems have often proven not to be very effective due to the relatively large number of parameters and the complexity of machining processes. Multi-sensor systems have therefore been investigate

A FEATURE POINT CLUSTERING APPROACH TO T
โœ KUO-CHIN FAN; JENG-MING LU; GWO-DONG CHEN ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 482 KB

Among various kinds of documents, forms are one of the important types. Automatic processing of form documents is a problem which is essential to the advancement of office automation. In this paper, we will present a clustering-based approach to recognize form documents. In our approach, the charact

A surface based approach to recognition
โœ Xingquan Zhang; Jie Wang; Kazuo Yamazaki; Masahiko Mori ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 463 KB

The paper presents a surface-based approach for geometric feature recognition for the purpose of automating the process planning of freeform surface machining. The proposed approach consists of the following four steps for recognition of the geometric features: conversion and preprocessing of the su