Sciweavers

4270 search results - page 27 / 854
» A Permutation Approach to Validation
Sort
View
BMCBI
2007
104views more  BMCBI 2007»
14 years 11 months ago
Using contextual and lexical features to restructure and validate the classification of biomedical concepts
Background: Biomedical ontologies are critical for integration of data from diverse sources and for use by knowledge-based biomedical applications, especially natural language pro...
Jung-Wei Fan, Hua Xu, Carol Friedman
MEMOCODE
2010
IEEE
14 years 9 months ago
LTSs for translation validation of (multi-clocked) SIGNAL specifications
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
Julio C. Peralta, Thierry Gautier, Loïc Besna...
RTCSA
2006
IEEE
15 years 5 months ago
Automatic Generation and Validation of Models of Legacy Software
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...
Joel Huselius, Johan Andersson, Hans Hansson, Sasi...
VTC
2006
IEEE
101views Communications» more  VTC 2006»
15 years 5 months ago
Performance Validation for MMSE Turbo Equalization in ST-BICM Systems
— This paper presents a simple approach to assess performance that can be achieved by the MMSE turbo equalizer in ST-BICM systems over multipaths Rayleigh block fading channels w...
Nicolas Le Josse, Christophe Laot, Karine Amis
FIW
2009
115views Communications» more  FIW 2009»
14 years 9 months ago
Service specification and validation in the context of the home
Abstract. We explore and discuss different ways of expressing service specifications in the context of home automation systems implemented on OSGiTM. We found that the approach use...
Lydie du Bousquet, Ajitha Rajan, Catherine Oriat, ...