4761 search results - page 920 / 953 » Components, Frameworks, Patterns |
156
click to vote
ICALP
2011
Springer
14 years 4 months ago
2011
Springer
We give new algorithms for a variety of randomly-generated instances of computational problems using a linearization technique that reduces to solving a system of linear equations...
138
Voted
ICS
2011
Tsinghua U.
14 years 3 months ago
2011
Tsinghua U.
Suppose one is considering purchase of a computer equipped with accelerators. Or suppose one has access to such a computer and is considering porting code to take advantage of the...
123
click to vote
SIGIR
2011
ACM
14 years 3 months ago
2011
ACM
Online forum discussions are emerging as valuable information repository, where knowledge is accumulated by the interaction among users, leading to multiple threads with structure...
200
Voted
CONCUR
2011
Springer
14 years 8 days ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
262
Voted
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
We propose a novel approach for modelling correlations
between activities in a busy public space captured by multiple
non-overlapping and uncalibrated cameras. In our approach,
...