6829 search results - page 7 / 1366 » Quantitative Generalizations of Languages |
LFCS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We address the problem of quantitative comparison of classical and intuitionistic logics within the language of the full propositional system. We apply two different app...
EUSFLAT
2003
13 years 11 months ago
2003
Based of the strong idempotency of aggregation operators, quantitative weights are incorporated into the fusion process. Our general method is compared with some previous specifi...
BC
2006
13 years 9 months ago
2006
We show how a general quantitative theory of neural computation can be used to explain two recent experimental findings in neuroscience. The first of these findings is that in hum...
ECAL
2005
Springer
14 years 3 months ago
2005
Springer
The concept of modularity appears to be crucial for many questions in the field of Artificial Life research. However, there have not been many quantitative measures for modularit...
CAV
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....