849 search results - page 81 / 170 » Study of Challenges and Techniques in Large Scale Matching |
133
Voted
AAAI
2011
14 years 18 days ago
2011
Consider the problem of protecting endangered species by selecting patches of land to be used for conservation purposes. Typically, the availability of patches changes over time, ...
107
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
89
Voted
HPCA
2008
IEEE
16 years 29 days ago
2008
IEEE
As multicore systems become the dominant mainstream computing technology, one of the most difficult challenges the industry faces is the software. Applications with large amounts ...
115
Voted
SDM
2011
SIAM
14 years 3 months ago
2011
SIAM
The problem of monitoring a multivariate linear regression model is relevant in studying the evolving relationship between a set of input variables (features) and one or more depe...
229
Voted
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
In a mobile service scenario, users query a server for nearby points of interest but they may not want to disclose their locations to the service. Intuitively, location privacy may...