4814 search results - page 121 / 963 » Combining abstract interpreters |
175
click to vote
COLCOM
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract. The original purpose of Web metadata was to protect endusers from possible harmful content and to simplify search and retrieval. However they can also be exploited in mor...
179
click to vote
ICARCV
2008
IEEE
16 years 24 days ago
2008
IEEE
Abstract—This paper is concerned with the problem of estimating the relative translation and orientation between an inertial measurement unit and a camera which are rigidly conne...
160
click to vote
AMS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The implementation of high-performance robot controllers for complex control tasks such as playing autonomous robot soccer is tedious, errorprone, and a never ending prog...
183
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In many cases, human actions can be identified not only by the singular observation of the human body in motion, but also properties of the surrounding scene and the rel...
186
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolute...