2646 search results - page 399 / 530 » Local Type Inference |
96
Voted
IFIP
2010
Springer
14 years 7 months ago
2010
Springer
Service Oriented Computing (SOC) is a programming paradigm aiming at characterising Service Networks. Services are entities waiting for clients requests and they often result from ...
147
click to vote
PR
2011
14 years 3 months ago
2011
In this paper, we describe an approach for the automatic medical annotation task of the 2008 CLEF cross-language image retrieval campaign (ImageCLEF). The data comprise 12076 full...
113
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
102
Voted
EDBT
2009
ACM
15 years 7 months ago
2009
ACM
In this work we concentrate on categorization of relational attributes based on their data type. Assuming that attribute type/characteristics are unknown or unidentifiable, we an...
133
Voted
BMCBI
2007
15 years 24 days ago
2007
Background: Neuroscientists often need to access a wide range of data sets distributed over the Internet. These data sets, however, are typically neither integrated nor interopera...