3690 search results - page 515 / 738 » Computation with classical sequents |
167
click to vote
SCW
2012
IEEE
14 years 1 months ago
2012
IEEE
For a change in prices, the common-scaling social cost-of-living index is the equal scaling of each individual’s expenditure level needed to restore the level of social welfare ...
187
click to vote
SIGCOMM
2012
ACM
13 years 8 months ago
2012
ACM
Middleboxes are ubiquitous in today’s networks and perform a variety of important functions, including IDS, VPN, firewalling, and WAN optimization. These functions differ vastl...
188
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
This paper addresses recognition of human activities with stochastic structure, characterized by variable spacetime arrangements of primitive actions, and conducted by a variable ...
350
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
We consider the problem of finding a few representatives for a dataset, i.e., a subset of data points that efficiently describes the entire dataset. We assume that each data poi...
195
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
With the increasing popularity of practical vision systems and smart phones, text detection in natural scenes becomes a critical yet challenging task. Most existing methods have f...