منابع مشابه
Ivan A. Sag
Ivan Sag died on September 10, 2013, after a long illness. He is survived by his wife, Stanford sociolinguistics professor Penny Eckert. In a career spanning four decades, he published over 100 articles and 10 books, centered on the theme of developing precise, implementable, testable, psychologically plausible, and scalable models of natural language, especially syntax and semantics. Sag earne...
متن کاملFinal Report: Saga 3 Brief History of the Saga Project
This report documents the latest work in the SAGA (Spray Advisor using Genetic Algorithms) project, the goal of which is to provide an effective means for a computer to recommend an optimal set of parameters for spraying a wooded area with pesticide. Current work is in two directions. One of these is the maintenance of older SAGA programs, some of which were built on now-obsolete platforms. The...
متن کاملACTA: The SAGA Continues
ACTA is a comprehensive transaction framework that permits a transaction modeler to specify the e ects of extended transactions on each other and on objects in the database. ACTA allows the speci cation of (1) the interactions between transactions in terms of relationships between signi cant (transaction management) events, such as begin, commit, abort, delegate, split, and join, pertaining to ...
متن کاملThe Latent Heat Saga
A n outstanding scientific and technological achievement of the twentieth century has been the evolution of nuclear energy which forms part of the mix of energy sources on which the continued growth of our civilization depends. In the twenty-first century we may be blessed with the arrival of another source of energy, of similar magnitude, which is more benign than nuclear energy and does not h...
متن کاملThe Strategy Logic Saga
In open-system verification, a fundamental area of research is the study of modal logics for strategic reasoning in the setting of multi-agent games [3, 5]. An important contribution in this field has been the development of Alternating-Time Temporal Logic (ATL∗, for short), introduced by Alur, Henzinger, and Kupferman [1]. Formally, it is obtained as a generalization of the logic CTL∗ [4], whe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Quality Assurance Journal
سال: 1998
ISSN: 1087-8378,1099-1786
DOI: 10.1002/(sici)1099-1786(199809)3:3<93::aid-qaj73>3.0.co;2-7