1163 search results - page 39 / 233 » Concurrent Subspaces Analysis |
IJCV
2007
14 years 9 months ago
2007
We derive a family of kernels on dynamical systems by applying the Binet-Cauchy theorem to trajectories of states. Our derivation provides a unifying framework for all kernels on d...
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
We propose a new approach for reasoning about concurrency in object-oriented programs. Central to our approach is static ownership inference analysis — we conjecture that this a...
159
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
Similarity search has been widely used in many applications such as information retrieval, image data analysis, and time-series matching. Specifically, a similarity query retrieves...
IEEEVAST
2010
14 years 4 months ago
2010
Data sets in astronomy are growing to enormous sizes. Modern astronomical surveys provide not only image data but also catalogues of millions of objects (stars, galaxies), each ob...
111
click to vote
PASTE
1998
ACM
15 years 1 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...