7393 search results - page 438 / 1479 » Synthesis-for-testability using transformations |
148
click to vote
IROS
2009
IEEE
16 years 28 days ago
2009
IEEE
— In this paper we present a new vision-based SLAM approach for multi-robot formulation. For a cooperative map reconstruction, the robots have to know each other’s relative pos...
172
click to vote
WSOM
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. This paper is devoted to the analysis of career paths and employability. The state-of-the-art on this topic is rather poor in methodologies. Some authors propose distance...
158
click to vote
ATVA
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
152
click to vote
IVA
2009
Springer
16 years 25 days ago
2009
Springer
Expressing spatial information with iconic gestures is abundant in human communication and requires to transform a referent representation into resembling gestural form. This task ...
154
click to vote
ISCAS
2008
IEEE
16 years 21 days ago
2008
IEEE
— In many applications where speech separation and enhancement is of interest, e.g. conferencing systems, mobile phones and hearing aids, accurate speaker localization is importa...