This paper addresses the problem of improving the representation space in a rule-based intelligent system, through exception-based learning. Such a system generally learns rules c...
Cristina Boicu, Gheorghe Tecuci, Mihai Boicu, Dori...
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
Abstract. Rotational dynamic system models can be used to enrich tightlycoupled embodied control of movement-sensitive mobile devices, and support a more bidirectional, negotiated ...
Interface design normally follows the traditional approach of Art and Design, which requires reworking to refine an idea through visual playfulness until a solution has been achiev...
In this paper, the authors propose and analyze a network-based control architecture for power-electronicsbuilding-block-based converters. The objective of the proposed approach is ...
Rong Liu, Antonello Monti, Ferdinanda Ponci, Anton...