2362 search results - page 283 / 473 » Programming in Standard ML |
169
click to vote
IPPS
2007
IEEE
16 years 23 days 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...
156
click to vote
CIE
2007
Springer
16 years 19 days 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...
165
click to vote
ECML
2007
Springer
16 years 19 days 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...
177
click to vote
ICALP
2007
Springer
16 years 19 days 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...
147
click to vote
IFIP
2007
Springer
16 years 18 days 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...