Sciweavers

3457 search results - page 88 / 692
» A Symbol Is Not a Symbol
Sort
View
FORTE
2004
15 years 2 months ago
Symbolic Performance and Dependability Evaluation with the Tool CASPA
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
Matthias Kuntz, Markus Siegle, Edith Werner
93
Voted
KRMED
2004
15 years 2 months ago
Symbolic modeling of structural relationships in the Foundational Model of Anatomy
The need for a sharable resource that can provide deep anatomical knowledge and support inference for biomedical applications has recently been the driving force in the creation o...
José L. V. Mejino Jr., Cornelius Rosse
95
Voted
AAAI
2000
15 years 2 months ago
Anchoring Symbols to Sensor Data: Preliminary Report
Anchoring is the process of creating and maintaining the correspondence between symbols and percepts that refer to the same physical objects. Although this process must necessaril...
Silvia Coradeschi, Alessandro Saffiotti
92
Voted
NC
1998
118views Neural Networks» more  NC 1998»
15 years 2 months ago
BRAINN: A Connectionist Approach to Symbolic Reasoning
Hybrid connectionist symbolic systems have been the subject of much recent research in AI. By focusing on the implementation of high-level human cognitive processes (e.g., rule-ba...
Rafal Bogacz, Christophe G. Giraud-Carrier
AAAI
1990
15 years 1 months ago
Symbolic Probabilistic Inference in Belief Networks
The Symbolic Probabilistic Inference (SPI) Algorithm [D'Ambrosio, 19891 provides an efficient framework for resolving general queries on a belief network. It applies the conc...
Ross D. Shachter, Bruce D'Ambrosio, Brendan Del Fa...