1361 search results - page 87 / 273 » Spaces of practice |
115
Voted
UC
2010
Springer
14 years 10 months ago
2010
Springer
The information processing capabilities of many proteins are currently unexplored. The complexities and high dimensional parameter spaces make their investigation impractical. Diff...
88
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Set intersection is a fundamental operation in information retrieval and database systems. This paper introduces linear space data structures to represent sets such that their int...
113
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Index tuning, i.e., selecting the indexes appropriate for a workload, is a crucial problem in database system tuning. In this paper, we solve index tuning for large problem instan...
138
Voted
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
In this paper, we address the task of tracking groups of people in surveillance scenarios. This is a major challenge in computer vision, since groups are structured entities, subj...
120
click to vote
CAV
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...