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

Formalizing the design-trajectory of sequential machines

โœ Scribed by R.J.Huis in 't Veld

Publisher
Elsevier Science
Year
1991
Weight
831 KB
Volume
32
Category
Article
ISSN
0165-6074

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Formal Verification in the Design of Ges
Formal Verification in the Design of Gestural Interaction
โœ G.J. Doherty; G. Faconti; M. Massink ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 203 KB

This paper shows how formal modelling can be used in the design of a dynamic gesture language defined by sequences of poses. It discusses two models at different levels of abstraction dealing with important usability issues of the language such as ambiguity and overlap in the recognition of gestures

Application of support vector machines t
Application of support vector machines to the antenna design
โœ Z. Zheng; X. Chen; K. Huang ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 248 KB

The antenna design is a complicated and time-consuming procedure. This work explores using support vector machines (SVMs), a statistical learning theory based on the structural risk minimization principle and has a great generalization capability, as a fast and accurate tool in the antenna design. A