المؤلفون: Ringdahl, Ola, Kurtser, Polina, 1990, Edan, Yael

المصدر: 2019 European Conference on Mobile Robots (ECMR). :1-6

مصطلحات موضوعية: agriculture, cameras, feature extraction, greenhouses, image colour analysis, image sensors, industrial robots, mobile robots, object tracking, robot vision, statistical analysis, pruning, sensing conditions, evaluation protocol, object types, autonomous sweet pepper harvesting, exemplary agricultural task, autonomous agricultural robot, ROI, point cloud density, object type, point density, black colored objects, point cloud variability measures, fixed object, greenhouse conditions, autonomous navigation, agricultural operations, horticultural operations, commercial RGB-D cameras, Fotonic F80 time-of-flight RGB-D camera, size 4.0 cm, size 1.0 cm to 3.0 cm, Cameras, Three-dimensional displays, Robot vision systems, End effectors, Green products

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-79409Test
https://doi.org/10.1109/ECMR.2019.8870935Test

المؤلفون: Landry, Normand, Pilote, Anne-Marie, Brunelle, Anne-Marie

المصدر: Journal of Information Policy, 2020 May 01. 10, 329-387.

الوصول الحر: https://www.jstor.org/stable/10.5325/jinfopoli.10.2020.0329Test

المؤلفون: Louge, Thierry, Karray, Mohamed Hedi, Archimède, Bernard, Knödlseder, Jürgen

المساهمون: Laboratoire Génie de Production (LGP), Ecole Nationale d'Ingénieurs de Tarbes (ENIT), Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université de Toulouse (UT), Institut de recherche en astrophysique et planétologie (IRAP), Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut national des sciences de l'Univers (INSU - CNRS)-Observatoire Midi-Pyrénées (OMP), Institut de Recherche pour le Développement (IRD)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut national des sciences de l'Univers (INSU - CNRS)-Centre National d'Études Spatiales Toulouse (CNES)-Centre National de la Recherche Scientifique (CNRS)-Météo-France-Institut de Recherche pour le Développement (IRD)-Institut national des sciences de l'Univers (INSU - CNRS)-Centre National d'Études Spatiales Toulouse (CNES)-Centre National de la Recherche Scientifique (CNRS)-Météo-France-Centre National de la Recherche Scientifique (CNRS)

المصدر: ISSN: 2213-1337 ; Astronomy and Computing ; https://hal.science/hal-01945190Test ; Astronomy and Computing, 2018, 24, pp.1-16. ⟨10.1016/j.ascom.2018.05.001⟩.

مصطلحات موضوعية: OWL-S based ontology, Virtual observatory (VO)- Astrophysics, Object types, Interoperability, Astrophysical Services ONtology (ASON), [INFO.INFO-WB]Computer Science [cs]/Web, [SDU.ASTR]Sciences of the Universe [physics]/Astrophysics [astro-ph]

العلاقة: hal-01945190; https://hal.science/hal-01945190Test; https://hal.science/hal-01945190/documentTest; https://hal.science/hal-01945190/file/Louge_20078.pdfTest; OATAO: 20078

الإتاحة: https://doi.org/10.1016/j.ascom.2018.05.001Test
https://hal.science/hal-01945190Test
https://hal.science/hal-01945190/documentTest
https://hal.science/hal-01945190/file/Louge_20078.pdfTest

المؤلفون: Jun Kawahara, Tomoki Maezawa, Tomoyuki Tanda, 前澤 知輝, 反田 智之, 河原 純一郎

المصدر: Proceedings of the Japanese Society for Cognitive Psychology. 2019, :87

المؤلفون: Kabir, Ifaz, Li, Yufeng, Lhoták, Ondřej

مصطلحات موضوعية: Scala, DOT, dependent object types, type systems, type safety, type soundness, Coq, initialization, effect systems, iDOT

العلاقة: https://zenodo.org/record/4060109Test; https://doi.org/10.5281/zenodo.4060109Test; oai:zenodo.org:4060109

الإتاحة: https://doi.org/10.5281/zenodo.4060109Test
https://doi.org/10.5281/zenodo.4060108Test
https://zenodo.org/record/4060109Test

المؤلفون: Nada Amin, Tiark Rompf

المصدر: POPL

مصطلحات موضوعية: Scala, Computer science, Definitional interpreters, 0102 computer and information sciences, 02 engineering and technology, Semantics, computer.software_genre, Mathematical proof, 01 natural sciences, Operational semantics, 46 Information and Computing Sciences, 0202 electrical engineering, electronic engineering, information engineering, Object type, 4612 Software Engineering, computer.programming_language, Soundness, Transitive relation, Programming language, DOT, System F, Coinduction, 020207 software engineering, type soundness, dependent object types, Computer Graphics and Computer-Aided Design, Subtyping, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, computer, Software

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d67ba26cb834e95518ce848b110bc6bTest

