5918 search results - page 886 / 1184 » A view of cloud computing |
159
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
132
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Pure, or type-free, Linear Logic proof nets are Turing complete once cut-elimination is5 considered as computation. We introduce modal impredicativity as a new form of impredicati...
113
click to vote
ALIFE
2006
15 years 4 months ago
2006
We present a new bio-inspired approach applied to a problem of stereo image matching. This approach is based on an artificial epidemic process, which we call the infection algorith...
153
click to vote
CVIU
2006
15 years 4 months ago
2006
Action recognition is an important and challenging topic in computer vision, with many important applications including video surveillance, automated cinematography and understand...
146
click to vote
CGA
2007
15 years 4 months ago
2007
Illustrative rendering is a widely used visualization technique to display conceptual information, describe problems and give insight to solve them efficiently in science, engine...