2080 search results - page 113 / 416 » Collections, Cardinalities, and Relations |
159
click to vote
DL
1999
Springer
15 years 10 months ago
1999
Springer
We present a system for searching and classifying U.S. patent documents, based on Inquery. Patents are distributed through hundreds of collections, divided up by general area. The...
148
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Vector prefix and reduction are collective communication primitives in which all processors must cooperate. We present two parallel algorithms, the direct algorithm and the split ...
156
click to vote
HT
1997
ACM
15 years 10 months ago
1997
ACM
This paper provides an architectural framework for modeling third-party application integrations with open hypermedia systems, which collects and extends the integration experienc...
162
click to vote
TPHOL
1996
IEEE
15 years 10 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
159
click to vote
RECOMB
1997
Springer
15 years 10 months ago
1997
Springer
A progressive alignment algorithm produces a multi-alignment of a set of sequences by repeatedly aligning pairs of sequences and/or previously generated alignments. We describe a ...