5200 search results - page 15 / 1040 » Symbolic models for control systems |
ASE
2005
15 years 1 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...
105
click to vote
JUCS
2006
15 years 1 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
15 years 5 months ago
1992
IEEE
83
Voted
FORTE
2007
15 years 3 months ago
2007
105
Voted
HYBRID
1998
Springer
15 years 6 months 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...