نتایج جستجو برای: is a sub
تعداد نتایج: 14163051 فیلتر نتایج به سال:
We introduce simple object calculi that support method override and object subsumption. We give an untyped calculus, typing rules, and equational rules. We illustrate the expressiveness of our calculi and the pitfalls that we avoid.
in this thesis a calibration transfer method is used to achieve bilinearity for augmented first order kinetic data. first, the proposed method is investigated using simulated data and next the concept is applied to experimental data. the experimental data consists of spectroscopic monitoring of the first order degradation reaction of carbaryl. this component is used for control of pests in frui...
abstract: one of the most visited & important spaces in different countries by tourist are urban areas. the old tehran which major part is located in district 12 is historical showcase of the capital, but, its hiidden cultural attraction is not used as it should be. this thesis occasionally engage in studying the efficacy of correct installation of travel guide boards in welfare & easily acc...
Notions of predication based on extensional and intensional subsumption, as described by Woods, are related to Kahneman’s systems of thinking fast and slow. Path-based reasoning with links is applied to predication over not only individuals but (following Carlson) kinds and stages/time. Predications, fast and slow, are formulated in monadic secondorder logic over strings, analyzed in Goguen and...
The estimation of the classifier error plays a key role in accuracy-based learning classifier systems. In this paper we study the current definition of the classifier error in XCSF and discuss the limitations of the algorithm that is currently used to compute the classifier error estimate from online experience. Subsequently, we introduce a new definition for the classifier error and apply the ...
1 Définir l’ontologie locale Une ontologie locale est définie l’ontologie du domaine, articulée à cette dernière par la relation de subsumption par : Spécialisation des sous-ensemble de classes de l’ontologie de domaine recouvrant les besoins du cahier de charges et par importation sélective des propriétés pertinentes. Enrichissement de l’ontologie locale pour répondre aux objectifs applicatifs...
Demo. We demonstrate Argos, a framework to automatically generate data processing workflows. First, we show how to assign formal semantics to data and operations using to a domain ontology. Specifically, we define data contents using relational descriptions in an expressive logic. Second, we show a novel planner that uses relational subsumption to connect the output of a data processing operati...
abstract listening is a key and main tool in second language skill and its development is of prime concern to teachers and learners. furthermore, the application of technology in language classrooms has become more commonplace in the last fifty years. computer and the internet have made foreign language materials easy to access and use. so, the present study is an attempt to examine the effec...
In this paper we present a terminological language which includes defaults, and a deenition of default subsumption based on the notion of skeptical inheritance in default reasoning. Except for the inclusion of defaults the language is limited when compared to most terminological logics. However defaults are a necessary construct in many applications and we suggest that the language presented he...
A method for constructing and maintaining a `semantic index' using a system based on description logics is described. A persistent index into a large number of objects is built by classifying the objects with respect to a set of indexing concepts and storing the resulting relation between object-ids and most speciic indexing concepts on a le. These les can be incre-mentally updated. The index c...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید