Sciweavers

1452 search results - page 165 / 291
» Algorithmic Analysis of Array-Accessing Programs
Sort
View
PLDI
2004
ACM
15 years 6 months ago
Parametric regular path queries
Regular path queries are a way of declaratively expressing queries on graphs as regular-expression-like patterns that are matched against paths in the graph. There are two kinds o...
Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D....
MFCS
2005
Springer
15 years 6 months ago
Greedy Approximation via Duality for Packing, Combinatorial Auctions and Routing
We study simple greedy approximation algorithms for general class of integer packing problems. We provide a novel analysis based on the duality theory of linear programming. This e...
Piotr Krysta
94
Voted
ICFEM
2000
Springer
15 years 4 months ago
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...
Tetsuo Tamai
BMCBI
2005
86views more  BMCBI 2005»
15 years 16 days ago
WebArray: an online platform for microarray data analysis
Background: Many cutting-edge microarray analysis tools and algorithms, including commonly used limma and affy packages in Bioconductor, need sophisticated knowledge of mathematic...
Xiaoqin Xia, Michael McClelland, Yipeng Wang
158
Voted
POPL
1994
ACM
15 years 4 months ago
Formally Optimal Boxing
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
Fritz Henglein, Jesper Jørgensen