Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
automatic error correction (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(1/83)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas
Model-based verification with error localization and error correction for C designs
Repinski, Urmas
Программные продукты и системы = Programmnye produkty i sistemy = Software & systems
2012
/
p. 221-229 : ill
artikkel ajakirjas
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
83
1.
automatic error correction
2.
error correction
3.
error correction code
4.
vector error correction
5.
Vector Error Correction Model
6.
base line correction
7.
baseline correction
8.
bias correction
9.
Cc correction
10.
climate correction
11.
correction factor
12.
correction of an offender
13.
Cs correction
14.
end coordinate correction and filtering
15.
peak line correction
16.
power factor correction
17.
power factor correction (PFC)
18.
power-factor correction
19.
signal discretization period correction
20.
terrain correction
21.
three-phase power factor correction (PFC) converter
22.
water flow correction
23.
assessment error
24.
bit error rate
25.
Bit Error Rate (BER)
26.
bit-error rate test
27.
conversion error
28.
design error localization
29.
error
30.
error analysis
31.
error detection
32.
error localization
33.
error management
34.
error message
35.
error propagation
36.
error source
37.
Estimation error
38.
gating-aware error injection
39.
human error
40.
machine error
41.
maximum permissible error (deviation) of measurement result
42.
mean squared error estimation
43.
measurement error in household surveys
44.
output error
45.
packet error rate
46.
packet error ratio
47.
sampling error
48.
soft error protection
49.
soft-error reliability
50.
symbol error rate
51.
symbol error rate (SER)
52.
tool inclination angle error
53.
truncation error
54.
weighted prediction error
55.
word error rate
56.
automatic AI (autoAI)
57.
automatic assertion mining
58.
automatic calibration
59.
automatic clutch engagement
60.
automatic code generation
61.
automatic control
62.
automatic control systems
63.
automatic evaluation
64.
automatic fault diagnosis
65.
Automatic generation control
66.
automatic GUI model generation
67.
automatic identification system (AIS)
68.
automatic machine learning (autoML)
69.
automatic model creation
70.
automatic processing of solutions
71.
automatic program synthesis
72.
automatic programming
73.
Automatic Security Verification
74.
automatic speaker verification
75.
automatic speech recognition
76.
automatic test case generation
77.
automatic test pattern generation
78.
automatic test program generation
79.
automatic tide gauges
80.
automatic weather stations
81.
automatic voltage control
82.
DLL for automatic calibration
83.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT