1024 search results - page 39 / 205 » Value complete, column complete, predicate complete |
LPAR
2005
Springer
15 years 5 months ago
2005
Springer
We describe a sound, terminating, and complete matching algorithm for terms built over flexible arity function symbols and context, function, sequence, and individual variables. C...
100
click to vote
INTERACT
2003
15 years 1 months ago
2003
Abstract: We show the application of the data analysis tool InfoZoom to a database of Formula One racing results. The user can interactively explore different tabular visualisation...
APAL
2008
15 years 5 hour ago
2008
Building on previous work by Coquand and Spiwack [8] we construct a strict domaintheoretic model for the untyped -calculus with pattern matching and term rewriting which has the p...
106
click to vote
JCT
2006
14 years 12 months ago
2006
Eroh and Oellermann defined BRR(G1, G2) as the smallest N such that any edge coloring of the complete bipartite graph KN,N contains either a monochromatic G1 or a multicolored G2....
95
Voted
BMCBI
2008
14 years 12 months ago
2008
Background: It is an important pre-processing step to accurately estimate missing values in microarray data, because complete datasets are required in numerous expression profile ...