5275 search results - page 131 / 1055 » Computing by observing |
155
Voted
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
We deal with an image jigsaw puzzle problem, which is defined as reconstructing an image from a set of square and non-overlapping image patches. It is known that a general instan...
137
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for soft...
118
Voted
CGF
2010
15 years 3 months ago
2010
We propose to enhance the capabilities of the human visual system by performing optical image processing directly on an observed scene. Unlike previous work which additively super...
102
Voted
AAAI
2008
15 years 5 months ago
2008
The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted syst...
102
Voted
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...