Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools
Publisher:
Year
: 2014DOI: 10.1109/IGARSS.2014.6946532
Keyword(s): data integration,remote sensing,vegetation mapping,China,RapidEye,basic geographic information cutting process,basic geographic information framing process,basic geographic information overlay process,data integration process,enhancement processing process,forest information,forest resource annual dynamic monitoring,forest resource development achievement,forest resource development identification,forest resource measurement analysis,forest resource monitoring system,forest resou
Collections
:
-
Statistics
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools
Show full item record
| contributor author | Bresolin, D. | |
| contributor author | Geretti, L. | |
| contributor author | Muradore, R. | |
| contributor author | Fiorini, P. | |
| contributor author | Villa, T. | |
| date accessioned | 2020-03-12T21:09:27Z | |
| date available | 2020-03-12T21:09:27Z | |
| date issued | 2014 | |
| identifier other | 6927307.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1038979 | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8165704 | |
| subject keywords | data integration | |
| subject keywords | remote sensing | |
| subject keywords | vegetation mapping | |
| subject keywords | China | |
| subject keywords | RapidEye | |
| subject keywords | basic geographic information cutting process | |
| subject keywords | basic geographic information framing process | |
| subject keywords | basic geographic information overlay process | |
| subject keywords | data integration process | |
| subject keywords | enhancement processing process | |
| subject keywords | forest information | |
| subject keywords | forest resource annual dynamic monitoring | |
| subject keywords | forest resource development achievement | |
| subject keywords | forest resource development identification | |
| subject keywords | forest resource measurement analysis | |
| subject keywords | forest resource monitoring system | |
| subject keywords | forest resou | |
| identifier doi | 10.1109/IGARSS.2014.6946532 | |
| journal title | igital System Design (DSD), 2014 17th Euromicro Conference on | |
| filesize | 472406 | |
| citations | 0 |