نتایج جستجو برای: formal information estimation
تعداد نتایج: 1476245 فیلتر نتایج به سال:
Research on ontology is becoming increasingly widespread in the computer science community, and its importance is being recognized in a multiplicity of research fields and application areas, including knowledge engineering, database design and integration, information retrieval and extraction. We shall use the generic term “information systems”, in its broadest sense, to collectively refer to t...
This paper describes the organization of extracted risk-relevant data in a relational database created at Regulatory Data Corporation for use by security professionals. The initial effort involved creating sets of data-extraction variables around a set of risk relevant keywords. The keywords clustered around events rather than entities and the data extraction variables that were developed cen...
Estimation of a camera pose (position and orientation) from an image, given a 3d model of the world, is a topic of great interest in many current fields of research. When aiming for a model based pose estimation approach, several questions arise: What is the model? How do we acquire a model? How is the image linked to the model? How is a pose computed and verified using the latter information? ...
In the last forty years, research on models of spoken and written language has been split between two seemingly irreconcilable traditions: formal linguistics in the Chomsky tradition, and information theory in the Shannon tradition. Zellig Harris had advocated a close alliance between grammatical and information-theoretic principles in the analysis of natural language, and early formal-language...
This paper provides an extensive review of studies related to expert estimation of software development effort. The main goal and contribution of the review is to support the research on expert estimation, e.g., to ease other researcher’s search for relevant expert estimation studies. In addition, we provide software practitioners with useful estimation guidelines, based on the research-based k...
Formal code certification is a rigorous approach to demonstrate software quality. Its basicidea is to require that code producers provide formal certificates, or proofs, that their codesatisfies certain quality properties. In this paper, we focus on certifying software developed forstate estimation of dynamic systems, which is an important problem found in spacecraft, aircraft,g...
Information security executives have always been faced with the problem of justifying security technology investments because the technology benefits are difficult to estimate. There are tangible and intangible benefits that accrue from implementation of security measures; similarly the losses due to security incidents fall into both of these categories. This further complicates estimation. Cur...
In this paper, we discuss three tasks of mining information from time series, namely finding intervals with monotonous trend, evaluation of it in sentences of natural language, and summarizing information using intermediate quantifiers. The mined information is presented in simple sentences of natural language. For estimation of the trend of time series, we apply the theory of first-degree F-tr...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید