2273 search results - page 252 / 455 » On the Expressiveness and Complexity of ATL |
148
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, invariant sonar texture characterization for seabed classification is addressed from the spatial distribution of image keypoints using log-Gaussian Cox processes. ...
336
click to vote
AMW
2011
14 years 10 months ago
2011
Abstract. Social Network (SN) data has become ubiquitous, demanding advanced and flexible means to represent, transform and query such data. In addition to the intrinsic challenge...
264
click to vote
SCHOLARPEDIA
2011
14 years 9 months ago
2011
: In 1613 d’Aguilon published a book on optics containing a novel color mixture diagram in arc form. Diagrams of similar form are found in many medieval manuscripts where they ha...
165
click to vote
PPOPP
2012
ACM
14 years 2 months ago
2012
ACM
The actor model has already proven itself as an interesting concurrency model that avoids issues such as deadlocks and race conditions by construction, and thus facilitates concur...
183
click to vote
WMCSA
2012
IEEE
14 years 2 months ago
2012
IEEE
A growing class of smartphone applications are tasking applications that run continuously, process data from sensors to determine the user’s context (such as location) and activ...