Sciweavers

769 search results - page 19 / 154
» A publishing system based on fluency coding method
Sort
View
BMCBI
2007
107views more  BMCBI 2007»
14 years 9 months ago
antiCODE: a natural sense-antisense transcripts database
Background: Natural antisense transcripts (NATs) are endogenous RNA molecules that exhibit partial or complete complementarity to other RNAs, and that may contribute to the regula...
Yifei Yin, Yi Zhao, Jie Wang, Changning Liu, Shugu...
MEMOCODE
2003
IEEE
15 years 3 months ago
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, ...
ISOLA
2010
Springer
14 years 7 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
ICDAR
2009
IEEE
15 years 4 months ago
A Set of Chain Code Based Features for Writer Recognition
This communication presents an effective method for writer recognition in handwritten documents. We have introduced a set of features that are extracted from the contours of handw...
Imran Siddiqi, Nicole Vincent
ICC
2007
IEEE
15 years 4 months ago
Hybrid ARQ Scheme Based on Recursive Convolutional Codes and Turbo Decoding
Abstract— We propose a hybrid ARQ scheme using recursive convolutional codes and the turbo principle. In the first transmission the system encodes the data through a systematic ...
Tamara Rodrigues, Richard Demo Souza, Marcelo Edua...