3679 search results - page 295 / 736 » Hybrid Semantic Analysis |
177
click to vote
IJSWIS
2006
15 years 6 months ago
2006
In this article, an approach to semantic image analysis is presented. Under the proposed approach, ontologiesareusedtocapturegeneral,spatial,andcontextualknowledgeofadomain,andage...
198
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
211
click to vote
FMICS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
163
click to vote
SAS
2007
Springer
16 years 27 days ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
182
click to vote
SAC
2005
ACM
16 years 10 days ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...