| Document Date: 2012-01-23 11:39:09 Open Document File Size: 217,62 KBShare Result on Facebook
Company UAV / Autonomous Systems Laboratory / Wallenberg Information Technology / / Country Poland / Sweden / / / Facility Linköping University / University of Linköping / The University of Economics / / IndustryTerm quantifier elimination algorithm / machinery / image processing module / relational database technology / online interface / deductive database technology / relational database technologies / recursive applications / robotic systems / integrated software architecture / / Organization Linköping University / Department of Computer and Information Science / University of Economics / University of Linköping / / Person Martin Magnusson / / Position complete model of that region / / Product D LS / / ProgrammingLanguage SQL / L / C / / ProvinceOrState Washington / / Technology artificial intelligence / JAVA / relational database / Information Technology / LS algorithm / machine learning / relational database technologies / second-order quantifier elimination algorithm / image processing / relational database technology / deductive database technology / / URL http /
SocialTag |