Sciweavers

3571 search results - page 299 / 715
» Cohen and Set Theory
Sort
View
EPEW
2006
Springer
15 years 8 months ago
Embedding Real Time in Stochastic Process Algebras
We present a stochastic process algebra including immediate actions, deadlock and termination, and explicit stochastic delays, in the setting of weak choice between immediate actio...
Jasen Markovski, Erik P. de Vink
EUSFLAT
2007
142views Fuzzy Logic» more  EUSFLAT 2007»
15 years 8 months ago
Compenzational Vagueness
Some manipulations with vague quantities consist in an aggregation of vague amounts where the resulting aggregated quantity (in our case a sum of vague summands) is expected to be...
Milan Mares
CLA
2006
15 years 8 months ago
Type Signature Induction with FCAType
Type signatures are common in modern linguistic theories. Their construction and maintenance is intricate, and therefore, an automatic induction method is desirable. In the present...
Wiebke Petersen
KRMED
2004
15 years 8 months ago
Towards a computational paradigm for biomedical structure
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...
Stefan Schulz, Udo Hahn
EUSFLAT
2003
100views Fuzzy Logic» more  EUSFLAT 2003»
15 years 8 months ago
A fuzzy analysis of a Richter theorem in fuzzy consumers
In this paper we prove that a transitive fuzzy relation R on a set X can be extended to a total transitive fuzzy relation Q on X preserving the irreflexivity of R. This generaliz...
Irina Georgescu