Sciweavers

4126 search results - page 96 / 826
» Relationships with other Formalisms
Sort
View
IJAR
2007
86views more  IJAR 2007»
15 years 6 months ago
Joint propagation of probability and possibility in risk analysis: Towards a formal framework
This paper discusses some aspects of fuzzy random variables obtained by propagating uncertainty in risk analysis when some input parameters are stochastic, while others are determ...
Cédric Baudrit, Inés Couso, Didier D...
CE
2004
88views more  CE 2004»
15 years 6 months ago
Beyond formal learning: Informal community eLearning
The goal of the study described in this paper was to gain an improved understanding of the social context of UK online centres and issues around the creation and exchange of knowl...
John Cook, Matt Smith
DM
2000
127views more  DM 2000»
15 years 6 months ago
Special formal series solutions of linear operator equations
The transformation which assigns to a linear operator L the recurrence satisfied by coefficient sequences of the polynomial series in its kernel, is shown to be an isomorphism of ...
Sergei A. Abramov, Marko Petkovsek, Anna A. Ryaben...
CSUR
1999
137views more  CSUR 1999»
15 years 6 months ago
Algebraic Methods for Specification and Formal Development of Programs
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
Donald Sannella, Andrzej Tarlecki
AIL
2007
96views more  AIL 2007»
15 years 6 months ago
Legal ontology of sales law application to ecommerce
Legal codes, such as the Uniform Commercial Code (UCC) examined in this article, are good points of entry for AI and ontology work because of their more straightforward adaptabili...
John W. Bagby, Tracy Mullen