2 search results - page 1 / 1 » Weighted O-Minimal Hybrid Systems Are More Decidable Than We... |
LFCS
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” whic...
AAAI
2004
13 years 6 months ago
2004
Neural-symbolic systems are hybrid systems that integrate symbolic logic and neural networks. The goal of neural-symbolic integration is to benefit from the combination of feature...