This paper describes a simple yet generic database implementation framework for medium sized datasets, as they occur during tests and applications of automated theorem provers. The implementation covers automatic extraction of database objects from a set of text les, a text-based interface for simple database operations, and a tool for document, report and Webpage generation. This paper refers ...

One conjecture is proposed on the text of Varro’s Bellum Sequanicum (23 B = 106 H 1 C), dulci … sapore for dulcis saporis, and a handful variant readings are reconsidered in fragment Chorographia (13 112 17 C 16 M).

This paper addresses multiple proportional readings in donkey sentences and deals with a question of why the disambiguation of proportional readings is affected by the topic structure of a sentence. The correlation between proportional readings and topic structure has been observed by Heim (1990) and Chierchia (1992) but has not been given a satisfactory explanation yet. Based on my previous st...

Purpose: This paper addresses methodological issues related to the concept of ‘Qur’ānic variants and readings’ (qirā’a pl. qirā’āt ḥarf aḥruf, respectively). I investigate way they have been depicted in early Islamic narratives, developed field medieval Qur’ānic sciences (ʿulūm al-Qur’ān), discussed Western studies scholarship last two decades. Methodology: The proceeds chronologically by discu...

text classification is an important research field in information retrieval and text mining. the main task in text classification is to assign text documents in predefined categories based on documents’ contents and labeled-training samples. since word detection is a difficult and time consuming task in persian language, bayesian text classifier is an appropriate approach to deal with different...

today, with rapid growth of the world wide web and creation of internet sites and online text resources, text summarization issue is highly attended by various researchers. extractive-based text summarization is an important summarization method which is included of selecting the top representative sentences from the input document. when, we are facing into large data volume documents, the extr...