1830 search results - page 123 / 366 » Functional Programs as Linked Data |
112
Voted
PLPV
2010
ACM
16 years 7 days ago
2010
ACM
This paper presents a resource typing framework for the Guru d-programming language, in which abstractions for various kinds of program resources can be defined. Implemented exam...
123
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: The identification of groups of co-regulated genes and their transcription factors, called transcriptional modules, has been a focus of many studies about biological s...
132
click to vote
BMCBI
2010
15 years 23 days ago
2010
Background: The opportunities for bacterial population genomics that are being realised by the application of parallel nucleotide sequencing require novel bioinformatics platforms...
137
Voted
ICDM
2005
IEEE
15 years 9 months ago
2005
IEEE
Binary classification is a core data mining task. For large datasets or real-time applications, desirable classifiers are accurate, fast, and need no parameter tuning. We presen...
165
Voted
VMCAI
2010
Springer
16 years 18 days ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...