3166 search results - page 267 / 634 » Translation By Structural Correspondences |
206
click to vote
NMR
2004
Springer
16 years 1 days ago
2004
Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...
175
click to vote
PADL
2004
Springer
16 years 1 days ago
2004
Springer
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
187
click to vote
SETN
2004
Springer
16 years 1 days ago
2004
Springer
This paper presents a robust, automated registration algorithm, which may be applied to several types of medical images, including CTs, MRIs, Xrays, Ultrasounds and dermatological ...
169
click to vote
CSB
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a new strategy for designing degenerate primers for a given multiple alignment of amino acid sequences. Degenerate primers are useful for amplifying homologou...
179
click to vote
ICCV
2003
IEEE
15 years 12 months ago
2003
IEEE
The Crossed-Slits (X-Slits) camera is defined by two nonintersecting slits, which replace the pinhole in the common perspective camera. Each point in space is projected to the im...