6047 search results - page 9 / 1210 » Modeling with Extend |
SPIN
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
UML
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents an approach for relating informed task models and system models in the domain of safety critical interactive systems. The models, which are usually developed f...
KBS
2008
13 years 9 months ago
2008
We present a robust road detection and tracking method using multiple vanishing points and the condensation filter. We represent the road using an extended hyperbola model with an...
ICCS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Conceptual graphs (CGs) share with FOL a fundamental expressiveness limitation: only higher-order logics allow assertions of properties on predicates. This paper intends ...
COLING
2000
13 years 11 months ago
2000
Automatic transliteration problem is to transcribe foreign words in one's own alphabet. Machine generated transliteration can be useful in various applications such as indexi...