نتایج جستجو برای: 365 and satt

تعداد نتایج: 16828147  

Journal: :Turkish Journal of Computer and Mathematics Education (TURCOMAT) 2021

Journal: :Journal of Graph Theory 2017
Michael D. Barrus Michael Ferrara Jennifer Vandenbussche Paul S. Wenger

Inspired by a 1987 result of Hanson and Toft [Edge-colored saturated graphs, J. Graph Theory 11 (1987), 191–196] and several recent results, we consider the following saturation problem for edge-colored graphs. An edge-coloring of a graph F is rainbow if every edge of F receives a different color. Let R(F ) denote the set of rainbow-colored copies of F . A t-edge-colored graph G is (R(F ), t)-s...

Journal: :Artif. Intell. 1989
Raymond Reiter Alan K. Mackworth

We propose a logtcal framework for deptctton and mterpretatton that formahzes tmage domain knowledge, scene domain knowledge and the deptctton mapping between the tmage and scene domains Thts framework requires three sets of axtoms tmage axioms, scene axtoms and deptctton axtoms An mterpretatton of an tmage ts defined to be a logtcal model of these axtoms The approach Ls dlustrated by a case st...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید