Temat: automatic verification

Skocz do pozycji: 1.

Tytuł:: Improving Reachability Analysis of Infinite State Systems by Specialization
Autorzy:: Fioravanti, F.
Pettorossi, A.
Proietti, M.
Senni, V.
Data publikacji:: 2012
Słowa kluczowe:: reachability analysis
automatic verification
program transformation
constraint logic programming (CLP); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Software Testing classes support system
Platforma do wspomagania zajęć laboratoryjnych z Testowania Oprogramowania
Autorzy:: Laskowski, Maciej
Słowa kluczowe:: Software Testing, software system, tasks verification, automatic verification
Testowanie Oprogramowania, system informatyczny, weryfikacja zadań, sprawdzanie zadań, automatyczna weryfikacja; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: The Effect of Voice over IP Transmission Degradations on MAP-EM-GMM Speaker Verification Performance
Autorzy:: Maciejko, W.
Data publikacji:: 2015
Słowa kluczowe:: automatic speaker verification
packet loss
speech compression
voice over IP; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Software Testing classes support system
Platforma do wspomagania zajęć laboratoryjnych z Testowania Oprogramowania
Autorzy:: Szklarzewicz, Michał
Słowa kluczowe:: Software Testing, software system, tasks verification, automatic verification
Testowanie Oprogramowania, system informatyczny, weryfikacja zadań, sprawdzanie zadań, automatyczna weryfikacja; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Model checking processes specified in join-calculus algebra
Autorzy:: Maludziński, S.
Dobrowolski, G.
Data publikacji:: 2014
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: join-calculus
model checking
formal methods
automatic software verification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Model checking processes specified in join-calculus algebra
Autorzy:: Maludziński, S.
Dobrowolski, G.
Data publikacji:: 2014
Słowa kluczowe:: join-calculus
model checking
formal methods
automatic software verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: The Effect of Voice over IP Transmission Degradations on MAP-EM-GMM Speaker Verification Performance
Autorzy:: Maciejko, W.
Data publikacji:: 2015
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: automatic speaker verification
packet loss
speech compression
voice over IP; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Implementacja algorytmu estymacji cech sygnału mowy systemu automatycznej weryfikacji mówcy w układzie FPGA
Autorzy:: Staworko, M.
Rawski, M.
Data publikacji:: 2010
Słowa kluczowe:: weryfikacja mówcy
LFCC
FPGA
niski pobór mocy
terms-automatic speaker verification
low power application; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: An improved ant colony optimization algorithm and its application to text-independent speaker verification system
Autorzy:: Aghdam, M. H.
Data publikacji:: 2012
Wydawca:: Społeczna Akademia Nauk w Łodzi. Polskie Towarzystwo Sieci Neuronowych
Tematy:: ant colony
optimization
ant colony optimization
ACO
security
automatic speaker verification
ASV
feature space
Gaussian mixture model universal background model
GMM-UBM; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: An improved ant colony optimization algorithm and its application to text-independent speaker verification system
Autorzy:: Aghdam, M. H.
Data publikacji:: 2012
Słowa kluczowe:: ant colony
optimization
ant colony optimization
ACO
security
automatic speaker verification
ASV
feature space
Gaussian mixture model universal background model
GMM-UBM; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Research on Metamodel Consistency Verification Based on First-order Logical Inference
Autorzy:: Jiang, T.
Data publikacji:: 2012
Słowa kluczowe:: metamodel
DSMML
meta-type
consistency verification
automatic mapping; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Evaluation and verification of the WetSpa model based on selected rural catchments in Poland
Ocena i weryfikacja modelu WetSpa w warunkach wybranych zlewni rolniczych w Polsce
Autorzy:: Porretta-Brandyk L.
Chormanski J.
Ignar S.
Okruszko T.
Brandyk A.
Szymczak T.
Krezalek K.
Tematy:: evaluation
verification
WetSpa model
rural catchment
Poland
automatic calibration
lowland rural catchment
rainfall-run-off process
run-off modelling; Pokaż więcej
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Mikrozmienność charakterystyk metrologicznych termo- i higrometrycznych urządzeń i układów pomiarowych w automatycznych stacjach meteorologicznych Państwowej Służby Hydrologiczno - Meteorologicznej
Autorzy:: Różdżyński, K.
Data publikacji:: 2013
Słowa kluczowe:: niestabilność
dryft charakterystyk meteorologicznych
stacja automatyczna
metody weryfikacji danych meteorologicznych
instability
drift characteristics
automatic meteorological station
method of verification meteorological data; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Mikrozmienność charakterystyk metrologicznych termo- i higrometrycznych urządzeń i układów pomiarowych w automatycznych stacjach meteorologicznych Państwowej Służby Hydrologiczno - Meteorologicznej
Micro-variability of characteristics of thermo- and hygrometric circuits in automatic meteorological stations of the State Hydrological-Meteorological Service (PSHM)
Autorzy:: Różdżyński, K.
Data publikacji:: 2013
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: niestabilność
dryft charakterystyk meteorologicznych stacji automatycznych
metody weryfikacji danych meteorologicznych
instability
drift characteristics of automatic meteorological station
method of verification meteorological data; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Metody weryfikujące poziom wiedzy i umiejętności programisty
Verification methods of a programmer’s knowledge and skills
Autorzy:: Hajduk, Paweł
Wieruszewski, Norbert
Skublewska-Paszkowska, Maria
Data publikacji:: 2018
Wydawca:: Politechnika Lubelska. Instytut Informatyki
Tematy:: automatyczna ocena programistów
metody weryfikacji wiedzy
testy jednostkowe
analiza statyczna kodu
automatic programmers assessment
knowledge verification methods
unit tests
static code analysis; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Metody weryfikujące poziom wiedzy i umiejętności programisty
Autorzy:: Hajduk, Paweł
Wieruszewski, Norbert
Skublewska-Paszkowska, Maria
Data publikacji:: 2018
Słowa kluczowe:: programista
ocena automatyczna
metody weryfikacji wiedzy
testy jednostkowe
analiza statyczna kodu
automatic programmers assessment
knowledge verification methods
unit tests
static code analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "automatic verification" wg kryterium: Temat