Sciweavers

2291 search results - page 262 / 459
» Representational Reasoning and Verification
Sort
View
ECSQARU
2001
Springer
14 years 3 months ago
Supporting Changes in Structure in Causal Model Construction
The term “changes in structure,” originating from work in econometrics, refers to structural modifications invoked by actions on a causal model. In this paper we formalize the...
Tsai-Ching Lu, Marek J. Druzdzel
TIME
2000
IEEE
14 years 3 months ago
A Visualization of Medical Therapy Plans Compared to Gantt and PERT Charts
Medical therapy planning shares a number of properties of project management. It is, however, different in a few very important aspects — most notably, the more complex notion o...
Robert Kosara, Silvia Miksch
AIMDM
1999
Springer
14 years 3 months ago
Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach
Knowledge representation has always been a major problem in the design of medical decision support systems. In this paper we present a new methodology to represent and reason about...
Jorge Cruz, Pedro Barahona, Frédéric...
GIS
1999
ACM
14 years 3 months ago
Improved Bulk-Loading Algorithms for Quadtrees
Spatial indexes, such as the PMR quadtree, are important in spatial databases for efficient execution of queries involving spatial constraints, especially when the queries involv...
Gísli R. Hjaltason, Hanan Samet
IEAAIE
1998
Springer
14 years 3 months ago
Complexity and Cognitive Computing
Abstract. This paper has as main goal to develop a hybrid expert system to minimize some of the complexity problems related to arti cial intelligence eld. For instance, we can ment...
Lourdes Mattos Brasil, Fernando Mendes de Azevedo,...