13734 search results - page 430 / 2747 » Abstractions of data types |
183
click to vote
TLCA
2005
Springer
16 years 8 days ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
208
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
— The size of data sets being collected and analyzed in the industry for business intelligence is growing rapidly, making traditional warehousing solutions prohibitively expensiv...
202
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Machine learning techniques have shown to improve bacterial species classification based on fatty acid methyl ester (FAME) data. Nonetheless, FAME analysis has a limit...
200
click to vote
ESORICS
2011
Springer
14 years 6 months ago
2011
Springer
The rapid progress of human genome studies leads to a strong demand of aggregate human DNA data (e.g, allele frequencies, test statistics, etc.), whose public dissemination, howeve...
199
click to vote
CGI
2009
IEEE
15 years 10 months ago
2009
IEEE
Two dimensional point data can be considered one of the most basic, yet one of the most ubiquitous data types arising in a wide variety of applications. The basic scatter plot app...