This paper presents firstly in the world the framework of Grid manufacturing, which neatly combines Grid technology with the infrastructure of advanced manufacturing technology. It...
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
Compliant mechanisms are one-piece devices that combine the features of both structures and mechanisms. Compliant mechanism design solutions were identified by using evolutionary t...
A novel, template-based method for face recognition is presented. The goals of the proposed method are to integrate multiple observations for improved robustness and to provide au...
We present a sub-sentential alignment system that links linguistically motivated phrases in parallel texts based on lexical correspondences and syntactic similarity. We compare th...