1548 search results - page 109 / 310 » Computational Approaches to Sentence Completion |
TASLP
2008
13 years 10 months ago
2008
This paper describes an approach for computing a consensus translation from the outputs of multiple machine translation (MT) systems. The consensus translation is computed by weigh...
ICLP
2009
Springer
14 years 10 months ago
2009
Springer
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
TLCA
2005
Springer
14 years 3 months ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...
ECCV
1998
Springer
14 years 2 months ago
1998
Springer
Region-based image segmentation techniques make use of similarity in intensity, color and texture to determine the partitioning of an image. The powerful cue of contour continuity ...
DSVIS
2008
Springer
13 years 12 months ago
2008
Springer
The ability to characterize visualizations would bring several benefits to the design process. It would help designers to assess their designs, reuse existing designs in new contex...