2227 search results - page 146 / 446 » Reversibility and Models for Concurrency |
159
Voted
SCVMA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we present a generative model for image sequences, which can be applied to motion segmentation and tracking, and to image sequence compression. The model co...
164
click to vote
PAMI
2010
15 years 4 months ago
2010
—The goal of this paper is to correct bleed-through in degraded documents using a variational approach. The variational model is adapted using an estimated background according t...
153
click to vote
LATIN
2010
Springer
16 years 29 days ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
138
Voted
FMSD
2002
15 years 5 months ago
2002
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...
174
Voted
PERCOM
2010
ACM
15 years 10 months ago
2010
ACM
—This paper studies economic models of user participation incentive in participatory sensing applications. User participation is the most important element in participatory sensi...