2362 search results - page 283 / 473 » Programming in Standard ML |
131
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
HPC scientific computational models are notoriously difficult to develop, debug, and maintain. The reasons for this are multifaceted — including difficulty of parallel programm...
133
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
In the standard model of inductive inference, a learner gets as input the graph of a function, and has to discover (in the limit) a program for the function. In this paper, we cons...
138
click to vote
ECML
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A clustering method is presented which can be applied to semantically annotated resources in the context of ontological knowledge bases. This method can be used to discov...
150
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
Motivated by the challenging task of designing “secure” vote storage mechanisms, we study information storage mechanisms that operate in extremely hostile environments. In suc...
118
click to vote
IFIP
2007
Springer
15 years 10 months ago
2007
Springer
Service-oriented architecture (SOA) will form the basis of future information systems. Web services are a promising way to implement SOA enabling the loose coupling of functionalit...