445 search results - page 20 / 89 » Ordering Phrases with Function Words |
130
click to vote
SIAMCOMP
2008
15 years 5 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...
356
click to vote
AAI
2011
14 years 9 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...
202
click to vote
EWCBR
2004
Springer
15 years 11 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...
191
click to vote
SIAMMAX
2011
14 years 8 months 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...
183
click to vote
CGF
1999
15 years 5 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...