20833 search results - page 4164 / 4167 » Hidden process models |
PLDI
2012
ACM
11 years 9 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
ICDE
2012
IEEE
11 years 9 months ago
2012
IEEE
—On a stream of two dimensional data items (x, y) where x is an item identifier, and y is a numerical attribute, a correlated aggregate query requires us to first apply a selec...
ICDE
2012
IEEE
11 years 9 months ago
2012
IEEE
— The advance of object tracking technologies leads to huge volumes of spatio-temporal data collected in the form of trajectory data stream. In this study, we investigate the pro...
INFOCOM
2012
IEEE
11 years 9 months ago
2012
IEEE
Abstract—The prospect of new biological and industrial applications that require communication in micro-scale, encourages research on the design of bio-compatible communication n...
PAMI
2012
11 years 9 months ago
2012
—Social media networks contain both content and context-specific information. Most existing methods work with either of the two for the purpose of multimedia mining and retrieva...