We propose a novel semi-supervised clustering method for the task of gene regulatory module discovery. The technique uses data on dna binding as prior knowledge to guide the proces...
ma's abstract data model consists of components, which are the structures that eventually define a schema as a whole. XML Schema's XML syntax, on the other hand, is not ...
This paper addresses the problem of camera calibration using object silhouettes in image sequences. It is known that silhouettes encode information on camera parameters by the fact...
In this paper, we focus on the problem of integrating heterogeneous XML datasources. We follow a semantic approach to information sharing and integration, and we present a discipl...
Silvana Castano, Alfio Ferrara, G. S. Kuruvilla Ot...
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...