1669 search results - page 166 / 334 » Modeling ODP Computational Specifications Using UML |
127
click to vote
HIPC
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Simple and unified non-operational specifications of the three memory consistency models Total Store Ordering (TSO), Partial Store Ordering (PSO), and Relaxed Memory Orde...
148
click to vote
HPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
Modern scientific collaborations have opened up the opportunity of solving complex problems that involve multidisciplinary expertise and large-scale computational experiments. The...
121
Voted
SAC
2010
ACM
15 years 2 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
93
Voted
ECCV
2008
Springer
16 years 4 months ago
2008
Springer
This paper tackles the problem of fitting multiple instances of a model to data corrupted by noise and outliers. The proposed solution is based on random sampling and conceptual da...
108
click to vote
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
We present a unified framework for modeling and solving invariant point pattern matching problems. Invariant features are encoded as potentials in a probabilistic graphical model....