2 search results - page 1 / 1 » Weighted O-Minimal Hybrid Systems Are More Decidable Than We... |
99
Voted
LFCS
2007
Springer
15 years 4 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...
81
Voted
AAAI
2004
14 years 11 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...