2586 search results - page 132 / 518 » Automatic Abstraction for Congruences |
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— In this paper we present an experimental evaluation of automatic robotic assembly of complex planar parts. The torque-controlled DLR light-weight robot, equipped with a...
GCC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper describes an integrated architecture for online collaborative multimedia (audio and text) meetings which supports the recording of participants' audio exc...
KES
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a corpus-based approach for the automatic analysis and synthesis of email responses to help-desk requests. This approach can be used to automatically deal with...
LCPC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. With the fast development of multi-core processors, automatic parallelization becomes increasingly important. In this work, we focus on the parallelization of utility pro...
ASPDAC
1999
ACM
15 years 2 months ago
1999
ACM
Abstract Due to the large variety of di erent embedded processor types, retargetable software development tools, such as compilers and simulators, have received attention recently....