Sciweavers

1830 search results - page 121 / 366
» Functional Programs as Linked Data
Sort
View
TKDE
2012
253views Formal Methods» more  TKDE 2012»
13 years 5 months ago
Horizontal Aggregations in SQL to Prepare Data Sets for Data Mining Analysis
—Preparing a data set for analysis is generally the most time consuming task in a data mining project, requiring many complex SQL queries, joining tables and aggregating columns....
Carlos Ordonez, Zhibo Chen 0002
IV
2009
IEEE
155views Visualization» more  IV 2009»
15 years 10 months ago
Visualizing Temporal Dynamics at the Genomic and Metabolic Level
We present an application for integrated visualization of gene expression data from time series experiments in gene regulation networks and metabolic networks. Such integration is...
Romain Bourqui, Michel A. Westenberg
VLDB
2007
ACM
77views Database» more  VLDB 2007»
15 years 9 months ago
Tracing Lineage Beyond Relational Operators
Tracing the lineage of data is an important requirement for establishing the quality and validity of data. Recently, the problem of data provenance has been increasingly addressed...
Mingwu Zhang, Xiangyu Zhang, Xiang Zhang, Sunil Pr...
TLDI
2009
ACM
108views Formal Methods» more  TLDI 2009»
16 years 7 days ago
Secure compilation of a multi-tier web language
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
Ioannis G. Baltopoulos, Andrew D. Gordon
TLCA
2007
Springer
15 years 9 months ago
Initial Algebra Semantics Is Enough!
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
Patricia Johann, Neil Ghani