1300 search results - page 187 / 260 » Association Schemoids and Their Categories |
222
Voted
POPL
2004
ACM
16 years 29 days 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...
102
Voted
RECOMB
2004
Springer
16 years 29 days 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...
198
Voted
SIGMOD
2009
ACM
16 years 26 days 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...
197
Voted
SIGMOD
2009
ACM
16 years 26 days 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...
99
Voted
PODS
2006
ACM
16 years 23 days 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...