2496 search results - page 165 / 500 » On covering by translates of a set |
159
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
We propose a method to synchronize video sequences of distinct scenes captured by cameras undergoing similar motions. For the general camera motion and 3D scene, the camera ego-mo...
163
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
141
click to vote
CLEF
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Our report describes the results of work in our participation in the IndonesianEnglish question-answering task of the 2006 Cross-Language Evaluation Forum (CLEF). In this...
158
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
Several logical languages have been considered in AI for encoding compactly preference relations over a set of alternatives. In this paper, we analyze both the expressiveness and ...
163
click to vote
CLEF
2003
Springer
15 years 11 months ago
2003
Springer
This paper reports on the participation of ITC-irst in the Cross Language Evaluation Forum 2003; in particular, in the monolingual, bilingual, small multilingual, and spoken docum...