Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...
A novel method (the V-shaped curve) is presented to predict the failure probability of anisotropic conductive film (ACF) in IC/substrate assemblies. The Poisson function is used t...
This paper analyzes the effects of the application of visual adaptation mechanisms on snapshot-based guidance methods. The guidance principle of the visual homing is proven to be a...
Computers have recently emerged as commonplace on the scene in a record number of university art departments. This rapid change has created the need for new curriculum in the comp...