Sciweavers

211 search results - page 36 / 43
» Reflective Programming in the Relational Algebra
Sort
View
PPDP
2010
Springer
14 years 8 months ago
Deriving predicate statistics in datalog
Database query optimizers rely on data statistics in selecting query execution plans. Similar query optimization techniques are desirable for deductive databases and, to make this...
Senlin Liang, Michael Kifer
ALMOB
2008
160views more  ALMOB 2008»
14 years 9 months ago
Syntenator: Multiple gene order alignments with a gene-specific scoring function
Background: Identification of homologous regions or conserved syntenies across genomes is one crucial step in comparative genomics. This task is usually performed by genome alignm...
Christian Rödelsperger, Christoph Dieterich
BIRTHDAY
2004
Springer
15 years 3 months ago
Retracing the Semantics of CSP
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
Stephen D. Brookes
TKDE
2012
253views Formal Methods» more  TKDE 2012»
13 years 22 hour 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
CORR
2008
Springer
116views Education» more  CORR 2008»
14 years 9 months ago
Binding bigraphs as symmetric monoidal closed theories
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
Tom Hirschowitz, Aurélien Pardon