المؤلفون: Zhao, B., Wang, Q., Wu, Y., Cao, Q., Ran, Q.

المصدر: IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing IEEE J. Sel. Top. Appl. Earth Observations Remote Sensing Selected Topics in Applied Earth Observations and Remote Sensing, IEEE Journal of. 15:5416-5426 2022

المؤلفون: Boya Zhao, Qing Wang, Yuanfeng Wu, Qingqing Cao, Qiong Ran

المصدر: IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, Vol 15, Pp 5416-5426 (2022)

مصطلحات موضوعية: Deep neural network, feature transition, label registration, model distillation, remote sensing, target detection, Ocean engineering, TC1501-1800, Geophysics. Cosmic physics, QC801-809

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/9815508/; https://doaj.org/toc/2151-1535

URL الوصول: https://doaj.org/article/2103c0c89ebb4878ad9c2ebd0fd06040

المؤلفون: Cordy, Maxime, Devroey, Xavier, Legay, Axel, Perrouin, Gilles, Classen, Andreas, Heymans, Patrick, Schobbens, Pierre-Yves, Raskin, Jean-François, From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occas

المساهمون: ter Beek, M., Fantechi, A., Semini, L., UCL - SST/ICTM/INGI - Pôle en ingénierie informatique

المصدر: From Software Engineering to Formal Methods and Tools, and Back ISBN: 9783030309848
From Software Engineering to Formal Methods and Tools, and Back
Cordy, M, Devroey, X, Legay, A, Perrouin, G, Classen, A, Heymans, P, Schobbens, P-Y & Raskin, J-F 2019, A Decade of Featured Transition Systems . in M ter Beek, A Fantechi & L Semini (eds), From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11865 LNCS, Springer Verlag, pp. 285-312 . https://doi.org/10.1007/978-3-030-30985-5_18

مصطلحات موضوعية: Model checking, Variability-intensive systems, Theoretical computer science, Computer science, business.industry, feature transition systems, Testing, Modeling, 020207 software engineering, security, 02 engineering and technology, Sketch, Formalism (philosophy of mathematics), Model-checking, Software, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, verification, business, Verification and validation

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2ca17da9c8648b72926541e102effa2f
https://doi.org/10.1007/978-3-030-30985-5_18

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: M.I. Mohamed Abdul-Rahim, Zheng-Sheng Yu

المصدر: International Journal of Engineering and Management Research. 8

مصطلحات موضوعية: Matching (graph theory), business.industry, Computer science, 0206 medical engineering, Geometric transformation, ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION, Corner detection, 02 engineering and technology, 020601 biomedical engineering, Image (mathematics), Image stitching, 0202 electrical engineering, electronic engineering, information engineering, Feature based, 020201 artificial intelligence & image processing, Computer vision, Artificial intelligence, business, Image mosaicing, Registration, Blending, Geometric Transformation, Homography, Low-level Feature, Transition smoothening, Optimal Seam, Extraction, ComputingMethodologies_COMPUTERGRAPHICS, Homography (computer vision)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d4eca2ffd859a547917ca0a26afda743
https://doi.org/10.31033/ijemr.v8i02.11607

المؤلفون: Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Andrzej Wąsowski, Claus Brabrand

المصدر: Dimovski, A, Al-Sibahi, A S, Brabrand, C & Wasowski, A 2016, ' Efficient family-based model checking via variability abstractions ', International Journal on Software Tools for Technology Transfer, vol. 19, no. 5, pp. 585–603 . https://doi.org/10.1007/s10009-016-0425-2

مصطلحات موضوعية: Model checking, Family-Based Model Checking, Theoretical computer science, Scale (ratio), Modeling language, Computer science, Programming language, Abstract Interpretation, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Abstraction model checking, computer.software_genre, 01 natural sciences, Feature Transition System, Transformation (function), 010201 computation theory & mathematics, Scalability, Theory of computation, 0202 electrical engineering, electronic engineering, information engineering, Software system, computer, Software, Information Systems

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0dc28f99cfdc65a161d1925d78512f95
https://pure.itu.dk/portal/da/publications/70588a4a-8f3a-476a-9c6f-45566468b1df

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Belder, T., Beek, ter, M.H., Vink, de, E.P., Atlee, J.M., Gnesi, S.

المساهمون: Mathematics and Computer Science, Formal System Analysis, Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 182, Iss Proc. FMSPLE 2015, Pp 14-30 (2015)
FMSPLE'15-6th International Workshop on Formal Methods for Software Product Line Engineering, pp. 14, London, UK, 11 April 2015
info:cnr-pdr/source/autori:Belder T.; Ter Beek M. H.; De Vink E. P./congresso_nome:FMSPLE'15-6th International Workshop on Formal Methods for Software Product Line Engineering/congresso_luogo:London, UK/congresso_data:11 April 2015/anno:2015/pagina_da:/pagina_a:14/intervallo_pagine:14
Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering (FMSPLE 2015, London, UK, April 11, 2015), 14-30
STARTPAGE=14;ENDPAGE=30;TITLE=Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering (FMSPLE 2015, London, UK, April 11, 2015)

مصطلحات موضوعية: FOS: Computer and information sciences, Model checking, Computer Science - Logic in Computer Science, Theoretical computer science, Correctness, Computer science, Software Product Line Engineering, Projection (linear algebra), lcsh:QA75.5-76.95, Branching (linguistics), Computer Science - Software Engineering, Computer Science::Logic in Computer Science, Equivalence (measure theory), D.2.4, F.3.1, F.3.2, Bisimulation, Feature Transition Systems (FTS), lcsh:Mathematics, lcsh:QA1-939, FTS minimization, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Feature (computer vision), Product (mathematics), TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, lcsh:Electronic computers. Computer science, Branching bisimulation

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d56291f72619e0bd1eb63a4ad1b74790
https://research.tue.nl/en/publications/14758797-3c4b-499f-a785-fd650c93ef20

مصطلحات الفهرس: feature transition systems, security, verification, info:eu-repo/semantics/conferenceObject

URL: http://hdl.handle.net/2078.1/220538