On the Automated Construction of Image-Based Maps

By Bourque E.  

Autonomous Robots, Vol. 8, Iss. 2, 2000-04 ,pp. : 173-190

Springer Publishing Company

Access to resources Recommend Favorite

Asymmetric information distances for automated taxonomy construction

By Woon Wei   Madnick Stuart  

Knowledge and Information Systems, Vol. 21, Iss. 1, 2009-10 ,pp. : 91-111

Springer Publishing Company

Access to resources Recommend Favorite

Visually Dynamic Presentation of Proofs in Plane Geometry: Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method

By Ye Zheng   Chou Shang-Ching   Gao Xiao-Shan  

Journal of Automated Reasoning, Vol. 45, Iss. 3, 2010-10 ,pp. : 243-266

Springer Publishing Company

Access to resources Recommend Favorite

Centrifugation Based Automated Synthesis Technologies

By Lebl Michal  

Journal of the Association for Laboratory Automation, Vol. 8, Iss. 3, 2003-06 ,pp. : 30-35

Association for Laboratory Automation

Access to resources Recommend Favorite

Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations

By Ellman T.   Murata T.  

Automated Software Engineering, Vol. 5, Iss. 3, 1998-07 ,pp. : 291-319

Springer Publishing Company

Access to resources Recommend Favorite