12774 search results - page 2410 / 2555 » A Framework for Proof Systems |
217
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
Social networking applications have become very important web services that provide Internet-based platforms for their users to interact with their friends. With the advances in t...
184
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
Building on research previously reported at AAMAS conferences, this paper describes an innovative application of a novel gametheoretic approach for a national scale security deplo...
208
click to vote
ICDCS
2011
IEEE
14 years 6 months ago
2011
IEEE
— MapReduce has become an effective approach to big data analytics in large cluster systems, where SQL-like queries play important roles to interface between users and systems. H...
217
click to vote
WACV
2012
IEEE
14 years 2 months ago
2012
IEEE
The growing ubiquity of cameras in hand-held devices and the prevalence of electronic displays in signage creates a novel framework for wireless communications. Traditionally, the...
214
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
ACM Sigcomm 2006 published a paper [26] which was perceived to unify the deterministic and stochastic branches of the network calculus (abbreviated throughout as DNC and SNC) [39]...