13734 search results - page 187 / 2747 » Abstractions of data types |
202
click to vote
GIS
2002
ACM
15 years 4 months ago
2002
ACM
Emerging computational paradigms such as global and ubiquitous computing require some rethinking and innovative research ideas in many computer science areas. In this work, we aim...
266
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
156
click to vote
TIC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
147
click to vote
RECOMB
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. We describe and empirically evaluate machine learning methods for the prediction of zinc binding sites from protein sequences. We start by observing that a data set consi...
163
click to vote
ECOOP
1992
Springer
15 years 8 months ago
1992
Springer
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...