Sciweavers

9145 search results - page 1458 / 1829
» Description Logic Systems
Sort
View
LOBJET
2008
104views more  LOBJET 2008»
15 years 6 months ago
Une approche formelle de la reconfiguration dynamique
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...
M. Simonot, M. Aponte
NECO
2008
116views more  NECO 2008»
15 years 6 months ago
A (Somewhat) New Solution to the Variable Binding Problem
To perform automatic, unconscious inference, the human brain must solve the "binding problem" by correctly grouping properties with objects. Temporal binding models like...
Leon Barrett, Jerome Feldman, Liam Mac Dermed
159
Voted
ISCI
2007
138views more  ISCI 2007»
15 years 6 months ago
Uncertainty measures for interval type-2 fuzzy sets
Fuzziness (entropy) is a commonly used measure of uncertainty for type-1 fuzzy sets. For interval type-2 fuzzy sets (IT2 FSs), centroid, cardinality, fuzziness, variance and skewn...
Dongrui Wu, Jerry M. Mendel
JAPLL
2007
78views more  JAPLL 2007»
15 years 6 months ago
Execution architectures for program algebra
We investigate the notion of an execution architecture in the setting of the program algebra PGA, and distinguish two sorts of these: analytic architectures, designed for the purp...
Jan A. Bergstra, Alban Ponse
KAIS
2007
95views more  KAIS 2007»
15 years 6 months ago
Handling non-canonical software requirements based on Annotated Predicate Calculus
Eliciting requirements for a proposed system inevitably involves the problem of handling undesirable information about customer’s needs, including inconsistency, vagueness, redun...
Kedian Mu, Zhi Jin, Ruqian Lu, Yan Peng
« Prev « First page 1458 / 1829 Last » Next »