Timed verification of the generic architecture of a memory circuit using parametric timed automata

By Chevallier Remy   Encrenaz-Tiphene Emmanuelle   Fribourg Laurent   Xu Weiwen  

Formal Methods in System Design, Vol. 34, Iss. 1, 2009-02 ,pp. : 59-81

Springer Publishing Company

Access to resources Recommend Favorite

Color Classification Using Color Vision Models

By Jetsu Tuija   Essiarab Yasser   Heikkinen Ville   Jaaskelainen Timo   Parkkinen Jussi  

Conference on Colour in Graphics, Imaging, and Vision, Vol. 2008, Iss. 1, 2008-01 ,pp. : 227-230

Society for Imaging Science and Technology

Access to resources Recommend Favorite

AV-Shell, an Environment for Autonomous Robotic Applications Using Active Vision

By Fayman J.A.  

Autonomous Robots, Vol. 6, Iss. 1, 1999-01 ,pp. : 21-38

Springer Publishing Company

Access to resources Recommend Favorite

Active Appearance-Based Robot Localization Using Stereo Vision

By Porta J.M.  

Autonomous Robots, Vol. 18, Iss. 1, 2005-01 ,pp. : 59-80

Springer Publishing Company

Access to resources Recommend Favorite

Verification and validation of simulation models

By Sargent R G  

Journal of Simulation, Vol. 7, Iss. 1, 2013-02 ,pp. : 12-24

Palgrave Macmillan Ltd

Access to resources Recommend Favorite