2672 search results - page 19 / 535 » Hybridizing Concept Languages |
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
EMNLP
2009
13 years 5 months ago
2009
This paper presents an effective method for generating natural language sentences from their underlying meaning representations. The method is built on top of a hybrid tree repres...
DLOG
2001
13 years 9 months ago
2001
We combine the description logic ALC with the metric logics defined Entities that are conceived of as abstract points in the realm of ALC are given a spatial extension via an `ext...
LTCONF
2007
Springer
14 years 1 months ago
2007
Springer
ICFP
2006
ACM
14 years 1 months ago
2006
ACM