2025 search results - page 73 / 405 » Minimal-Cut Model Composition |
109
Voted
ISIM
2007
15 years 4 months ago
2007
Transformations from the Enterprise Distributed Object Computing (EDOC) to Enterprise JavaBeans (EJB) are examined herein from the point of view of an efficiency characteristic of ...
111
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
121
Voted
ICTAI
1993
IEEE
15 years 7 months ago
1993
IEEE
Tropes, an object-based knowledge representation system, has been added three important intertwined features: constraints, composite objects and tasks. Constraints provide a decla...
117
Voted
JODS
2008
15 years 2 months ago
2008
This paper proposes a cooperative approach for composite ontology mapping. We first present an extended classification of automated ontology matching and propose an automatic compo...
150
Voted
EMMCVPR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The complexity of visual representations is substantially limited by the compositional nature of our visual world which, therefore, renders learning structured object mod...