5200 search results - page 15 / 1040 » Symbolic models for control systems |
ASE
2005
13 years 8 months ago
2005
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...
JUCS
2006
13 years 8 months ago
2006
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...
LICS
1992
IEEE
14 years 21 days ago
1992
IEEE
FORTE
2007
13 years 10 months ago
2007
HYBRID
1998
Springer
14 years 26 days ago
1998
Springer
We look at distributed representation of structure with variable binding, that is natural for neural nets and allows traditional symbolic representation and processing. The repres...