search result

Cover von Stability and Approximations for Decorated Reeb Spaces

Stability and Approximations for Decorated Reeb Spaces

Year: 2024
Media group: LIPIcs
Cover von Learning a Generic Value-Selection Heuristic Inside a Constraint Programming Solver

Learning a Generic Value-Selection Heuristic Inside a Constraint Programming Solver

Author: Cappart, Quentin
Year: 2023
Media group: LIPIcs
Cover von AI-Augmented Facilities; 3
Bridging Experiment and Simulation with ML : pp. 106-131
Author: Eniser, Hasan Ferit Search for this author
Year: 2023
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 3
Media group: DAGSTUHL REPORT
Cover von Program comprehension and software reengineering
08.03.1998 - 13.03.1998 (98101)
Search for this author
Year: 1998
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 204
Media group: DAGSTUHL-SEMINAR-REP
Cover von Human-computer interaction
Search for this author
Year: 1994
Publisher: Wokingham, Addison-Wesley
Media group: MONOGRAPHIE
Cover von Incremental computation and dynamic algorithms
02.05. - 06.05.94 (9418)
Search for this author
Year: 1994
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 88
Media group: DAGSTUHL-SEMINAR-REP
Cover von Graph-Based Representation and Reasoning
26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20 - 22, 2021, Proceedings
Search for this author
Year: 2021
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 12879
Media group: MONOGRAPHIE
Cover von Predicative Aspects of Order Theory in Univalent Foundations

Predicative Aspects of Order Theory in Univalent Foundations

Year: 2021
Media group: LIPIcs
Cover von Formal Concept Analysis
16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021, Proceedings
Search for this author
Year: 2021
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 12733
Media group: MONOGRAPHIE
Cover von Domain Theory in Constructive and Predicative Univalent Foundations

Domain Theory in Constructive and Predicative Univalent Foundations

Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0