نتایج جستجو برای: sf is a well
تعداد نتایج: 14171545 فیلتر نتایج به سال:
We prove the completeness of the regular strategy of derivations for superposition-based calculi. The regular strategy was pioneered by Kanger in (Kan63), who proposed that all equality inferences take place before all other steps in the proof. We show that the strategy is complete with the redundancy notions of tautology elimination and subsumption. The implication of our result is the complet...
بررسی ارزش غذایی تاغ و عمل آوری آن با سود و آهک در مراحل مختلف رشدبا استفاده از روش کیسه های نایلونی
abstract this study is carried out to determine the chemical composition in the three vegetative stages of the haloxylon sp., degradation parameters, with adding naoh and ca(oh2 ). for this purpose, in may and october and january 2010 enough some haloxylon sp. of the ammary area was prepared. crude protein and ash percentage are decrease, neutral detergent fiber percentage with pragress stage ...
we have devided the thesis in to five chapters. the first recollects facts from purely algebraic theory of jordan algebras and also basic properties of jb and jb* - algebras which are needed in the sequel. in the second chapter we extend to jb* - algebras, a classical result due to cleveland [8]. this result shows shows the weakness of jb* - norm topology on a jb* - algebera. in chapter three, ...
abstract the present thesis studies different question sentences in persian and russian languages comparatively. sentence is a syntactic unit that matches a lot of dimensions together. sentence includes syntactic structure definite meaning & concept and different applied demotions. in applied, question and imperative sentences based on speakers aim. predicative sentences state a kind of info...
In order to support a wide range of planning-related activities, we argue that plan and action representations must move to a more expressive language for goals and capabilities than is found in most current systems. A structured representation for capabilities can make explicit a hierarchy of capabilities based on subsumption, resulting in benefits for reasoning, representing, and acquiring op...
We introduce a test, named π-subsumption, which computes partial subsumptions between a hypothesis h and an example e, as well as a measure, the subsumption index, which quantifies the covering degree between h and e. The behavior of this measure is studied on the phase transition problem.
the west of esfahan province, iran, is one of the most important agricultural areas throughout the country due to the climate variability and life-giving water of zayanderood river. rice is one of the major and economic crops in this area. the most important climatic elements in agricultural activities which should be considered include temperature, relative humidity, precipitation and wind. so...
The original SPARQL proposal was often criticized for its inability to navigate through the structure of RDF documents. For this reason property paths were introduced in SPARQL 1.1, but up to date there are no theoretical studies examining how their addition to the language affects main computational tasks such as query evaluation, query containment, and query subsumption. In this paper we tack...
Matchmaking between offers and requests is an essential mechanism in electronic market places. Description Logics have been proposed as a appropriate framework for representing offers and requests and standard methods from description logics reasoning have been proposed for computing matches. We argue that classical reasoning is not well suited for realistic scenarios as it does not allow to co...
We introduce a feature structure, corresponding to a timespan tree based on ‘A Generative Theory of Tonal Music’ (GTTM) for a music piece, and represent the reduction of the tree by the subsumption among these feature structures. As the collection of them forms a lattice, we can define the join and meet operations. We show a melodic morphing algorithm based on these simple operations.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید