1199 search results - page 57 / 240 » How to Compare the Power of Computational Models |
107
click to vote
CMSB
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
102
click to vote
CONTEXT
2001
Springer
15 years 4 months ago
2001
Springer
A recent report by the National Research Council (NRC) declares neural networks “hold the most promise for providing powerful learning models”. While some researchers have expe...
PERCOM
2005
ACM
15 years 11 months ago
2005
ACM
We propose a hybrid model to alleviate the notorious problem of premature battery depletion in sensor networks: in a first stage, simple sensors are deployed over an area of inter...
BMCBI
2008
14 years 12 months ago
2008
Background: The exponential growth of available biological data has caused bioinformatics to be rapidly moving towards a data-intensive, computational science. As a result, the co...
112
click to vote
HCW
1999
IEEE
15 years 4 months ago
1999
IEEE
: Networks of Workstations (NOW) have become an attractive alternative platform for high performance computing. Due to the commodity nature of workstations and interconnects and du...