نتایج جستجو برای: 4 using precedents for formulating formal composition principles
تعداد نتایج: 11913140 فیلتر نتایج به سال:
In this paper we investigate factors that influence trends in sentencing process basing on newspaper articles in order to find lexical clues for automatic trial verdict estimation. We examine verdicts for murder cases of the last 10 years using 149 newspaper articles (1998-2001) and 160 precedents from a database available online (2001-2007). The results showed that there is a tendency to give ...
Understanding the invaluable history of Iranian architecture and utilizing its sustainable bases, principles and patterns can help us improve architecture both in the present and in the future. To understand Iranian architecture, it is essential that we can read it thoroughly and correctly; but before that, we need to have a comprehensive definition of it. So, the main question of this resear...
Data warehouses have become extremely important to support online analytical processing (OLAP) queries in databases. Since the data view that is obtained at a data warehouse is derived from multiple data sources that are continuously updated, keeping a data warehouse up-to-date becomes a crucial problem. An approach referred to as the incremental view maintenance is widely used. Unfortunately, ...
Isabelle/Isar is a generic framework for human-readable formal proof documents, based on higher-order natural deduction. The Isar proof language provides general principles that may be instantiated to particular object-logics and applications. We discuss specific Isar language elements that support complex induction patterns of practical importance. Despite the additional bookkeeping required f...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید