2565 search results - page 80 / 513 » Object type constructors |
POPL
2012
ACM
12 years 4 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
BIRTHDAY
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
DS
1992
13 years 10 months ago
1992
In the Pegasus prototype multidatabase system, the key to the problem of object identity is a differentiation between the view of a data administrator, capturing all the underlyin...
BMCBI
2008
13 years 9 months ago
2008
Background: When analyzing microarray data a primary objective is often to find differentially expressed genes. With empirical Bayes and penalized t-tests the sample variances are...
MM
2004
ACM
14 years 2 months ago
2004
ACM
In this paper, we propose an iterative similarity propagation approach to explore the inter-relationships between Web images and their textual annotations for image retrieval. By ...