-
1دورية أكاديمية
المصدر: 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
-
2دورية أكاديمية
المؤلفون: 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
-
3
المؤلفون: 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 -
4دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
5
المؤلفون: 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 -
6
المصدر: 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 -
7دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
8
المؤلفون: 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 -
9مورد إلكتروني