1204 search results - page 83 / 241 » Hybrid Probabilistic Programs |
120
Voted
CJ
2010
14 years 10 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
PADL
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
116
Voted
COR
2010
15 years 23 days ago
2010
Companies in the concrete industry are facing the following scheduling problem on a daily basis: concrete produced at several plants has to be delivered at customers' constru...
112
Voted
ICIC
2007
Springer
15 years 6 months ago
2007
Springer
We suggest to apply the hybrid neural network based on multi layer perceptron (MLP) and adaptive resonance theory (ART-2) for solving of navigation task of mobile robots. This appr...
99
Voted
FSTTCS
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Hybrid knowledge bases (HKB’s) [11] were developed to provide formal models for the mediation of data and knowledge bases [14,15]. They are based on Generalized Annotat...