1389 search results - page 12 / 278 » Definability as hypercomputational effect |
CVPR
2001
IEEE
14 years 10 months ago
2001
IEEE
Image rectification is the process of warping a pair of stereo images in order to align the epipolar lines with the scan-lines of the images. Once a pair of images is rectified, s...
ENTCS
2008
13 years 8 months ago
2008
In this note we consider the computability of the solution of the initial-value problem for ordinary differential equations with continuous right-hand side. We present algorithms ...
POPL
2005
ACM
14 years 9 months ago
2005
ACM
Abstract. In a previous paper, we discussed how the concepts of uniqueness and effects are interdependent. In this paper, we show how "Adoption and Focus," a proposal for...
VISUALIZATION
1997
IEEE
14 years 24 days ago
1997
IEEE
This paper discusses strategies for effectively portraying 3D flow using volume line integral convolution. Issues include defining an appropriate input texture, clarifying the dis...
ICSE
2010
IEEE-ACM
13 years 10 months ago
2010
IEEE-ACM
This paper discusses results achieved in measuring complexity, effectiveness and efficiency, in a series of related software course projects, spanning a period of seven years. We ...