7075 search results - page 168 / 1415 » Models and heterogeneous reasoning |
143
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...
134
click to vote
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
113
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
133
click to vote
AIPS
1996
15 years 5 months ago
1996
An increasing number of planners can handle uncertainty in the domain or in action outcomes. However, less work has addressed building plans when the planner's world can chan...
102
click to vote
IJCAI
1989
15 years 5 months ago
1989
1 describe an approach to the problem of forming hypotheses about hidden mechanisms w; thin devices — the "black box" problem for physical systems. The approach involv...