10910 search results - page 1920 / 2182 » Input modeling using a computer algebra system |
165
Voted
ACL
2012
13 years 7 months ago
2012
Long distance word reordering is a major challenge in statistical machine translation research. Previous work has shown using source syntactic trees is an effective way to tackle ...
178
click to vote
CVPR
2004
IEEE
16 years 7 months ago
2004
IEEE
We present a complete system for the purpose of automatically assembling 3D pots given 3D measurements of their fragments commonly called sherds. A Bayesian approach is formulated...
144
Voted
FTRTFT
1998
Springer
15 years 9 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
172
click to vote
CVPR
2005
IEEE
16 years 7 months ago
2005
IEEE
Classifying pictures into one of several semantic categories is a classical image understanding problem. In this paper, we present a stratified approach to both binary (outdoor-in...
140
click to vote
RT
2004
Springer
15 years 10 months ago
2004
Springer
Despite recent advances in finding efficient LOD-representations for gigantic 3D objects, rendering of complex, gigabyte-sized models and environments is still a challenging tas...