Sciweavers

5924 search results - page 700 / 1185
» Normal Process Representatives
Sort
View
DBSEC
1996
125views Database» more  DBSEC 1996»
15 years 8 months ago
A Framework for High Assurance Security of Distributed Objects
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
John Hale, Jody Threet, Sujeet Shenoi
IJCAI
1993
15 years 8 months ago
Quantifying Beliefs by Belief Functions: An Axiomatic Justification
: We present a set of axioms that justify the use of belief functions to quantify the beliefs held by an agent Y at time t and based on Y's evidential corpus. It is essentiall...
Philippe Smets
PPSC
1993
15 years 8 months ago
An Interactive Visualization Environment for Financial Modeling on Heterogeneous Computing Systems
Financial modeling represents a promising industry application of high performance computing. In previous work, parallel stock option pricing models were developed for the Connect...
Gang Cheng, Kim Mills, Geoffrey Fox
AAAI
1990
15 years 8 months ago
Shifting Ontological Perspectives in Reasoning About Physical Systems
Commitment to an ontological perspective is a primary aspect of reasoning about the physical world. For complex analytic tasks, the ability to switch between different ontologies ...
Zheng-Yang Liu, Arthur M. Farley
174
Voted
AAAI
1990
15 years 8 months ago
Understanding Natural Language with Diagrams
We describe a program, BEATRIX, that can understand textbook physics problems specified by a combination of English text and a diagram. The result of the understanding process is ...
Gordon S. Novak, William C. Bulko