1536 search results - page 151 / 308 » The Underlying Logic of Hoare Logic |
192
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
This paper uses a constraint set approach to linear programming problems with equality constraints whose coefficients and/or right-hand side values could be uncertain. We consider ...
173
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
We consider some existing similarity measures for Atanassov's intuitionistic fuzzy sets (A-IFSs, for short). We show that neither similarity measures treating an A-IF as a sim...
133
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Abstract-- Recently, many scholars investigated interval, triangular, and trapezoidal approximations of fuzzy numbers. These researches can be grouped into two classes: the Euclide...
163
click to vote
ENTCS
2010
15 years 3 months ago
2010
We study the biochemical processes involved in scaffold-mediated crosstalk between the cAMP and the Raf-1/MEK/ERK pathways. We model the system by a continuous time Markov chain w...
201
click to vote
JSS
2010
15 years 1 months ago
2010
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...