9067 search results - page 1809 / 1814 » Adaptive Model Checking |
121
click to vote
BMCBI
2010
14 years 6 months ago
2010
Background: Ever since the ground-breaking work of Anfinsen et al. in which a denatured protein was found to refold to its native state, it has been frequently stated by the prote...
108
click to vote
COMCOM
2011
14 years 6 months ago
2011
The rapid proliferation of mobile computing devices and local wireless networks over the past few years has promoted a continuously growing interest in location-aware systems and ...
129
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Recent research in multi-robot exploration and mapping has focused on sampling environmental fields, which are typically modeled using the Gaussian process (GP). Existing informa...
111
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Aneka is an Application Platform-as-a-Service (Aneka PaaS) for Cloud Computing. It acts as a framework for building customized applications and deploying them on either public or ...
104
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
We examine the combination of two directions in the field of privacy concerning computations over distributed private inputs – secure function evaluation (SFE) and differential...