551 search results - page 99 / 111 » Using Model Checking for Reducing the Cost of Test Generatio... |
DILS
2004
Springer
14 years 13 days ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
CVPR
2008
IEEE
14 years 10 months ago
2008
IEEE
A mechanism for efficient mean-shift belief propagation (MSBP) is introduced. The novelty of our work is to use mean-shift to perform nonparametric mode-seeking on belief surfaces...
LOCA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Location-based Services are emerging as popular applications in pervasive computing. Spatial k-anonymity is used in Locationbased Services to protect privacy, by hiding t...
DEBS
2010
ACM
14 years 1 days ago
2010
ACM
An effective means for building Internet-scale distributed applications, and in particular those involving group-based information sharing, is to deploy peer-to-peer overlay netwo...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
Selective sampling is a form of active learning which can reduce the cost of training by only drawing informative data points into the training set. This selected training set is ...