2838 search results - page 326 / 568 » Verifying Controlled Components |
114
click to vote
IJCAI
1989
15 years 1 months ago
1989
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de sign task takes as input the specifications of the desired functions of a device...
110
click to vote
DEBU
2008
15 years 26 days ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
121
Voted
NAR
2008
15 years 22 days ago
2008
MicroRNAs (miRNAs) are small non-coding RNA molecules that can negatively regulate gene expression and thus control numerous cellular mechanisms. This work develops a resource, mi...
121
click to vote
TSMC
2008
15 years 20 days ago
2008
This paper proposes a type-2 self-organizing neural fuzzy system (T2SONFS) and its hardware implementation. The antecedent parts in each T2SONFS fuzzy rule are interval type-2 fuzz...
122
click to vote
BMCBI
2011
14 years 4 months ago
2011
Background: Gene regulatory networks play essential roles in living organisms to control growth, keep internal metabolism running and respond to external environmental changes. Un...