المؤلفون: Nada Amin, Tiark Rompf

المصدر: OOPSLA

مصطلحات موضوعية: Theoretical computer science, Computer science, Scala, 5003 Philosophy, 0102 computer and information sciences, 02 engineering and technology, Type (model theory), soundness, computer.software_genre, 01 natural sciences, 46 Information and Computing Sciences, 0202 electrical engineering, electronic engineering, information engineering, Object type, 4612 Software Engineering, computer.programming_language, Soundness, Functional programming, Recursive data type, Programming language, DOT, 4904 Pure Mathematics, 020207 software engineering, dependent object types, Object (computer science), Computer Graphics and Computer-Aided Design, Subtyping, 50 Philosophy and Religious Studies, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 49 Mathematical Sciences, computer, Covariance and contravariance, Software

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::310769ce708767742d1e59dde73b1bb7Test

المؤلفون: Sergei Vorobyov

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.mpi-sb.mpg.de/~sv/publications/reports/MPI-I-98-2-004.ps.gzTest.

مصطلحات موضوعية: record type constructors, partial, object types, type reconstruction problem, subtyping, subsumption, subtype constraints, satisfiability

وصف الملف: application/postscript

العلاقة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.2356Test; http://www.mpi-sb.mpg.de/~sv/publications/reports/MPI-I-98-2-004.ps.gzTest

الإتاحة: http://www.mpi-sb.mpg.de/~sv/publications/reports/MPI-I-98-2-004.ps.gzTest

المؤلفون: PINTZUK, SUSAN, author

المصدر: Grammaticalization and Parametric Variation, 2005.

الإتاحة: https://doi.org/10.1093/acprof:oso/9780199272129.003.0015Test

المؤلفون: Mohamed Hedi Karray, Jürgen Knödlseder, Bernard Archimède, Thierry Louge

المساهمون: Centre National d'Études Spatiales - CNES (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Laboratoire Génie de Production (LGP), Ecole Nationale d'Ingénieurs de Tarbes, Institut de recherche en astrophysique et planétologie (IRAP), Institut national des sciences de l'Univers (INSU - CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Observatoire Midi-Pyrénées (OMP), Météo France-Centre National d'Études Spatiales [Toulouse] (CNES)-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche pour le Développement (IRD)-Météo France-Centre National d'Études Spatiales [Toulouse] (CNES)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche pour le Développement (IRD)-Centre National de la Recherche Scientifique (CNRS), Institut National Polytechnique de Toulouse - INPT (FRANCE), Ecole Nationale d'Ingénieurs de Tarbes (ENIT), Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université de Toulouse (UT), Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut national des sciences de l'Univers (INSU - CNRS)-Observatoire Midi-Pyrénées (OMP), Institut de Recherche pour le Développement (IRD)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut national des sciences de l'Univers (INSU - CNRS)-Centre National d'Études Spatiales [Toulouse] (CNES)-Centre National de la Recherche Scientifique (CNRS)-Météo-France -Institut de Recherche pour le Développement (IRD)-Institut national des sciences de l'Univers (INSU - CNRS)-Centre National d'Études Spatiales [Toulouse] (CNES)-Centre National de la Recherche Scientifique (CNRS)-Météo-France -Centre National de la Recherche Scientifique (CNRS)

المصدر: Astronomy and Computing
Astronomy and Computing, Elsevier 2018, 24, pp.1-16. ⟨10.1016/j.ascom.2018.05.001⟩
Astronomy and Computing, 2018, 24, pp.1-16. ⟨10.1016/j.ascom.2018.05.001⟩

مصطلحات موضوعية: ComputerSystemsOrganization_COMPUTERSYSTEMIMPLEMENTATION, Virtual observatory (VO)- Astrophysics, computer.internet_protocol, Computer science, Interoperability, Context (language use), 02 engineering and technology, Ontology (information science), Virtual observatory, computer.software_genre, 01 natural sciences, OWL-S, World Wide Web, 020204 information systems, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Object type, 010303 astronomy & astrophysics, Astrophysique, computer.programming_language, OWL-S based ontology, [SDU.ASTR]Sciences of the Universe [physics]/Astrophysics [astro-ph], [INFO.INFO-WB]Computer Science [cs]/Web, Astronomy and Astrophysics, Web Ontology Language, Web, Computer Science Applications, Astrophysical Services ONtology (ASON), Space and Planetary Science, Object types, Web service, computer

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9e747ece9e821d109762da7eb4640765Test
https://oatao.univ-toulouse.fr/20078Test/