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ł

Szczegóły

Skocz do pozycji: 2.

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ł

Szczegóły

Skocz do pozycji: 3.

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ł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Requirements of a hard formations early detection system in opencast lignite mines
Wymagania systemu wczesnego wykrywania twardych formacji skalnych w odkrywkowych kopalniach węgla brunatnego
Autorzy:: Michalakopoulos, T.
Apostolopoulos, G.
Kofakis, P.
Voulgarakis, A.
Menegaki, M.
Amolochitis, G.
Galetakis, M.
Roumpos, C.
Data publikacji:: 2018
Wydawca:: Poltegor-Instytut Instytut Górnictwa Odkrywkowego
Tematy:: continuous surface mining
opencast lignite mining
bucket wheel excavators
hard inclusions
real-time detection
geophysical methods
BEWEXMIN
ciągły system wydobywczy
odkrywkowe wydobycie węgla brunatnego
wielonaczyniowe koparki kołowe
twarde inkluzje
wykrywanie w czasie rzeczywistym
metody geofizyczne; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Using Big Data in Innovation Research
Używanie Big Data w badaniach nad innowacjami
Autorzy:: Nawojczyk, Maria
Królewski, Jarosław
Data publikacji:: 2016-09
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: Big Data
social sciences computing
analysis in real time
social innovation
social change
model to study innovations
Mixed-Methods Research
informatyka społeczna
analiza w czasie rzeczywistym
innowacje społeczne
zmiana społeczna
model badania innowacji
łączone metody badawcze; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja