Անցեք բովանդակությանը

VuFind

- English
- Deutsch
- Español
- Français
- Italiano
- 日本語
- Nederlands
- Português
- Português (Brasil)
- 中文(简体)
- 中文（繁體）
- Türkçe
- עברית
- Gaeilge
- Cymraeg
- Ελληνικά
- Català
- Euskara
- Русский
- Čeština
- Suomi
- Svenska
- polski
- Dansk
- slovenščina
- اللغة العربية
- বাংলা
- Galego
- Tiếng Việt
- Hrvatski
- हिंदी
- Հայերէն
- Українська
- Sámegiella
- Монгол

Ընդլայնված

Error Explanation with Distanc...

Վկայակոչեք սա
Գրեք սա
Էլփոստով ուղարկեք սա
Տպել
Արտահանել գրառումը
Մշտական հղում

Error Explanation with Distance Metrics

Error Explanation with Distance Metrics

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Groce, A, Chaki, S, Kroening, D, Strichman, O
Ձևաչափ:	Journal article
Հրապարակվել է:	2006

Պահումներ
Նկարագրություն
Նմանատիպ նյութեր
Աշխատակազմի տեսք

Նմանատիպ նյութեր

Metrics and methods for social distance
‌: Andris, Clio
Հրապարակվել է: (2012)
Sparse distance metric learning
‌: Choy, T
Հրապարակվել է: (2014)
Learning the language of software errors
‌: Chockler, H, և այլն
Հրապարակվել է: (2020)
Efficient Computation of Recurrence Diameters
‌: Kroening, D, և այլն
Հրապարակվել է: (2003)
Decision Procedures – an Algorithmic Point of View
‌: Kroening, D, և այլն
Հրապարակվել է: (2008)

Որոնման ընտրանքներ

Որոնման պատմություն
Ընդլայնված որոնում

Գտեք ավելին

Թերթիր քարտարանը
Թերթիր այբբենական կարգով
Ուսումնասիրեք ալիքները
Դասընթացի պահուստներ
Նոր նյութեր

Օգնության կարիք ունե՞ք։

Որոնման հնարքներ
Հարցրեք գրադարանավարին
FAQs