Results 11 to 20 of about 13,787 (204)
(Uploaded by Plazi from the Biodiversity Heritage Library) No abstract provided.
openaire +3 more sources
Defuzzification Strategies for Fuzzy Classifications of Remote Sensing Data
The classes in fuzzy classification schemes are defined as fuzzy sets, partitioning the feature space through fuzzy rules, defined by fuzzy membership functions.
Peter Hofmann
doaj +1 more source
There is a popular discourse in Sweden describing student writing as defective. Entering the discourse about the state and possible change of student writing, this paper analyses the writing part of the national test in Swedish for upper secondary school.
Martin Lennart Malmström
doaj +1 more source
Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics [PDF]
We give a language-parametric solution to the problem of total correctness, by automatically reducing it to the problem of partial correctness, under the assumption that an expression whose value decreases with each program step in a well-founded order ...
Andrei-Sebastian Buruiană +1 more
doaj +1 more source
(Uploaded by Plazi from the Biodiversity Heritage Library) No abstract provided.
openaire +4 more sources
The rule of multiple correct opinions in ijtihad [PDF]
Praise be to Allah, Lord of the Worlds, and the best prayers and most complete peace be upon our Master Muhammad, his family and all his companions. And after: There is no doubt that many of the texts mentioned in the two revelations are conjectural in ...
Prof. Dr. mahmoud ibraheem Abdulrazaq -
doaj +1 more source
Program Derivation by Correctness Enhacements [PDF]
Relative correctness is the property of a program to be more-correct than another program with respect to a given specification. Among the many properties of relative correctness, that which we found most intriguing is the property that program P ...
Nafi Diallo +3 more
doaj +1 more source
(Uploaded by Plazi from the Biodiversity Heritage Library) No abstract provided.
openaire +12 more sources
In Punjab Pakistan, a river flood event is the most important natural disasters that every year causes high human casualties as well as heavy economic losses. A safety-critical system should be correct, reliable, complete, consistent, and unambiguous for
Nadeem Akhtar +8 more
doaj +1 more source

