13041 search results - page 2491 / 2609 » Simulating space and time |
146
Voted
AAMAS
2011
Springer
14 years 8 months ago
2011
Springer
We consider an automated agent that needs to coordinate with a human partner when communication between them is not possible or is undesirable (tacit coordination games). Specifi...
139
click to vote
JOC
2011
14 years 8 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...
130
click to vote
PAMI
2011
14 years 8 months ago
2011
—The field of Action Recognition has seen a large increase in activity in recent years. Much of the progress has been through incorporating ideas from single frame object recogn...
104
click to vote
TKDE
2011
14 years 8 months ago
2011
Abstract—Existing research on privacy-preserving data publishing focuses on relational data: in this context, the objective is to enforce privacy-preserving paradigms, such as k-...
151
click to vote
WWW
2011
ACM
14 years 8 months ago
2011
ACM
The problem of answering SPARQL queries over virtual SPARQL views is commonly encountered in a number of settings, including while enforcing security policies to access RDF data, ...