6149 search results - page 212 / 1230 » Revealing the programming process |
124
Voted
CMPB
2010
15 years 3 months ago
2010
A large number of algorithms have been developed to perform non-rigid registration and it is a tool commonly used in medical image analysis. The FreeForm Deformation algorithm is ...
132
click to vote
FAC
2008
15 years 3 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
124
Voted
CONCURRENCY
2006
15 years 3 months ago
2006
vices provide an important abstract layer on top of heterogeneous components (hardware and software) that take part into a grid environment. In this scenario, applications, like sc...
142
Voted
ASC
2004
15 years 3 months ago
2004
This paper proposes a new approach for tackling the uncertainty and imprecision of the service evaluation process. Identifying suitable service offers, evaluating the offers and c...
162
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We study algorithmic problems in multi-stage open shop processing systems that are centered around reachability and deadlock detection questions. We characterize safe and unsafe s...