786 search results - page 98 / 158 » Adequacy of Limited Testing for Knowledge Based Systems |
159
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: High throughput microarray analyses result in many differentially expressed genes that are potentially responsible for the biological process of interest. In order to ...
162
Voted
PIMRC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--In wireless ad hoc networks, multiple access interference is the limiting factor for the overall system performance. The lack of any central control unit necessitates a c...
127
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
: This research develops, operationalizes, and empirically tests a model for explaining/predicting the satisfaction of customers with Internet-based services in the context of an o...
143
Voted
NOCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— The behaviour of systems on chip (SOC) is complex because they contain multiple processors that interact through concurrent interconnects, such as networks on chip (NOC...
149
Voted
ASE
2005
15 years 3 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...