5757 search results - page 907 / 1152 » Dynamic Policy Programming |
134
click to vote
ICCPOL
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper describes a methodology for constructing aligned German-Chinese corpora from movie subtitles. The corpora will be used to train a special machine translation s...
99
Voted
CC
2001
Springer
15 years 5 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
109
Voted
EMMCVPR
2001
Springer
15 years 5 months ago
2001
Springer
By exploiting an analogy with averaging procedures in fluid dynamics, we present a set of averaged template matching equations. These equations are analogs of the exact template m...
102
click to vote
ISRR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. This paper traces four years of evolution of the UNSW team in the RoboCup Sony legged robot league. The lessons learned in the creation of a competitive team are instruct...
83
Voted
ICRA
2000
IEEE
15 years 5 months ago
2000
IEEE
4-D/RCS is the reference model architecture currently being developed for the Demo III Experimental Unmanned Vehicle program. 4-D/RCS integrates the NIST (National Institute of St...