2586 search results - page 267 / 518 » Automatic Abstraction for Congruences |
220
click to vote
ICCPOL
2009
Springer
15 years 11 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...
168
click to vote
INEX
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The goal of the INEX 2009 Book Track is to evaluate approaches for supporting users in reading, searching, and navigating the full texts of digitized books. The investiga...
168
click to vote
LOCA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We propose a novel model-based approach to activity recognition using high-level primitives that are derived from a human body model estimated from sensor data. Using sho...
183
click to vote
EUROPAR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes a software architecture that allows image processing researchers to develop parallel applications in a transparent manner. The architecture’s main ...
157
click to vote
FCT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present three results on divisibility monoids. These divisibility monoids were introduced in [11] as an algebraic generalization of Mazurkiewicz trace monoids. (1) We ...