Many graphics applications represent deformable surfaces through dynamic meshes. To be consistent during deformations, the dynamic meshes require an adaptation process. In this pa...
The information management requirements in systems based on Web Service Architecture principles include both the management of large amounts of relatively static services and assoc...
We present a system of differential equations which abstractly models neural dynamics and synaptic plasticity of a cortical macrocolumn. The equations assume inhibitory coupling b...
Abstract. This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting ...
In this article we extend previous work on the development of logical foundations for the specification of the dynamics of databases. In particular, we deal with two problems. Fir...