1300 search results - page 187 / 260 » Association Schemoids and Their Categories |
194
click to vote
POPL
2004
ACM
15 years 11 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
85
Voted
RECOMB
2004
Springer
15 years 11 months ago
2004
Springer
Finding recurring residue packing patterns, or spatial motifs, that characterize protein structural families is an important problem in bioinformatics. To this end, we apply a nov...
173
click to vote
SIGMOD
2009
ACM
15 years 11 months ago
2009
ACM
When a database query has a large number of results, the user can only be shown one page of results at a time. One popular approach is to rank results such that the "best&quo...
181
Voted
SIGMOD
2009
ACM
15 years 11 months ago
2009
ACM
Ranking queries are essential tools to process large amounts of probabilistic data that encode exponentially many possible deterministic instances. In many applications where unce...
PODS
2006
ACM
15 years 11 months ago
2006
ACM
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...