نتایج جستجو برای: qualitative specification

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

2015
Didier Dubois Giovanni Fusco Henri Prade Andrea Tettamanzi

Possibilistic networks offer a qualitative approach for modeling epistemic uncertainty. Their practical implementation requires the specification of conditional possibility tables, as in the case of Bayesian networks for probabilities. This paper presents the possibilistic counterparts of the noisy probabilistic connectives (and, or, max, min, . . . ). Their interest is illustrated on an exampl...

2016
Stefan Schiffer Alexander Ferrein

In this paper we discuss a system layout for cognitive service robots. The goal is to sketch components and their interplay needed for cognitive robotics as introduced by Ray Reiter. We are particularly interested in applications in domestic service robotics where we focus on integrating qualitative reasoning and human-robot interaction. The overall objective is to build and maintain a knowledg...

Journal: :journal of agricultural science and technology 2010
h. salami t. s. veeman

this paper shows the role of the general dynamic model in empirical research of production technology in agriculture. the model is a first order autoregressive multivariate specification, first developed by anderson and blundell. this model is general enough to nest several simpler dynamic as well as static models within it. therefore, it provides a framework for applying classical testing ...

Arash Ghodousi Elham Zamani Mahnaz Sheikhi Milad Gahangirmoghaddam Shirin Gale-Bakhtiari

Introduction: gender specification among the forensic dentistry and human anthropology, is mainly based on anatomic variations. Due to racial differences and environmental factors such as time of tooth extraction, osteoporosis, dietary habits, usage of dental prosthetics and periodontal diseases, there will be different results achieved. The purpose of this study is to classify the gender speci...

Journal: :Annual Meeting of the Berkeley Linguistics Society 2008

Journal: :Science of Computer Programming 2014

2008
Aurélien Rizk Grégory Batt François Fages Sylvain Soliman

Finding mathematical models satisfying a specification built from the formalization of biological experiments, is a common task of the modeller that techniques like model-checking help solving, in the qualitative but also in the quantitative case. In this article we propose to go one step further by defining a continuous degree of satisfaction of a temporal logic formula with constraints. We sh...

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

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