top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Kontinuierliche Selbstkalibrierung von Stereokameras
Kontinuierliche Selbstkalibrierung von Stereokameras
Autore Dang Thao
Pubbl/distr/stampa KIT Scientific Publishing, 2007
Descrizione fisica 1 electronic resource (XII, 142 p. p.)
Collana Schriftenreihe. Institut für Mess- und Regelungstechnik, Universität Karlsruhe (TH)
Soggetto non controllato Stereokamera
Bildverarbeitung
Aktives Sehen
Rekursive Parameterschätzung
Selbstkalibrierung
ISBN 1000006635
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNINA-9910346699203321
Dang Thao  
KIT Scientific Publishing, 2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Runtime Verification [[electronic resource] ] : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings / / edited by Thao Dang, Volker Stolz
Runtime Verification [[electronic resource] ] : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings / / edited by Thao Dang, Volker Stolz
Autore Dang Thao
Edizione [1st ed. 2022.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022
Descrizione fisica 1 online resource (355 pages)
Disciplina 005.1
Altri autori (Persone) StolzVolker
Collana Lecture Notes in Computer Science
Soggetto topico Software engineering
Software Engineering
ISBN 3-031-17196-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Randomized First-Order Monitoring With Hashing -- Automated Surgical Procedure Assistance Framework using Deep Learning and Formal Runtime Monitoring -- Relaxing safety for metric first-order temporal logic via dynamic free variables -- Rule-based Runtime Mitigation against Poison Attacks on Neural Networks -- Optimizing Prestate Copies in Runtime Verification of Function Postconditions -- A Barrier Certificate-based Simplex Architecture with Application to Microgrids -- Optimal Finite-State Monitoring of Partial Traces -- Tainting in Smart Contracts: Combining Static and Runtime Verification -- Pace Transaction Monitoring of Smart Contracts -- Anticipatory Recurrent Monitoring with Uncertainty and Assumptions -- Abstract Monitors for Quantitative Specifications -- Organization Runtime Verification of Kotlin Coroutines -- A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification -- Pace Towards Specificationless Monitoring of ProvenanceEmitting Systems -- A Python Library for Trace Analysis -- Lock Contention Classification for Java Intrinsic Locks -- TestSelector: Automatic Test Suite Selection for Student Projects -- Falcone Runtime verification for FMI-based co-simulation -- – An Ecosystem For Runtime Verification -- Real-time Visualization of Stream-based Monitoring Data -- Automating numerical parameters along the evolution of a nonlinear system.
Record Nr. UNISA-996490354103316
Dang Thao  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings / / edited by Thao Dang, Volker Stolz
Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings / / edited by Thao Dang, Volker Stolz
Autore Dang Thao
Edizione [1st ed. 2022.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022
Descrizione fisica 1 online resource (355 pages)
Disciplina 005.1
005.14
Altri autori (Persone) StolzVolker
Collana Lecture Notes in Computer Science
Soggetto topico Software engineering
Software Engineering
ISBN 3-031-17196-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Randomized First-Order Monitoring With Hashing -- Automated Surgical Procedure Assistance Framework using Deep Learning and Formal Runtime Monitoring -- Relaxing safety for metric first-order temporal logic via dynamic free variables -- Rule-based Runtime Mitigation against Poison Attacks on Neural Networks -- Optimizing Prestate Copies in Runtime Verification of Function Postconditions -- A Barrier Certificate-based Simplex Architecture with Application to Microgrids -- Optimal Finite-State Monitoring of Partial Traces -- Tainting in Smart Contracts: Combining Static and Runtime Verification -- Pace Transaction Monitoring of Smart Contracts -- Anticipatory Recurrent Monitoring with Uncertainty and Assumptions -- Abstract Monitors for Quantitative Specifications -- Organization Runtime Verification of Kotlin Coroutines -- A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification -- Pace Towards Specificationless Monitoring of ProvenanceEmitting Systems -- A Python Library for Trace Analysis -- Lock Contention Classification for Java Intrinsic Locks -- TestSelector: Automatic Test Suite Selection for Student Projects -- Falcone Runtime verification for FMI-based co-simulation -- – An Ecosystem For Runtime Verification -- Real-time Visualization of Stream-based Monitoring Data -- Automating numerical parameters along the evolution of a nonlinear system.
Record Nr. UNINA-9910595028003321
Dang Thao  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui