7960 search results - page 1398 / 1592 » Systems for Knowledge and Beliefs |
161
click to vote
ASE
2006
15 years 6 months ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
134
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
Industrial implementation of model-based control methods, such as model predictive control, is often complicated by the lack of knowledge about the disturbances entering the syste...
236
click to vote
IDA
2008
Springer
15 years 6 months ago
2008
Springer
Currently statistical and artificial neural network methods dominate in data mining applications. Alternative relational (symbolic) data mining methods have shown their effectivene...
157
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
This text analyses the papers accepted for the workshop "Reuse of designs: an interdisciplinary cognitive approach" (Visser, 1993). Several dimensions and questions consi...
158
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The TermSciences initiative aims at building a multi-purpose and multi-lingual knowledge system from different source vocabularies produced by major French research institutions a...