3573 search results - page 467 / 715 » Reasoning about Codata |
193
click to vote
IFSA
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
182
click to vote
KES
2007
Springer
16 years 20 days ago
2007
Springer
According to widely accepted guidelines for self-regulation, the capital requirements of a bank should relate to the level of risk with respect to three different categories. Amon...
170
click to vote
LADS
2007
Springer
16 years 20 days ago
2007
Springer
One of the main reasons about the success of the Web is that many “regular users” are able to create Web pages that, using hyperlinks, incrementally extend both the size and th...
170
click to vote
MKM
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
146
click to vote
MONTEREY
2007
Springer
16 years 20 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...