2 search results - page 1 / 1 » Weighted O-Minimal Hybrid Systems Are More Decidable Than We... |
LFCS
2007
Springer
14 years 5 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
14 years 18 days 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...