16844 search results - page 249 / 3369 » How to Design Programs |
179
click to vote
FPCA
1995
15 years 10 months ago
1995
In this paper we study the relationships between logic programming and functional programming, trying to answer the following basic question: to what extent is logic programming j...
150
click to vote
IJMMS
2000
15 years 6 months ago
2000
We survey five mathematical discovery programs by looking in detail at the discovery processes they illustrate and the success they've had. We focus on how they estimate the ...
166
click to vote
DOCENG
2004
ACM
16 years 1 days ago
2004
ACM
XML and its associated languages are emerging as powerful authoring tools for multimedia and hypermedia web content. Furthermore, intelligent presentation generation engines have ...
166
click to vote
PVM
2005
Springer
16 years 3 days ago
2005
Springer
Communication subsystems are used in high-performance parallel computing systems to abstract the lower network layer. By using a communication subsystem, an upper middleware librar...
192
click to vote
CIE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Datatype-generic programs are programs that are parameterised by a datatype. Designing datatype-generic programs brings new challenges and new opportunities. We review th...