Random generation of modal formulae is a viable method for generating problems for benchmarking modal decision procedures. However, previous work in this area has used a flawed generator that has resulted in questionable results. Fixing the generator changes the characteristics of the generated problems. The fixed generator can be used to generate hard problems that have more interesting modal ...

the mode of agronomic traits inheritance was investigated in safflower (carthamus tinctorius l.) in drought stress as a new report. five generation including p1, p2, f1, f2 and f3 that derived from the cross of il.111 (drought sensitive) ×mex.22-191 (drought tolerance) were used in a randomized complete block design with two replications. generation mean analysis was used to estimate genetic pa...

Ontology is an important emerging discipline that has the huge potential to improve information organization, management and understanding. It has a crucial role to play in enabling content-based access, interoperability, communications, and providing qualitatively new levels of services on the next generation of Web transformation in the form of the Semantic Web. The issues pertaining to ontol...

The paper discusses what kind of generation model is suitable for spoken dialogue responses. We describe different existing models of generation, and compare them from the point of view of spoken dialogue systems. We introduce a model of generation based on new information focus, and argue that this addresses the communicative requirements of flexible spoken dialogue systems (incrementality, im...