Sciweavers

5113 search results - page 820 / 1023
» Model-integrated system development: models, architecture, a...
Sort
View
DFT
2004
IEEE
78views VLSI» more  DFT 2004»
15 years 10 months ago
Reliability Modeling and Assurance of Clockless Wave Pipeline
This paper presents theoretical yet practical methodologies to model, assure and optimize the Reliability of Clockless Wave Pipeline. Clockless wave pipeline is a cutting-edge and...
T. Feng, Nohpill Park, Yong-Bin Kim, Fabrizio Lomb...
BMCBI
2007
94views more  BMCBI 2007»
15 years 6 months ago
Model based analysis of real-time PCR data from DNA binding dye protocols
Background: Reverse transcription followed by real-time PCR is widely used for quantification of specific mRNA, and with the use of double-stranded DNA binding dyes it is becoming...
Mariano J. Alvarez, Guillermo J. Vila-Ortiz, Maria...
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
15 years 12 months ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
EKAW
2010
Springer
15 years 5 months ago
TagSorting: A Tagging Environment for Collaboratively Building Ontologies
Social Tagging Systems (STS) empower users to classify and organize resources and to improve the retrieval performance over the tagged resources. In this paper we argue that the po...
Leyla Jael García-Castro, Martin Hepp, Alex...
CVPR
2008
IEEE
16 years 8 months ago
Enhanced biologically inspired model
It has been demonstrated by Serre et al. that the biologically inspired model (BIM) is effective for object recognition. It outperforms many state-of-the-art methods in challengin...
Yongzhen Huang, Kaiqi Huang, Liangsheng Wang, Dach...