2871 search results - page 104 / 575 » An Auxiliary Variational Method |
185
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
164
click to vote
EMNLP
2008
15 years 7 months ago
2008
We examine the problem of content selection in statistical novel sentence generation. Our approach models the processes performed by professional editors when incorporating materi...
147
click to vote
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
We propose a novel technique that significantly improves the performance of oriented chamfer matching on images with cluttered background. Different to other matching methods, whic...
155
click to vote
NAR
2008
15 years 6 months ago
2008
We present DAhunter, a web-based server that identifies homologous proteins by comparing domain architectures, the organization of protein domains. A major obstacle in comparison ...
177
click to vote
SIAMNUM
2010
15 years 1 months ago
2010
In this paper we develop an a posteriori error analysis of a new conforming mixed finite element method for the coupling of fluid flow with porous media flow. The flows are govern...