3909 search results - page 307 / 782 » Extreme Model Checking |
216
click to vote
MICCAI
2009
Springer
16 years 29 days ago
2009
Springer
Tetralogy of Fallot (ToF) is a severe congenital heart disease that mainly affects the right ventricle (RV). It requires surgical repair early in infancy. Chronic regurgitations ma...
140
click to vote
MOBIHOC
2003
ACM
16 years 3 months ago
2003
ACM
In wireless ad hoc networks, capacity can be traded for delay. This tradeoff has been the subject of a number of studies, mainly concentrating on the two extremes: either minimizi...
115
click to vote
AAAI
1996
15 years 5 months ago
1996
An important problem faced by auditors is gauging how much reliance can be placed on the accounting systems that process millions of transactions to produce the numbers summarized...
134
click to vote
DEBU
2008
15 years 3 months ago
2008
The open nature of collaborative recommender systems allows attackers who inject biased profile data to have a significant impact on the recommendations produced. Standard memory-...
142
click to vote
WCNC
2010
IEEE
15 years 1 months ago
2010
IEEE
Recent work has shown that mesh networks based on short-range outdoor millimeter (mm) wave links in the unlicensed 60 GHz band are a promising approach to providing an easily deplo...