Sciweavers

123
Voted
KES
1997
Springer
15 years 7 months ago
Formal verification of the correctness in hybrid expert systems
Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung
83
Voted
KES
1997
Springer
15 years 7 months ago
Theoretical methods for planning and control in mobile robotics
Henrik I. Christensen, Paolo Pirjanian
71
Voted
KES
1997
Springer
15 years 7 months ago
Choice of error cost function for training unobservable nodes in Bayesian networks
Chee-Keong Kwoh, Duncan Fyfe Gillies