3771 search results - page 218 / 755 » Subobject Transformation Systems |
124
Voted
AAAI
1990
15 years 5 months ago
1990
A formal equivalence between propositional expert systems and decision tables is proved, and a practicable procedure given to perform the transformation between propositional expe...
119
Voted
IJRR
2008
15 years 3 months ago
2008
: In this paper, we present a sampling-based verification algorithm for continuous dynamic systems with uncertainty due to adversaries, unmodeled disturbance inputs, unknown parame...
113
click to vote
IJSN
2006
15 years 3 months ago
2006
: Detectors are system components that identify whether the system is in a particular state. Detectors can be used to ensure arbitrary safety properties for systems, that is, they ...
123
click to vote
SIAMCO
2008
15 years 3 months ago
2008
We analyze controllability and observability conditions for second order descriptor systems and show how the classical conditions for first order systems can be generalized to this...
119
Voted
MKM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...