6274 search results - page 847 / 1255 » Proofs, Programs, Processes |
177
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a novel framework based on hidden Markov models (HMMs) for matching feature point sets, which capture the shapes of object contours of interest. Point matching algorith...
131
click to vote
EOR
2008
15 years 5 months ago
2008
The problem of scheduling the production of new and recoverable defective items of the same product manufactured on the same facility is studied. Items are processed in batches. E...
132
click to vote
IANDC
2008
15 years 5 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
151
click to vote
CONCURRENCY
2006
15 years 5 months ago
2006
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...
141
click to vote
ENTCS
2006
15 years 5 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...