424 search results - page 43 / 85 » Realizability models and implicit complexity |
SIGCOMM
2009
ACM
15 years 6 months ago
2009
ACM
Business and economic considerations are driving the extensive use of service differentiation in Virtual Private Networks (VPNs) operated for business enterprises today. The resul...
138
click to vote
TIP
2010
14 years 10 months ago
2010
Abstract—This study investigates level set multiphase image segmentation by kernel mapping and piecewise constant modeling of the image data thereof. A kernel function maps impli...
191
click to vote
POPL
2006
ACM
16 years 3 days ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
ICDE
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— It is widely realized that the integration of information retrieval (IR) and database (DB) techniques provides users with a broad range of high quality services. A new ...
114
click to vote
DASIP
2010
14 years 6 months ago
2010
Visual attention is a complex concept that includes many processes to find the region of concentration in a visual scene. In this paper, we discuss a spatio-temporal visual salien...