search result

Cover von ICIAP

ICIAP
proceedings
Search for this author
Year: 1999 - 2003
Publisher: Los Alamitos, IEEE
Media group: KONGRESSBERICHT
Cover von ICDAR

ICDAR
proceedings
Search for this author
Year: 1995 and following
Publisher: Los Alamitos, IEEE
Media group: KONGRESSBERICHT
Cover von On the Use of Concept Maps to Improve Student Skills in an Introductory Object-Oriented Analysis and Design Course

On the Use of Concept Maps to Improve Student Skills in an Introductory Object-Oriented Analysis and Design Course
Year: 2025
Media group: OASICS
Cover von (Can't) Fly Me to the Moon or Mars? Context of Use Analysis Approaches for Space Exploration

(Can't) Fly Me to the Moon or Mars? Context of Use Analysis Approaches for Space Exploration
Year: 2025
Media group: OASICS
Cover von Risk Analysis Technique for the Evaluation of AI Technologies with Respect to Directly and Indirectly Affected Entities (Practitioner Track)

Risk Analysis Technique for the Evaluation of AI Technologies with Respect to Directly and Indirectly Affected Entities (Practitioner Track)
Year: 2025
Media group: OASICS
Cover von A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-In On-The-Fly Call Graph Construction

A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-In On-The-Fly Call Graph Construction
Year: 2024
Media group: LIPIcs
Cover von Tree-structured theorem proving using controlled case analysis mechanisms for classical, three-, and four-valued logic

Tree-structured theorem proving using controlled case analysis mechanisms for classical, three-, and four-valued logic
Author: Mellouli, Taieb Search for this author
Year: 1994
Publisher: Paderborn, Universität
Media group: DISSERTATION
Cover von Ethical and Philosophical Issues in Medical Imaging, Multimodal Learning and Fusion Across Scales for Clinical Decision Support, and Topological Data Analysis for Biomedical Imaging

Ethical and Philosophical Issues in Medical Imaging, Multimodal Learning and Fusion Across Scales for Clinical Decision Support, and Topological Data Analysis for Biomedical Imaging
1st International Workshop, EPIMI 2022, 12th International Workshop, ML-CDS 2022, 2nd International Workshop, TDA4BiomedicalImaging, Held in Conjunction with MICCAI 2022, Singapore, September 18 - 22, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13755
Media group: MONOGRAPHIE
Cover von A Mathematical Comparison Between Response-Time Analysis and Real-Time Calculus for Fixed-Priority Preemptive Scheduling

A Mathematical Comparison Between Response-Time Analysis and Real-Time Calculus for Fixed-Priority Preemptive Scheduling
Year: 2022
Media group: LIPIcs
Cover von OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis

OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis
First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11041
Media group: MONOGRAPHIE
OPEN V 11.1.0.0