877 search results - page 80 / 176 » Annotated Revision Programs |
102
Voted
SEFM
2005
IEEE
15 years 8 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
243
Voted
ECOOP
2009
Springer
16 years 3 months ago
2009
Springer
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...
134
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
106
Voted
ICASSP
2009
IEEE
15 years 9 months ago
2009
IEEE
The problem of content-based image and video retrieval with textual queries is often posed as that of visual concept classification, where classifiers for a set of predetermined...
120
click to vote
GCB
1998
Springer
15 years 6 months ago
1998
Springer
Analysis of a newly sequenced bacterial genome starts with identification of protein-coding genes. Functional assignment of proteins requires the exact knowledge of protein N-term...