Temat: real-time methods - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Real-time detection and classification of fish in underwater environment using YOLOv5: a comparative study of deep learning architectures
Wykrywanie i klasyfikacja ryb w czasie rzeczywistym w środowisku podwodnym przy użyciu YOLOv5: badanie porównawcze architekturgłębokiego uczenia
Autorzy:: Multajam, Rizki
Ayob, Ahmad Faisal Mohamad
Sanjaya, W.S. Mada
Sambas, Aceng
Rusyn, Volodymyr
Samila, Andrii
Data publikacji:: 2024
Wydawca:: Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
Tematy:: deep learning
YOLOv5
real-time methods
ONNX
automatic fish detection and classification
metody czasu rzeczywistego
automatyczne wykrywanie i klasyfikacja ryb; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Real-time detection and classification of fish in underwater environment using YOLOv5: a comparative study of deep learning architectures
Autorzy:: Multajam, Rizki
Ayob, Ahmad Faisal Mohamad
Sanjaya, W.S. Mada
Sambas, Aceng
Rusyn, Volodymyr
Samila, Andrii
Data publikacji:: 2024
Słowa kluczowe:: deep learning
YOLOv5
real-time methods
ONNX
automatic fish detection and classification
metody czasu rzeczywistego
automatyczne wykrywanie i klasyfikacja ryb; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Towards the Safety Verification of Real-Time Systems with the Coq Proof Assistant
Autorzy:: Tveretina, O.
Data publikacji:: 2009
Słowa kluczowe:: formal methods
real-time
theorem proving; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Towards the Safety Verification of Real-Time Systems with the Coq Proof Assistant
Autorzy:: Tveretina, O.
Data publikacji:: 2009
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: formal methods
real-time
theorem proving; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Zastosowanie metody odpytywania wielocyklowego w cyfrowych interfejsach szeregowych opartych o architekturę master-slave
Autorzy:: Żaba, S.
Data publikacji:: 2006
Słowa kluczowe:: distributed control system
real time system
digital serial interface
multicycle mechanism
GRMS
EDF methods; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Timed concurrent state machines
Autorzy:: Daszczuk, W. B.
Data publikacji:: 2007
Słowa kluczowe:: metody formalne
weryfikacja modelowa
weryfikacja w czasie rzeczywistym
automat czasowy
formal methods
model checking
real time verification
Timed Automata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Timed concurrent state machines
Współbieżne maszyny stanowe z czasem
Autorzy:: Daszczuk, W. B.
Data publikacji:: 2007
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: metody formalne
weryfikacja modelowa
weryfikacja w czasie rzeczywistym
automaty czasowe
formal methods
model checking
real time verification
Timed Automata; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Przydatność wybranych sposobów ustalania stopnia zużycia technicznego budynków w wycenie nieruchomości
The Suitability of the Selected Ways of Determining the Degree of Technical Wear in the Valuation of Real Estate
Autorzy:: Małgorzata Krajewska
Data publikacji:: 2016-06-01
Tematy:: stopień zużycia technicznego
metody czasowe
ocena stanu technicznego
wycena nieruchomości
degree of technical wear
time methods
evaluation of technical condition
real estate valuation; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Metody analiz organizmów zmodyfikowanych genetycznie
Autorzy:: Żurawska-Zajfert, M.
Grelewska-Nowotko, K.
Żmijewska, E.
Data publikacji:: 2013
Słowa kluczowe:: organizm zmodyfikowany genetycznie
GMO
PCR
Real-Time PCR
metody analiz GMO
metoda jakościowa
metoda ilościowa
ELISA
genetically modified organism
GMO analysis methods
qualitative method
quantitative method; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Badania eksperymentalne magistral miejscowych dla wybranych metod szeregowania wiadomości
Autorzy:: Żaba, S.
Data publikacji:: 2004
Słowa kluczowe:: rozproszony system komputerowy
systemy czasu rzeczywistego
magistrala miejscowa
szeregowanie wiadomości
metoda FIFO
GRMS
EDF
distributed control system
real time system
fieldbus network
message scheduling
FIFO
EDF methods; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "real-time methods" wg kryterium: Temat