Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
We propose a parallel and distributed component framework for building Grid applications, adapted to the hierarchical, highly distributed, highly heterogeneous nature of Grids. Thi...
Abstract In this paper, we present a framework for the classification of images in surface inspection tasks and address several key aspects of the processing chain from the origina...
Christian Eitzinger, Wolfgang Heidl, Edwin Lughofe...
An adaptive optical music recognition system is being developed as part of an experiment in creating a comprehensive framework of tools to manage the workflow of largescale digiti...
G. Sayeed Choudhury, M. Droetboom, Tim DiLauro, Ic...
In this paper, we present a general computational and operational framework for the Fuzzy Cognitive Network (FCN), which is a direct extension of Fuzzy Cognitive Maps (FCM). The pr...
Theodoros L. Kottas, Yiannis S. Boutalis, Manolis ...