67 resultados para Generalized Hough transforms
Resumo:
Mathematics Subject Classification: 42A38, 42C40, 33D15, 33D60
Resumo:
2000 Mathematics Subject Classification: Primary 46F25, 26A33; Secondary: 46G20
Resumo:
Mathematics Subject Classification: 33D60, 33D90, 26A33
Resumo:
Mathematics Subject Classification: 33C60, 33C20, 44A15
Resumo:
2000 Mathematics Subject Classification: 26A33, 33C60, 44A20
Resumo:
AMS Subj. Classification: 90C27, 05C85, 90C59
Resumo:
Dedicated to 75th birthday of Prof. A.M. Mathai, Mathematical Subject Classification 2010:26A33, 33C10, 33C20, 33C50, 33C60, 26A09
Resumo:
MSC 2010: 30C45, 30A20, 34A40
Resumo:
MSC 2010: 26A33, 46Fxx, 58C05 Dedicated to 80-th birthday of Prof. Rudolf Gorenflo
Resumo:
2000 Mathematics Subject Classification: 90C26, 90C20, 49J52, 47H05, 47J20.
Resumo:
2000 Mathematics Subject Classification: 41A25, 41A27, 41A36.
Resumo:
ACM Computing Classification System (1998): I.2.8 , I.2.10, I.5.1, J.2.
Resumo:
Асен Божилов, Недялко Ненов - Нека G е n-върхов граф и редицата от степените на върховете му е d1, d2, . . . , dn, а V(G) е множеството от върховете на G. Степента на върха v бележим с d(v). Най-малкото естествено число r, за което V(G) има r-разлагане V(G) = V1 ∪ V2 ∪ · · · ∪ Vr, Vi ∩ Vj = ∅, , i 6 = j такова, че d(v) ≤ n − |Vi|, ∀v ∈ Vi, i = 1, 2, . . . , r е означено с ϕ(G). В тази работа доказваме неравенството ...
Resumo:
Магдалина Василева Тодорова - В статията е описан подход за верификация на процедурни програми чрез изграждане на техни модели, дефинирани чрез обобщени мрежи. Подходът интегрира концепцията “design by contract” с подходи за верификация от тип доказателство на теореми и проверка на съгласуваност на модели. За целта разделно се верифицират функциите, които изграждат програмата относно спецификации според предназначението им. Изгражда се обобщен мрежов модел, специфициащ връзките между функциите във вид на коректни редици от извиквания. За главната функция на програмата се построява обобщен мрежов модел и се проверява дали той съответства на мрежовия модел на връзките между функциите на програмата. Всяка от функциите на програмата, която използва други функции се верифицира и относно спецификацията, зададена чрез мрежовия модел на връзките между функциите на програмата.
Resumo:
2010 Mathematics Subject Classification: Primary 35S05, 35J60; Secondary 35A20, 35B08, 35B40.