1216 search results - page 97 / 244 » Translation analysis and translation automation |
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— In this paper, we analyze and compare five imagebased visual servoing control laws. Three of them are classical while two new ones are proposed. The first new control...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
— In this paper, a novel mechanism of remote actuation was proposed and its mechanical problems were discussed. This mechanism consists of leverage and parallelogram mechanism an...
CAV
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
FORTE
2007
13 years 9 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
ACL
2012
11 years 10 months ago
2012
Long-span features, such as syntax, can improve language models for tasks such as speech recognition and machine translation. However, these language models can be difficult to u...