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/89)
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
89
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 emulation
33.
error localization
34.
error management
35.
error message
36.
error propagation
37.
error quantification
38.
error source
39.
Estimation error
40.
gating-aware error injection
41.
human error
42.
machine error
43.
maximum permissible error (deviation) of measurement result
44.
mean squared error estimation
45.
measurement error in household surveys
46.
online design error debug
47.
output error
48.
packet error rate
49.
packet error ratio
50.
sampling error
51.
soft error protection
52.
soft-error reliability
53.
symbol error rate
54.
symbol error rate (SER)
55.
tool inclination angle error
56.
truncation error
57.
weighted prediction error
58.
word error rate
59.
automatic AI (autoAI)
60.
automatic assertion mining
61.
automatic calibration
62.
automatic clutch engagement
63.
automatic code generation
64.
automatic composition method
65.
automatic control
66.
automatic control systems
67.
automatic controllers
68.
automatic evaluation
69.
automatic fault diagnosis
70.
Automatic generation control
71.
automatic GUI model generation
72.
Automatic identification system
73.
automatic identification system (AIS)
74.
automatic machine learning (autoML)
75.
automatic model creation
76.
automatic processing of solutions
77.
automatic program synthesis
78.
automatic programming
79.
Automatic Security Verification
80.
automatic speaker verification
81.
automatic speech recognition
82.
automatic test case generation
83.
automatic test pattern generation
84.
automatic test program generation
85.
automatic tide gauges
86.
automatic weather stations
87.
automatic voltage control
88.
DLL for automatic calibration
89.
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