1887 search results - page 214 / 378 » Annotation Framework Validation Using Domain Models |
132
click to vote
ENTCS
2008
15 years 3 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
126
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Small molecular cofactors or ligands play a crucial role in the proper functioning of cells. Accurate annotation of their target proteins and binding sites is required...
177
click to vote
ACSC
2003
IEEE
15 years 8 months ago
2003
IEEE
The relative difference between two data values is of interest in a number of application domains including temporal and spatial applications, schema versioning, data warehousing...
153
Voted
TSP
2010
14 years 10 months ago
2010
We propose a novel equalization method for doubly selective wireless channels, whose taps are represented by an arbitrary Basis Expansion Model (BEM). We view such a channel in the...
142
click to vote
IPMI
2003
Springer
15 years 8 months ago
2003
Springer
A novel method for the segmentation of multiple objects from 3D medical images using inter-object constraints is presented. Our method is motivated by the observation that neighbor...