3547 search results - page 585 / 710 » Computers Seeing People |
198
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
199
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
Online social networks (OSNs) are popular collaboration and communication tools for millions of users and their friends. Unfortunately, in the wrong hands, they are also effective...
189
click to vote
ICMCS
2010
IEEE
15 years 7 months ago
2010
IEEE
In daily life, we can see images of real-life objects on posters, television, or virtually any type of smooth physical surfaces. We seldom confuse these images with the objects pe...
170
click to vote
APAL
2010
15 years 7 months ago
2010
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
183
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: The classification of protein sequences using string algorithms provides valuable insights for protein function prediction. Several methods, based on a variety of diff...