- Standort
-
München, Bayerische Staatsbibliothek -- 4 Z 72.551-44#S.850-891
- Umfang
-
1 Online-Ressource (S. 850 - 891)
- Sprache
-
Englisch
- Anmerkungen
-
In: Journal of the ACM, Vol. 44, No. 6, 1997. - New York, NY : Assoc. for Computing Machinery (ACM)
- Ereignis
-
Veröffentlichung
- (wo)
-
New York, NY
- (wer)
-
Assoc. for Computing Machinery (ACM)
- (wann)
-
1997
- Urheber
- URN
-
urn:nbn:de:bvb:12-bsb00069229-0
- Letzte Aktualisierung
-
16.04.2025, 08:42 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Bayerische Staatsbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Bayerische Staatsbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Broy, Manfred
- Assoc. for Computing Machinery (ACM)
Entstanden
- 1997
Ähnliche Objekte (12)
Interactive visual exploration and refinement of cluster assignments
Specification and development of interactive systems : focus on streams, interfaces, and refinement
Specification and development of interactive systems : focus on streams, interfaces and refinement
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Residual refinement for interactive skin lesion segmentation
DISIR: DEEP IMAGE SEGMENTATION WITH INTERACTIVE REFINEMENT
Compositional synthesis of reactive systems
Compositional synthesis of modular systems
Compositional Testing of Communication Systems
Compositional stability verification of hybrid systems
Model checking compositional Markov systems
Compositional learning of mutually recursive procedural systems
Interactive visual exploration and refinement of cluster assignments
Specification and development of interactive systems : focus on streams, interfaces, and refinement
Specification and development of interactive systems : focus on streams, interfaces and refinement
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Residual refinement for interactive skin lesion segmentation
DISIR: DEEP IMAGE SEGMENTATION WITH INTERACTIVE REFINEMENT
Compositional synthesis of reactive systems
Compositional synthesis of modular systems
Compositional Testing of Communication Systems
Compositional stability verification of hybrid systems
Model checking compositional Markov systems
Compositional learning of mutually recursive procedural systems
Interactive visual exploration and refinement of cluster assignments
Specification and development of interactive systems : focus on streams, interfaces, and refinement
Specification and development of interactive systems : focus on streams, interfaces and refinement
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Residual refinement for interactive skin lesion segmentation
DISIR: DEEP IMAGE SEGMENTATION WITH INTERACTIVE REFINEMENT
Compositional synthesis of reactive systems
Compositional synthesis of modular systems
Compositional Testing of Communication Systems
Compositional stability verification of hybrid systems
Model checking compositional Markov systems