منابع مشابه
Sylvain Bruni , SM , M . L .
Assigning missions to missiles such as what is needed prior to Tomahawk strikes is an example of a complex resource allocation and optimization problem which includes a large problem space with elements of uncertainty. Attempting to achieve an “optimal” solution is problematic in the military due to high risk environments, dynamic constraints, and the need for rapid decisions under time pressur...
متن کاملRapport De Recherche
In this paper we present a novel approach for mimicking expressions in 3D from a monocular video sequence. To this end, first we construct a high resolution semantic mesh model through automatic global and local registration of a low resolution range data. The MPEG-4 standard and radial basis functions are then considered to represent and animate such a model using a predefined set of control p...
متن کاملRapport de stage de recherche Complexity of Decision Problems in Computational Logic RAPPORT NON CONFIDENTIEL
This report presents the study of algorithms whose goal is to determine whether two Datalog programs are equivalent. Datalog is a query language used over deductive databases. Datalog is a fragment of Prolog, and consists in Horn clauses without function symbols. In general, it is undecidable whether two given Datalog programs are equivalent one to each other; however, this problem becomes deci...
متن کاملsclerodermie : rapport de quatre cas
four cases of sclerodermia have been reported durintwo months. sclerodermia which seems to he hardness of the skin is actually a general affection that first appears on the skin and has various types: edematous, sclerema for children, and then the forms of patches or drops or bands or annulars. it is sor t of connective tissue affection and is chiefly observed in women and as the reason for it,...
متن کامل1 Sylvain
We study mathematical and algorithmic properties of Lambek’s pregroups and illustrate them by analysing the French noun phrase. We establish robustness properties of pregroups and present a simple algorithm of complexity 3 n for deciding reduction in an arbitrary free pregroup as well as a linear algorithm covering a large class of language fragments. In the French noun phrase, the agreement of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indogermanische Forschungen
سال: 1899
ISSN: 1613-0405,0019-7262
DOI: 10.1515/if-1899-0121