18924 search results - page 3482 / 3785 » Conformance of Distributed Systems |
156
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
125
click to vote
MM
2010
ACM
15 years 4 months ago
2010
ACM
In this paper we study the connection between sentiment of images expressed in metadata and their visual content in the social photo sharing environment Flickr. To this end, we co...
168
Voted
CVPR
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a novel method for the discovery and statistical representation of motion patterns in a scene observed by a static camera. Related methods involving learning of pattern...
148
Voted
MOBIDE
2010
ACM
15 years 4 months ago
2010
ACM
Complex event detection over data streams has become ubiquitous through the widespread use of sensors, wireless connectivity and the wide variety of end-user mobile devices. Typic...
117
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
A network latency estimation scheme associates a "position" to every peer in a distributed network such that the latency between any two nodes can be accurately estimate...