2025 search results - page 147 / 405 » Minimal-Cut Model Composition |
AOSD
2012
ACM
12 years 4 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
CVPR
2012
IEEE
11 years 11 months ago
2012
IEEE
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...
CCE
2005
13 years 9 months ago
2005
This paper presents a comprehensive formulation of a linearized state space process model for a generic two-reactant-two-product reactive distillation system. The development of t...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
This research concerns the definition of a service-oriented approach for business processes modeling. Business services are reusable process units that contain one or several proc...
EMNLP
2008
13 years 10 months ago
2008
We address the task of computing vector space representations for the meaning of word occurrences, which can vary widely according to context. This task is a crucial step towards ...