3082 search results - page 532 / 617 » Deviation Analysis: A New Use of Model Checking |
149
click to vote
BNT
1997
15 years 5 months ago
1997
One of the most important network elements in the Internet are the routers which do relaying of IP packets. Because of growth of the Internet routers currently experience serious ...
133
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: New analysis methods are being developed to integrate data from transcriptome, proteome, interactome, metabolome, and other investigative approaches. At the same time,...
133
click to vote
MBEC
2010
14 years 11 months ago
2010
Abstract Hydrocephalus is related to a disturbed cerebrospinal fluid (CSF) system. For diagnosis, lumbar infusion test are performed to estimate outflow conductance, Cout, and pres...
165
click to vote
JMM2
2007
15 years 4 months ago
2007
—When automatically analyzing images of human faces, either for recognition in biometry applications or facial expression analysis in human machine interaction, one has to cope w...
133
click to vote
AINA
2009
IEEE
15 years 11 months ago
2009
IEEE
The architectures which support modern supercomputing machinery are as diverse today, as at any point during the last twenty years. The variety of processor core arrangements, thr...