690 search results - page 50 / 138 » Web-Based Support Systems with Rough Set Analysis |
128
Voted
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
We present an error catch and analysis (ECA) system for semiconductor memories. The system consists of a test algorithm generator called TAGS, a fault simulator called RAMSES, and...
119
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The primary mission of UniProt is to support biological research by maintaining a stable, comprehensive, fully classified, richly and accurately annotated protein sequenc...
154
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
133
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Modeling of cis-elements or regulatory motifs in promoter (upstream) regions of genes is a challenging computational problem. In this work, set of regulatory motifs si...
104
Voted
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Recently great interest has been shown in the visual surveillance of public transportation systems. The challenge is the automated analysis of passenger’s behaviors with a set o...