Sciweavers

1916 search results - page 213 / 384
» Reasoning with class algebra
Sort
View
ASC
2000
13 years 11 months ago
A New Object-Oriented Stochastic Modeling Language
A new language and inference algorithm for stochastic modeling is presented. This work refines and generalizes the stochastic functional language originally proposed by [1]. The l...
Daniel Pless, George F. Luger, Carl R. Stern
IJCAI
1993
13 years 11 months ago
Notes on Formalizing Context
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important f...
John McCarthy
JODS
2006
131views Data Mining» more  JODS 2006»
13 years 10 months ago
Inheritance in Rule-Based Frame Systems: Semantics and Inference
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted a lot of research interest, and F-logic is widely ...
Guizhen Yang, Michael Kifer
BMCBI
2004
79views more  BMCBI 2004»
13 years 10 months ago
A new mixture model approach to analyzing allelic-loss data using Bayes factors
Background: Allelic-loss studies record data on the loss of genetic material in tumor tissue relative to normal tissue at various loci along the genome. As the deletion of a tumor...
Manisha Desai, Mary J. Emond
CMOT
2000
128views more  CMOT 2000»
13 years 10 months ago
Ontologies to Support Process Integration in Enterprise Engineering
Enterprise design knowledge is currently descriptive, ad hoc, or pre-scientific. One reason for this state of affairs in enterprise design is that existing approaches lack an adeq...
Michael Grüninger, Katy Atefi, Mark S. Fox