3267 search results - page 488 / 654 » Computational Models of Language Acquisition |
253
click to vote
POPL
2006
ACM
16 years 4 months 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...
131
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
133
click to vote
AOSD
2009
ACM
15 years 11 months ago
2009
ACM
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires proper means for scoping aspects. Scoping issues are particularly crucial in a distribu...
137
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
XACML does not natively support RBAC and even the specialized XACML profiles are not able to support many relevant constraints such as static and dynamic separation of duty. Exte...
163
click to vote
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
Near-duplicate keyframes (NDK) play a unique role in large-scale video search, news topic detection and tracking. In this paper, we propose a novel NDK retrieval approach by explo...