9067 search results - page 1803 / 1814 » Adaptive Model Checking |
PVLDB
2008
14 years 11 months ago
2008
Where can I attend an interesting database workshop close to a sunny beach? Who are the strongest experts on service computing based upon their recent publication record and accep...
119
click to vote
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
— In wireless networks, TCP performs unsatisfactorily since packet reordering and random losses may be falsely interpreted as congestive losses. This causes TCP to trigger fast r...
139
click to vote
ISBRA
2010
Springer
14 years 10 months ago
2010
Springer
The random accumulation of variations in the human genome over time implicitly encodes a history of how human populations have arisen, dispersed, and intermixed since we emerged as...
ISF
2010
14 years 10 months ago
2010
As more and more companies are deploying, or plan to deploy, information systems, the organizational capabilities to effectively deploy information technologies to support and shap...
MICCAI
2010
Springer
14 years 10 months ago
2010
Springer
The use of machine learning tools is gaining popularity in neuroimaging, as it provides a sensitive assessment of the information conveyed by brain images. In particular, finding ...