2654 search results - page 330 / 531 » On Pairing Inversion Problems |
133
click to vote
CSL
2001
Springer
15 years 9 months ago
2001
Springer
We introduce a method of extending arbitrary categories by a terminal object and apply this method in various type theoretic settings. In particular, we show that categories that a...
106
Voted
ASPDAC
2000
ACM
15 years 9 months ago
2000
ACM
A new approach is proposed to translate existing software programs from one instruction set to other instruction sets at the level. The behaviors of instructions are abstractly re...
143
click to vote
CVPR
1999
IEEE
15 years 9 months ago
1999
IEEE
We formulate stereo matching as an extremal surface extraction problem. This is made possible by embedding the disparity surface inside a volume where the surface is composed of v...
129
click to vote
WEBDB
1998
Springer
15 years 9 months ago
1998
Springer
The World Wide Web is a vast resource for information. At the same time it is extremely distributed. A particular type of data such as restaurant lists maybe scattered across thous...
127
click to vote
GCB
1997
Springer
15 years 9 months ago
1997
Springer
Motivation: Database search programs such as FASTA, BLAST or a rigorous Smith–Waterman algorithm produce lists of database entries, which are assumed to be related to the query....