551 search results - page 99 / 111 » Using Model Checking for Reducing the Cost of Test Generatio... |
180
click to vote
DILS
2004
Springer
15 years 7 months 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...
128
click to vote
CVPR
2008
IEEE
16 years 5 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...
165
click to vote
LOCA
2009
Springer
15 years 9 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...
147
click to vote
DEBS
2010
ACM
15 years 6 months 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...
142
click to vote
GECCO
2008
Springer
15 years 4 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 ...