The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
Inconsistencies may arise in the course of specification of systems, and it is now recognised that they cannot be forbidden. Recent work has concentrated on enabling requirements ...
Abstract. In this work we present a novel system for autonomous mobile robot navigation. With only an omnidirectional camera as sensor, this system is able to build automatically a...
: Constant dielectric (CD) and distance-dependent dielectric (DDD) functions are the most popular and widespread in the Molecular Mechanics simulations of large molecular systems. ...
This paper presents a learning system that uses genetic programming as a tool for automatically inferring the set of classification rules to be used during a preclassification sta...
Claudio De Stefano, Antonio Della Cioppa, Angelo M...