1446 search results - page 212 / 290 » Testing for Concise Representations |
ISMS
2004
Springer
14 years 3 months ago
2004
Springer
Realistic tissue models require accurate representations of the properties of in vivo tissue. This study examines the potential for tactile imaging to measure tissue properties an...
ROBOCUP
2004
Springer
14 years 3 months ago
2004
Springer
This paper presents a vision system for robotic soccer which was tested on Sony’s four legged robot Aibo. The input for the vision system are images of the camera and the sensor ...
ROBOCUP
2004
Springer
14 years 3 months ago
2004
Springer
UCHILSIM is a robotic simulator specially developed for the RoboCup four-legged league. It reproduces with high accuracy the dynamics of AIBO motions and its interactions with the ...
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
This paper proposes a new learning method, which integrates feature selection with classifier construction for human detection via solving three optimization models. Firstly, the ...
ACSD
2003
IEEE
14 years 3 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...