445 search results - page 20 / 89 » Ordering Phrases with Function Words |
SIAMCOMP
2008
14 years 9 months ago
2008
Abstract. Monadic second-order unification is second-order unification where all function constants occurring in the equations are unary. Here we prove that the problem of deciding...
157
click to vote
AAI
2011
14 years 1 months ago
2011
We compare different strategies to apply statistical machine translation techniques in order to retrieve documents which are a plausible translation of a given source document. Fi...
EWCBR
2004
Springer
15 years 3 months ago
2004
Springer
The complexity of software systems makes design reuse a necessary task in the software development process. CASE tools can provide cognitive assistance in this task, helping the so...
105
click to vote
SIAMMAX
2011
14 years 14 days ago
2011
Higher-order tensors are used in many application fields, such as statistics, signal processing, and scientific computing. Efficient and reliable algorithms for manipulating thes...
CGF
1999
14 years 9 months ago
1999
Direct volume rendering based on projective methods works by projecting, in visibility order, the polyhedral cells of a mesh onto the image plane, and incrementally compositing th...