6020 search results - page 1145 / 1204 » A New Approach to Model Counting |
177
click to vote
ECIS
2004
15 years 5 months ago
2004
In the knowledge economy, a firm's intellectual capital represents the only sustainable source of competitive advantage. Intellectual capital manifests itself, predominantly,...
148
click to vote
ISSA
2004
15 years 5 months ago
2004
This paper attempts to address the issue of hardening the internal security of an organisation's network by easing its patch management. Traditionally security has been model...
149
click to vote
ICDE
2010
IEEE
15 years 4 months ago
2010
IEEE
— Emerging uncertain database applications often involve the cleansing (conditioning) of uncertain databases using additional information as new evidence for reducing the uncerta...
168
click to vote
ASC
2007
15 years 4 months ago
2007
Stability is one of the most important subjects in control systems. As for the stability of nonlinear dynamical systems, Lyapunov’s direct method and linearized stability analys...
161
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Recently, supervised learning methods have been exploited to reconstruct gene regulatory networks from gene expression data. The reconstruction of a network is modeled...