1905 search results - page 302 / 381 » Conceptual Models and Architectures for Advanced Information... |
NIPS
1993
13 years 10 months ago
1993
Dynamic programming provides a methodology to develop planners and controllers for nonlinear systems. However, general dynamic programming is computationally intractable. We have ...
ICCD
1995
IEEE
14 years 14 days ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
SSPR
2000
Springer
14 years 15 days ago
2000
Springer
We consider the problem and issues of classifier fusion and discuss how they should be reflected in the fusion system architecture. We adopt the Bayesian viewpoint and show how thi...
DAC
1994
ACM
14 years 13 days ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
IAT
2010
IEEE
13 years 7 months ago
2010
IEEE
In this paper, we propose the use of an agent-based architecture to enhance workflow system capacity to support interprofessional, patient-centred palliative care delivery. This pa...